Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "reasoning method" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-12 z 12
    Tytuł:
    Metoda projektowania systemów smart cities bazowana na case based reasoning
    Smart cities system design method based on case based reasoning
    Autorzy:
    Orłowski, Cezary
    Sitek, Tomasz
    Ziółkowski, Artur
    Kapłański, Paweł
    Orłowski, Aleksander
    Pokrzywnicki, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/1827561.pdf
    Data publikacji:
    2015
    Wydawca:
    Politechnika Gdańska
    Tematy:
    Smart Cities
    Case Based Reasoning Method
    decision support systems
    knowledge management
    Opis:
    The objective of this paper is to present the results of research carried out to develop a design method for Smart Cities systems. The method is based on the analysis of design cases of Smart Cities systems in cities, the selection of the city appropriate to the requirements for implementation and application. The Case Based Reasoning method was used to develop the proposed design methodology, along with mechanisms of the conversion of project processes and roles to Rational Unified Processes (RUP). The prerequisite for the proposed method is that the enterprise manager must be knowledgeable about high-level Smart Cities system architecture and the design framework applied. The authors, being themselves knowledgeable about architecture of this kind and about project environments which implement KPI models, propose a generic solution applicable to any environments and system architectures.
    Celem artykułu jest prezentacja wyników badań nad opracowaniem metody projektowania systemów Smart Cities. Metoda ta bazuje na analizie przypadków projektowania systemów Smart Cities w miastach, wyborze spełniającego wymagania zdecydowanego na wdrożenie ośrodka i zastosowaniu. Do budowy proponowanej metody projektowania wykorzystano Case Based Reasoning oraz mechanizmy konwersji procesów i ról projektowych do procesów zunifikowanych RUP. Warunkiem stosowania proponowanej metody jest wiedza kierującego przedsięwzięciem o wysokopoziomowej architekturze systemu Smart Cities oraz stosowanych ramach projektowych. Autorzy posiadając wiedzę o takiej architekturze, a także o środowiskach projektowych implementujących modele KPI, proponują rozwiązanie generyczne, które mogą być wykorzystywane dla dowolnych środowisk i architektur systemów.
    Źródło:
    Przedsiębiorstwo we współczesnej gospodarce - teoria i praktyka; 2015, 2-3, 13; 41-61
    2084-6495
    Pojawia się w:
    Przedsiębiorstwo we współczesnej gospodarce - teoria i praktyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On application of some artificial intelligence methods in ship design
    Autorzy:
    Meler-Kapcia, M.
    Zieliński, S.
    Kowalski, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/259171.pdf
    Data publikacji:
    2005
    Wydawca:
    Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
    Tematy:
    artificial intelligence
    expert system
    neural networks
    relational database
    case-based reasoning method
    aided ship design
    Opis:
    In the paper were presented examples of use of some intelligence tools such as a neural network, expert system and relational database to ship design. The neural network of back-propagation of errors was applied to select required power of ship main propulsion system on the basis of ship main parameters. Results obtained by using the network were compared with resulting values for similar ships found in Access database application. To aid design of the main propulsion system and ship power plant automation fuzzy logic was applied as an element of Case Based Reasoning (CBR) method in Exsys expert system as well as a few methods for selection of similar ships, elaborated by the authors.
    Źródło:
    Polish Maritime Research; 2005, 1; 14-20
    1233-2585
    Pojawia się w:
    Polish Maritime Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Koncepcja systemu wyboru dostawcy z wykorzystaniem metody wnioskowania na bazie przypadków
    Concept of the supplier selection using case based reasoning method
    Autorzy:
    Matusek, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/321062.pdf
    Data publikacji:
    2014
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    wybór dostawcy
    metoda wnioskowania
    przemysł maszynowy
    proces produkcyjny
    zaopatrzenie
    supplier selection
    reasoning method
    machinery industry
    production process
    supply
    Opis:
    Przemysł maszynowy charakteryzuje się bardzo szeroką grupą dostawców pochodzących z różnych branż, stąd problem oceny dostawcy, jego wybór ma istotny wkład w końcowy efekt realizacji przyjętego zamówienia. W artykule przedstawiono strukturę systemu wyboru dostawcy z wykorzystaniem metody wnioskowania na bazie przypadków oraz systemu ekspertowego. Implementacja zaproponowanego systemu może wspierać działania konstruktorów, inżynierów, pracowników działu zakupów, pracowników przygo-towujących oferty dla klientów.
    The paper presents the structure of the system supplier selection using case based reasoning method and expert system. Implementation of the proposed system can support designers, engineers, purchasing department, employees are preparing offers for customers.
    Źródło:
    Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2014, 70; 273-286
    1641-3466
    Pojawia się w:
    Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Tropy. Korzenie paradygmatu poszlakowego
    The trails - the roots of the circumstantial paradigm
    Autorzy:
    Ginzburg, Carlo
    Powiązania:
    https://bibliotekanauki.pl/articles/691260.pdf
    Data publikacji:
    2006
    Wydawca:
    Copernicus Center Press
    Tematy:
    circumstantial paradigm
    reasoning
    circumstantial reasoning
    trace reasoning
    Morelli method
    rationalism
    irrationalism
    Opis:
    The circumstantial reasoning is a common and widely used way of acquiring inferences based on a very limited number of premises. This paradigm emerged as an epistemological model at the end of the 19th century but has not yet received any systematic theoretical treatment. The paradigm became famous as the 'Morelli method' utilized by the historians of art to identify the authorship of various pieces of art, paintings in particular. The method allows the identification based on the investigation of certain features that are unnoticeable to the majority of observers. The same procedure seems to be operational among hunters who are capable of reconstructing the behavior as well as the species of an animal with the help of residual traces left in the surroundings. Also, it has its importance in medicine. The trace reasoning is essentially different in its methodology from that of the contemporary natural sciences within the Galilean paradigm. The difference consists in the radical importance of an individual as an individual as opposed to common regularities in nature studied by the natural sciences. Thus the circumstantial reasoning bears distinctively anthropocentric character. The theoretical analysis of this kind of reasoning may be helpful to overcome the tension between rationalism and irrationalism.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2006, 39; 8-65
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Fuzzy similarity measure based on fuzzy sets
    Autorzy:
    Hesamian, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/206878.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    approximate reasoning system
    fuzzy similarity measure
    ranking method
    pattern recognition
    Opis:
    This paper extends the notion of fuzzy similarity measure between fuzzy sets. A definite class of fuzzy similarity measures between fuzzy sets is also introduced. Using some theorems and examples, it is shown that the introduced extended similarity measures satisfy many common and desired properties, based on the common axiomatic definitions, introduced for fuzzy similarity measures. Some illustrative and practical examples from the areas of pattern recognition and approximate reasoning systems are provided in order to present the possible applications of the proposed fuzzy similarity measures.
    Źródło:
    Control and Cybernetics; 2017, 46, 1; 71-86
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Extrapolative Inference and Analogical Reasoning in the Empirical Sciences
    Autorzy:
    Jakubiec, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/429230.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    scientific method
    extrapolation
    per analogiam reasoning
    philosophy of science
    generalization
    Opis:
    The primary purpose of this paper is to present the issue of extrapolation, which is interesting from the perspective of contemporary philosophy of science. For its proper explanation, it is crucial to distinguish it from terms of similar meaning, such as analogy, induction or statistical inference. The second goal is to indicate key differences that exist between extrapolative inference and analogical reasoning. Because of this the ascertaining of the identification of these concepts would be a mistake though, of course, there is no way not to notice certain similarities.
    Źródło:
    Semina Scientiarum; 2014, 13
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Decolonisation and the Entangled Histories of Science and Philosophy in India
    Autorzy:
    Raina, Dhruv
    Powiązania:
    https://bibliotekanauki.pl/articles/1929952.pdf
    Data publikacji:
    2012-07-09
    Wydawca:
    Polskie Towarzystwo Socjologiczne
    Tematy:
    comparative method
    Indian philosophy
    institutionalisation of science
    modern India
    philosophical reasoning
    Opis:
    One of the central challenges confronting post-colonial India in its march towards decolonisation was the intellectual challenge posed by the idea of modernity. This is reflected in the work of historians of science and philosophers attempting to understand what the past of ‘Indian science’ or ‘Indian philosophy’ meant in relation to the identity of the modern Indian nation state in the making. This essay argues that in this interrogation there were common themes that were entangled in the enterprise of historians of science and philosophers. Beyond the question of the identity of Indian philosophy or Indian science was the attempt to locate the place of reason and science, and in the spirit of modernisation theory to trace the causes of their ascent or decline at the centre of Indian culture over historical time. The paper examines the entanglement of these two discourses and situates them during the decades of decolonisation
    Źródło:
    Polish Sociological Review; 2012, 178, 2; 187-202
    1231-1413
    2657-4276
    Pojawia się w:
    Polish Sociological Review
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Supporting Analogy-based Effort Estimation with the Use of Ontologies
    Autorzy:
    Kowalska, J.
    Ochodek, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/384110.pdf
    Data publikacji:
    2014
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    ontology
    data is modeled using Semantic Web
    method of supervised case-based reasoning
    Opis:
    The paper concerns effort estimation of software development projects, in particular, at the level of product delivery stages. It proposes a new approach to model project data to support expert-supervised analogy-based effort estimation. The data is modeled using Semantic Web technologies, such as Resource Description Framework (RDF) and Ontology Language for the Web (OWL). Moreover, in the paper, we define a method of supervised case-based reasoning. The method enables to search for similar projects’ tasks at different levels of abstraction. For instance, instead of searching for a task performed by a specific person, one could look for tasks performed by people with similar capabilities. The proposed method relies on ontology that defines the core concepts and relationships. However, it is possible to introduce new classes and relationships, without the need of altering the search mechanisms. Finally, we implemented a prototype tool that was used to preliminary validate the proposed approach. We observed that the proposed approach could potentially help experts in estimating non-trivial tasks that are often underestimated.
    Źródło:
    e-Informatica Software Engineering Journal; 2014, 8, 1; 53-64
    1897-7979
    Pojawia się w:
    e-Informatica Software Engineering Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of deductive reasoning to the verification of archimate behavioral elements
    Autorzy:
    Klimek, Radosław
    Szwed, Piotr
    Jędrusik, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/431909.pdf
    Data publikacji:
    2013
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    Deductive temporal reasoning
    software verification
    ArchiMate
    semantics table¬aux method
    Linear Temporal Logic
    Opis:
    The formal verification of business models has recently become an intensively researched area. It is expected that the application of formal tools may bring such benefits to organizations as the improved quality of products and services and a lower ratio of operational errors. In this paper we discuss the application of a deduction-based method for the verification of the behavioral aspects of ArchiMate models. The first step in our method consists in the translation of the ArchiMate model into Linear Temporal Logic (LTL) formulas. The resulting LTL formulas are then verified to check the expected temporal properties. The verification process is based on the semantics tableaux method and is conducted with an LTL prover. The method is discussed using an example of a business process implemented within a surveillance system.
    Źródło:
    Informatyka Ekonomiczna; 2013, 3(29); 76-97
    1507-3858
    Pojawia się w:
    Informatyka Ekonomiczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Key determinants of autonomous building development
    Uwarunkowania rozwoju budynków samowystarczalnych
    Autorzy:
    Mach, Aleksandra
    Sagan, Joanna
    Sobotka, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/2203417.pdf
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    budynek samowystarczalny
    earthship
    eksploatacja
    metoda DEMATEL
    związek przyczynowo-skutkowy
    autonomous building
    DEMATEL method
    operation
    cause and effect reasoning
    Opis:
    The construction and operation of buildings is characterized by resource intensity in the form of massive consumption of raw materials and products, large financial and human labor expenditures, energy consumption, water consumption, long term, and significant environmental impacts, especially during their use. The currently implemented concept of sustainable development and circular economy influences the directions of development of construction industry and increases interest in self-sufficient buildings, especially in terms of energy, use of closed water circuits, use of waste materials. The aim of the article is to analyse the key determinants for the development of autonomous buildings. The general idea is that an autonomous building is designed to function without the support and services provided by public facilities, such as power, water, gas and sewage networks, waste management, and even the provision of food. On the basis of literature analysis and expert interviews, the factors characterizing this type of construction were determined. Their analysis by means of the DEMATEL method allowed to assess and indicate the most significant cause-and effect relationships conditioning the development of autonomous buildings.
    Budowa i eksploatacja budynków charakteryzuje się zasobochłonnością w postaci masowego zużywania surowców i wyrobów, dużych nakładów finansowych i pracy ludzi, zużycia energii, wody, oddziaływania w długim okresie i znacząco na środowisko, w szczególności podczas ich użytkowania. Wdrażana aktualnie koncepcja zrównoważonego rozwoju i gospodarki cyrkulacyjnej ma wpływ na kierunki rozwoju budownictwa i wzmaga zainteresowanie budynkami samowystarczalnymi,w szczególności pod względem energetycznym, stosowania obiegów zamkniętych wody, wykorzystywania materiałów odpadowych. Celem artykułu jest analiza uwarunkowań rozwoju budynków samowystarczalnych. Na podstawie analizy literatury i badań rynku określono czynniki charakteryzujące tego typu budownictwo. Ich analiza za pomocą metody DEMATEL pozwoliła na ocenę i wskazanie najistotniejszych związków przyczynowo-skutkowych warunkujących rozwój budynków samowystarczalnych.
    Źródło:
    Archives of Civil Engineering; 2023, 69, 1; 181--195
    1230-2945
    Pojawia się w:
    Archives of Civil Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    L’intuition linguistique et le raisonnement par analogie dans l’apprentissage-acquisition d’une langue ´etrang`ere
    Language intuition and reasoning by analogy in foreign language learning-acquisition
    Autorzy:
    Piegzik, Wioletta A.
    Powiązania:
    https://bibliotekanauki.pl/articles/1897312.pdf
    Data publikacji:
    2019-03-05
    Wydawca:
    Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
    Tematy:
    uczenie się-nabywanie języka obcego
    intuicja językowa
    metoda intuicyjna
    myślenie przez analogię
    foreign langauge learning-acquistion
    language intuition
    intuitive method
    reasoning by analogy
    Opis:
    The aim of the article is to characterize language intuition understood as a type of intellectual process and/or mental disposition activated involuntarily and spontaneously during foreign language learning-acquisition as also the presentation of reasoning by analogy, which is inherently connected with intuition. The first part presents pedagogical concepts of Ferdinand Buisson who, by promoting the intuitive method in French education, pointed to its naturalness, universality and effectiveness. Buisson’s concept is completed by Val ´erie Derkx’s analysis about second language learning-acquisition. The second part shows examples of exercises aimed at activating the reasoning by analogy and language intuition.
    Celem artykułu jest charakterystyka intuicji językowej rozumianej jako typ poznania intelektualnegoi/lub dyspozycji mentalnej uruchamianej mimowolnie i spontanicznie podczas uczenia się-nabywania języka obcego oraz prezentacja myślenia przez analogię, które towarzyszy nierozłącznie intuicji. W pierwszej części zarysowana jest koncepcja dydaktyczno-pedagogiczna Ferdynanda Buissona, który promując metodę intuicyjną w nauczaniu powszechnym we Francji, wskazał na jej naturalność, uniwersalność i skuteczność. Koncepcja ta uzupełniona i pogłębiona jest analizami z zakresu uczenia się-nabywania języka obcegoautorstwa Val ´erie Derkx. Część druga ukazuje przykłady ćwiczeń językowych, których celem jest aktywacja myślenia przez analogię oraz intuicji językowej.
    Źródło:
    Linguodidactica; 2019, 23; 161-174
    1731-6332
    Pojawia się w:
    Linguodidactica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    Deduction-based Formal Verification of Business Models using Temporal Logic
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/274553.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    modele biznesowe
    BPMN
    SOA
    wzorce projektowe
    logika temporalna
    wnioskowanie dedukcyjne
    metoda tablic semantycznych
    generowanie specyfikacji
    business models
    workflow design patterns
    temporal logic
    deductive reasoning
    semantic tableaux method
    generating specifications
    Opis:
    Praca dotyczy formalnej analizy i weryfikacji modeli biznesowych wyrażonych w notacji BPMN. Weryfikacja oparta jest na wnioskowaniu dedukcyjnym. Jako metodę wnioskowania dla modeli biznesowych zaproponowano metodę tablic semantycznych, która cechuje się apagogicznością oraz analitycznością. Została przedstawiona metoda translacji podstawowych wzorców projektowych BPMN do formuł logiki temporalnej, stanowiących logiczną specyfikację analizowanegomodelu. Zarówno logiczna specyfikacja, jak i właściwości badanych procesów są wyrażone formułami tzw. najmniejszej logiki temporalnej. Formuły te są następnie przetwarzane z wykorzystaniem metody tablic semantycznych. Innowacyjność proponowanego podejścia może istotnie wpłynąć na redukcję kosztów wytwarzania oprogramowania, ze względu na możliwość wykrycia błędów oprogramowania już w fazie jego modelowania, wyprzedzając tym samym znacznie fazy implementacji i testowania.
    The paper concerns formal analysis and verification of business models expressed in BPMN. This verification is based on a deductive reasoning. As a method of inference for business models semantic tableaux method is proposed. Automatic trans- formations of the basic BPMN workflow patterns to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. Both the logical specification and the desired system properties are expressed as formulas of the smallest linear temporal logic. These formulas are later processed using semantic tableaux method. Applying this innovative concept might result in software development costs reduction as some errors might be addressed in the modeling phase not in implementation or testing phase.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 190-193
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-12 z 12

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies