Zobrazeno 1 - 10
of 848
pro vyhledávání: '"Opportunistic reasoning"'
Publikováno v:
Thinking & Reasoning. 24:234-257
Recent studies have shown that deductive reasoning skills (including transitive and conditional inferences) are related to mathematical abilities. Nevertheless, so far the links between mathematica...
Publikováno v:
Engineering Applications of Artificial Intelligence, 60
Even though various frameworks exist for reasoning under uncertainty, a realistic fault diagnosis task does not fit into any of them in a straightforward way. For each framework, only part of the available data and knowledge is in the desired format.
Publikováno v:
Minds and Machines. 27:79-117
The knowledge representation and reasoning of both humans and artificial systems often involves conditionals. A conditional connects a consequence which holds given a precondition. It can be easily recognized in natural languages with certain key wor
Autor:
Zhaohao Sun
Publikováno v:
New Mathematics and Natural Computation. 13:21-40
Experience-based reasoning (EBR) is a paradigm used in almost every human activity as a part of human reasoning. However, EBR has not been seriously studied from a logical viewpoint. This paper will attempt to fill this gap by providing a unified log
Autor:
Susan Fox, David B. Leake
Publikováno v:
Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society ISBN: 9781315789354
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ad7c2e309362ddae5099a2c0e0d99e9
https://doi.org/10.4324/9781315789354-56
https://doi.org/10.4324/9781315789354-56
Autor:
Boris Stilman
Publikováno v:
International Journal of Design & Nature and Ecodynamics. 11:495-507
Autor:
Ludovic Renou, Ralph-C Bayer
Publikováno v:
Journal of Behavioral and Experimental Economics. 64:41-49
This paper investigates the ability of individuals to make complex chains of reasoning, similar to those underlying the logic of iterated deletion of dominated strategies. Controlling for other-regarding preferences and beliefs about the rationality
Autor:
Norihiro Kamide, Daiki Koizumi
Publikováno v:
Journal of Advanced Computational Intelligence and Intelligent Informatics. 20:813-827
Computation tree logic (CTL) is known to be one of the most useful temporal logics for verifying concurrent systems by model checking technologies. However, CTL is not sufficient for handling inconsistency-tolerant and probabilistic accounts of concu
Autor:
Dae-Wook Bang, Dae-Jin Jang
Publikováno v:
Advanced Science Letters. 22:2570-2573
Publikováno v:
Minds and Machines. 27:7-9