Informacja

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

Wyszukujesz frazę "reasoning" wg kryterium: Temat


Tytuł:
“Internal” Problems of Normative Theories of Thinking and Reasoning
Autorzy:
Urbańczyk, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/942952.pdf
Data publikacji:
2016
Wydawca:
Copernicus Center Press
Tematy:
normative theories of thinking and reasoning
logic
probability
theory
rational choice theory
Opis:
This paper provides moderate criticism of so-called normative theories of thinking and reasoning. The discussion focuses on the problems of idealization, adequacy, inconsistent yet non-trivial logics, logical omniscience etc. I called them “internal” to the normative approach, because they stem from the very properties of formal systems used to model these two human activities. Some arguments, however, refer to the current theories in cognitive science, including those which are developed within “descriptive” framework.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2016, 60; 35-52
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Knowledge Representation Framework Based on Epistemic Logic
Autorzy:
Przymusiński, T.
Powiązania:
https://bibliotekanauki.pl/articles/91397.pdf
Data publikacji:
2014
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Tematy:
non-monotonic reasoning
semantics of logic programs
disjunctive logic programs
deductive databases
Opis:
We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic which is sufficiently general to encompass several nonmonotonic formalisms, including circumscription, autoepistemic logic, various semantics proposed for logic programs and deductive databases (stable semantics, well-founded semantics and stationary semantics) as well as Gelfond’s epistemic specifications. The existence of such a uniform framework allows us not only to provide simpler and perhaps more natural definitions of various formalisms but it also enables us to better understand mutual relationships existing between them.
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2014, 8, 11; 41-53
1896-396X
2082-8349
Pojawia się w:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A multi-case-based assembly management method for the shipbuilding industry
Autorzy:
Iwańkowicz, Remigiusz
Powiązania:
https://bibliotekanauki.pl/articles/1551812.pdf
Data publikacji:
2021
Wydawca:
Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:
assembly management
shipbuilding
case-based reasoning
fuzzy classification
Opis:
This article describes a method for planning the assembly of ship hulls that focuses on a welding sequence, takes into account subassembly processes and makes use of a previously built database of structures. Different degrees of similarity between structures are taken into account. The described research led to the development of an intelligent hybrid sequencing method for structure assembly that uses fuzzy clustering, case-based reasoning and evolutionary optimization. The method is called ‘Multi-case-Based Assembly Planning (MBAP)’. The method is developed to provide satisfactory solutions with low user effort. The analyses carried out show that the calculations are highly timeefficient. The developed evolutionary algorithm converges on sub-optimal solutions. The MBAP method can be directly implemented by any shipbuilder that assembles hulls. Apart from this, fuzzy clustering integrated with case-based reasoning can be applied in practice. The integration of fuzzy clustering and case-based reasoning has been taken to a level higher than previously described in the literature.
Źródło:
Polish Maritime Research; 2021, 2; 27-35
1233-2585
Pojawia się w:
Polish Maritime Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Neuro-Fuzzy System Based on Logical Interpretation of If-then Rules
Autorzy:
Łęski, J.
Henzel, N.
Powiązania:
https://bibliotekanauki.pl/articles/911145.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
system rozmyty
implikacja rozmyta
fuzzy implications
approximate reasoning
neuro-fuzzy systems
soft computing
Opis:
Several important fuzzy implications and their properties are described on the basis of an axiomatic approach to the definition of the fuzzy implications. Then the idea of approximate reasoning using the generalized modus ponens and fuzzy implications is considered. The elimination of the non-informative part of the final fuzzy set before defuzzification plays the key role in this paper. After reviewing well-known fuzzy systems, a new artificial neural network based on logical interpretation of if-then rules (ANBLIR) is introduced. Moreover, this system automatically generates rules from numerical data. Applications of ANBLIR to pattern recognition on numerical examples using benchmark databases are indicated.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2000, 10, 4; 703-722
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A novel adaptation approach for electromagnetic device optimization
Autorzy:
Ouyang, J.
Lowther, D.
Powiązania:
https://bibliotekanauki.pl/articles/140348.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
wnioskowanie na podstawie przykładów
adaptacja przypadku
sieć semantyczna
urządzenia elektromagnetyczne
optymalizacja
case-based reasoning
case adaptation
semantic networks
electromagnetic devices
optimization
Opis:
The ability of case-based reasoning systems to solve new problems mainly depends on their case adaptation knowledge and adaptation strategies. In order to carry out a successful case adaptation in our case-based reasoning system for a low frequency electromagnetic device design, we make use of semantic networks to organize related domain knowledge, and then construct a rule-based inference system which is based on the network. Furthermore, based on the inference system, a novel adaptation algorithm is proposed to derive a new device case from a real-world induction motor case-base with high dimensionality.
Źródło:
Archives of Electrical Engineering; 2011, 60, 4; 473-483
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A proposed Evidential Reasoning (ER) Methodology for Quantitative Assessment of Non-Technical Skills (NTS) Amongst Merchant Navy Deck Officers in a Ship’s Bridge Simulator Environment
Autorzy:
Saeed, F.
Bury, A.
Bonsall, S.
Riahi, R.
Powiązania:
https://bibliotekanauki.pl/articles/116485.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
Evidential Reasoning (ER)
quantitative assessment
methodology for quantitative assessment
Non-Technical Skills (NTS)
merchant navy deck officers
ship’s bridge simulator
evidential reasoning algorithm
simulated bridge environment
Opis:
Ship’s bridge simulators are very popular in the worldwide training and assessment of merchant navy deck officers. The examiners of simulator courses presently do not have a method to quantitatively assess the performance of a group or an individual. Some examiners use checklists and others use their gut feeling to grade competence. In this paper a novel methodology is established that uses the Evidential Reasoning algorithm to quantitatively assess the Non-Technical Skills (NTS) of merchant navy officers. To begin with, interviews were conducted with experienced deck officers to develop the taxonomy and behavioural markers that would be used in the assessment process. A random selection of students studying towards their Chief Officer’s Certificate of Competency were recruited to have their NTS to be observed in a ship’s bridge simulator. The participant’s behaviour was rated against five criteria and the subsequent data was entered into the Evidential Reasoning algorithm to produce a crisp number. The results that were generated demonstrate that this approach provides a reliable method to quantitatively assess the NTS performance of merchant navy officers in a simulated bridge environment.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2018, 12, 3; 597-608
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Proposed Model for Green Practice Adoption and Implementation in Information Technology Based Organizations
Propozycja modelu określania i wprowadzania Zielonych Praktyk w przedsiębiorstwach wykorzystujących technologie informatyczne
Autorzy:
Bokolo, Anthony Jnr.
Majid, Mazlina Abdul
Romli, Awanis
Powiązania:
https://bibliotekanauki.pl/articles/371623.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Komitet Człowiek i Środowisko PAN
Tematy:
sustainability
Green Practice
IT based organization
Case Based Reasoning
Software Agent
zrównoważoność
Zielone Praktyki
przedsiębiorstwa IT
CBR
programowanie agentowe
Opis:
Green Information technology system offers opportunity for IT based organizations to act proactively in terms of environmental preservation as well as to mitigate effects of global climate change and other environmental problems. Green Information technology system adoption and implementation is a plausible attempt for IT based organizations to resolve the current environmental issues and also enhance their economic performance and possible social benefits. Currently several models and frameworks have been developed to address sustainability in various research domain. However, there are few models that can support decision making of practitioners in adopting and implementing sustainable practices in IT based organization. Therefore there is need to develop a model to assist practitioners adopt and implement sustainable practices. The proposed model comprises of Green variables, Green process and a hybrid technique of software agents and case bases reasoning. Findings from this paper shows the model variables, process, techniques applied and derived prepositions. Ongoing work involves adopting a mixed research (case study and survey) to verify the model variables, process and validate the model prepositions.
Zielone technologie informatyczne ułatwiają firmom wykorzystującym technologie informatyczne (IT) podejmowanie działań na rzecz ochrony środowiska, a także tych prowadzących do zmniejszenia skali zagrożeń związanych ze zmianami klimatycznymi i innymi współczesnymi wyzwaniami ekologicznymi. Wdrażanie zielonych technologii informatycznych stanowi właściwe podejście dla firm IT nie tylko z uwagi na możliwość rozwiązywania bieżących problemów środowiskowych, ale także zwiększenia efektywności ekonomicznej i możliwych korzyści społecznych. Obecnie rozwija się wiele modeli odnoszących się do różnych aspektów zrównoważoności, jednak tylko nieliczne z nich nadają się do wykorzystania w procesie decyzyjnym firm IT. Z tej przyczyny istnieje potrzeba opracowania takiego modelu, wspierającego wprowadzanie zrównoważonych praktyk na tym poziomie. Zaproponowany model uwzględnia Zielone zmienne, Zielone procesy i połączenie techniki programowania agentowego z wnioskowaniem w oparciu o studium przypadku (CBR). Dzięki przyjęciu rozszerzonego podejścia (studium przypadku, ankieta) możliwa jest weryfikacja zmiennych modelu, procesów i potwierdzenie przyjętych założeń.
Źródło:
Problemy Ekorozwoju; 2018, 13, 1; 95-112
1895-6912
Pojawia się w:
Problemy Ekorozwoju
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A proposition of knowledge management methodology for the purpose of reasoning with the use of an upper-ontology
Propozycja metodologii do zarządzania wiedzą na cele wnioskowania z wykorzystaniem ontologii wyższego poziomu
Autorzy:
Szymański, K.
Dobrowolski, G.
Koźlak, J.
Zygmunt, A.
Powiązania:
https://bibliotekanauki.pl/articles/305694.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
ontologia
zarządzanie wiedzą
integracja ontologii
ontologia wyższego poziomu
wnioskowanie
ontology
knowledge management
ontology integration
upper ontology
reasoning
Opis:
This article describes a proposition of knowledge organization for the purpose of reasoning using an upper-ontology. It presents a model of integrated ontologies architecture which consists of a domain ontologies layer with instances, a shared upper-ontology layer with additional rules and a layer of ontologies mapping concrete domain ontologies with the upper-ontology. Thanks to the upper-ontology, new facts were concluded from domain ontologies during the reasoning process. A practical realization proposition is given as well. It is based on some popular Semantic Web technologies and tools, such as OWL, SWRL, nRQL, Protege and Racer.
Artykuł przedstawia propozycję organizacji wiedzy na cele wnioskowania z wykorzystaniem ontologii wyższego poziomu. Prezentuje model architektury zintegrowanych ontologii, składający się z ontologii domenowych z instancjami, współdzielonej ontologii wyższego poziomu z dodatkowymi regułami oraz z warstwy ontologii mapujących. Dzięki wiedzy wyższego poziomu uzyskano nowe fakty podczas wnioskowania. Zaprezentowano rownież propozycje praktycznej realizacji omawianego podejścia przy użyciu popularnych narzędzi i technologii dla Semantic Web, takich jak OWL, SWRL, nRQL, Protege i Racer.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 117-133
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A qualitative trajectory calculus as a basis for representing moving objects in Geographical Information Systems
Autorzy:
Weghe, N. van de
Cohn, A. G.
Tre, G. de
Maeyer, P. de
Powiązania:
https://bibliotekanauki.pl/articles/970477.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
obiekt ruchomy
wnioskowanie jakościowe
specyfikacja jakościowa
moving objects
qualitative reasoning
qualitative representation
spatio-temporal modelling
Opis:
Qualitative formalisms, suited to express qualitative temporal or spatial relationships between entities, have gained wide acceptance as a useful way of abstracting from the real world. The question remains how to describe spatio-temporal concepts, such as the interaction between disconnected moving objects, adequately within a qualitative calculus and more specifically how to use this in geographical information systems. In this paper, the Basic Qualitative Trajectory Calculus (QTCB) for representing and reasoning about moving objects is presented. QTCB enables comparisons between positions of objects at different time points ro be made. The calculus is based on few primitives (i.e., distance and speed constraints), making it elegant and theoretically simple. To clarify the way in which trajectories are represented within QTCB: specific cases of movements (e.g. circular movement) are presented. To illustrate the naturalness of QTC, a "predator-prey" example is studied.
Źródło:
Control and Cybernetics; 2006, 35, 1; 97-119
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A step toward a universal theory of failure handling
Autorzy:
Obeid, N.
Rao, R.B.
Powiązania:
https://bibliotekanauki.pl/articles/328519.pdf
Data publikacji:
2007
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
logika
monitoring
czas
rozumowanie
diagnozowanie
podejmowanie decyzji
uszkodzenie
logic
failure
reasoning
decision-making
learning
diagnosis
time
event
nonmonotonic
Opis:
We explore, in this paper, some of the fundamental requirements needed for a Universal Theory of Failure Handling. We shall show that dealing with failure touches on our reasoning, predictive, evaluative and judgmental capabilities and thus it requires the ability to reason with incomplete and uncertain temporal information. It also requires reasoning with events before they even happen and about the effect of actions for as long as these are relevant, even if the available time does not permit. There may also be a need for reasoning about the reasoning process itself. We shall discuss the notion of failure with respect to decision-making and knowledge. We give a very brief presentation of Dorner's logic of failure and research into artificial intelligence and its implication for handling failures. We shall propose means of computing the degrees of failure induced by humans and in physical systems. In addition, we shall initiate a discussion on reasoning with failures and put forward a proposal for an integrative and proactive approach to monitoring, diagnosis and learning from failures.
Źródło:
Diagnostyka; 2007, 1(41); 5-14
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A system for deduction-based formal verification of workflow-oriented software models
Autorzy:
Klimek, R.
Powiązania:
https://bibliotekanauki.pl/articles/330429.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy
Opis:
The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal logic formulas, seems to be a significant obstacle for an inexperienced user when applying the deductive approach. A system, along with its architecture, for deduction-based verification of workflow-oriented models is proposed. The process inference is based on the semantic tableaux method, which has some advantages when compared with traditional deduction strategies. The algorithm for automatic generation of logical specifications is proposed. The generation procedure is based on predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea behind the approach is to consider patterns, defined in terms of temporal logic, as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between the intuitiveness of deductive reasoning and the difficulty of its practical application when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing, our understanding of deduction-based formal verification of workflow-oriented models.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 941-956
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Variant of Material Connexive Logic
Autorzy:
Belikov, Alexander
Zaitsev, Dmitry
Powiązania:
https://bibliotekanauki.pl/articles/2142753.pdf
Data publikacji:
2021-11-09
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
many-valued logics
connexive logic
four-valued logic MC
informal reasoning
Opis:
The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 2; 227-242
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Advantages of an approximate reasoning based on a fuzzy truth value
Autorzy:
Kudłacik, P.
Powiązania:
https://bibliotekanauki.pl/articles/333079.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
wnioskowanie rozmyte
systemy rozmyte
wartości logiczne rozmyte
fuzzy reasoning
fuzzy systems
fuzzy truth value
Opis:
The approximate reasoning based on a fuzzy truth value is based on a different view of linguistic statements and comparing with the compositional rule of inference has some advantages. Benefits of the method are especially important for fuzzy expert systems with large sets of premises. The problem is very common for many applications in medicine, biology and biometry. By a short analysis of the approach and comparing to the compositional rule of inference the paper emphasizes the most important advantages of a possible implementation, which is particularly significant for the mentioned fields.
Źródło:
Journal of Medical Informatics & Technologies; 2010, 16; 125-131
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Agents modeling experience applied to control of semi-continuous production process
Autorzy:
Rojek, G.
Powiązania:
https://bibliotekanauki.pl/articles/305558.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
agent technology
industrial control
case-based reasoning
Opis:
The lack of proper analytical models of some production processes prevents us from obtaining proper values of process parameters by simply computing optimal values. Possible solutions of control problems in such areas of industrial processes can be found using certain methods from the domain of artificial intelligence: neural networks, fuzzy logic, expert systems, or evolutionary algorithms. Presented in this work, a solution to such a control problem is an alternative approach that combines control of the industrial process with learning based on production results. By formulating the main assumptions of the proposed methodology, decision processes of a human operator using his experience are taken into consideration. The researched model of using and gathering experience of human beings is designed with the contribution of agent technology. The presented solution of the control problem coincides with case-based reasoning (CBR) methodology.
Źródło:
Computer Science; 2014, 15 (4); 411-439
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
AI-supported reasoning in physiotherapy
Wnioskowanie w fizjoterapii wspierane sztuczną inteligencją
Autorzy:
Mikołajewski, Dariusz
Mikołajewska, Emilia
Powiązania:
https://bibliotekanauki.pl/articles/41203435.pdf
Data publikacji:
2024
Wydawca:
Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:
artificial intelligence
machine learning
clinical reasoning
clinical decision support system
interview
musculoskeletal pain disorders
physiotherapy
usability
recommender system
self-management
mHealth
sztuczna inteligencja
uczenie maszynowe
wnioskowanie kliniczne
system wspomagania decyzji klinicznych
wywiad
zaburzenia bólowe układu mięśniowo-szkieletowego
fizjoterapia
użyteczność
system rekomendacji
samokontrola
mZdrowie
Opis:
Artificial intelligence (AI)-based clinical reasoning support systems in physiotherapy, and in particular data-driven (machine learning) systems, can be useful in making and reviewing decisions regarding functional diagnosis and formulating/maintaining/modifying a rehabilitation programme. The aim of this article is to explore the extent to which the opportunities offered by AI-based systems for clinical reasoning in physiotherapy have been exploited and where the potential for their further stimulated development lies.
Systemy wspomagania wnioskowania klinicznego w fizjoterapii oparte na sztucznej inteligencji, a w szczególności na danych (uczenie maszynowe), mogą być przydatne w podejmowaniu i weryfikacji decyzji dotyczących diagnostyki funkcjonalnej ora formułowania/utrzymywania/modyfikowania programu rehabilitacji. Celem niniejszego artykułu jest zbadanie, w jakim stopniu możliwości oferowane przez systemy oparte na sztucznej inteligencji w zakresie rozumowania klinicznego w fizjoterapii zostały wykorzystane i gdzie leży potencjał ich dalszego stymulowanego rozwoju.
Źródło:
Studia i Materiały Informatyki Stosowanej; 2024, 16, 2; 21-27
1689-6300
Pojawia się w:
Studia i Materiały Informatyki Stosowanej
Dostawca treści:
Biblioteka Nauki
Artykuł

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