Role of Logic in Cognitive Science
Studia Humana, 2018 In their work McCulloch and Pitts describe an idea of representing all of nervous activity in terms of propositional logic. This idea was quickly challenged.
Balcerak Paweł
doaj +1 more source
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics [PDF]
, 2019 We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of concept combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC TR, whose semantics is based on the notion of rational ...
Lieto, Antonio, Pozzato, Gian Luca
core +3 more sources
Nonmonotonic Reasoning and Causation [PDF]
Cognitive Science, 1990 It is suggested that taking into account considerations that traditionally fall within the scope of computer science in general, and artificial intelligence in particular, sheds new light on the subject of causation. It is argued that adopting causal notions con be viewed as filling a computational need: They allow reasoning with incomplete information,
openaire +1 more source
Reasoning about Minimal Belief and Negation as Failure
, 2011 We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including ...
Rosati, R.
core +1 more source
Journal of Japan Society for Fuzzy Theory and Systems, 1992 The author gives an introductory survey of nonmonotonic reasoning and nonmonotonic logic, including circumscription, default logic, autoepistemic logic, application to a knowledge base and a truth maintenance system.
openaire +3 more sources
Optimizing the computation of overriding
, 2015 We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and ...
BC Grau +17 more
core +1 more source
Crystallization of Water Mediated by Carbon
Geophysical Monograph Series, Page 77-86., 2020 This book is Open Access. A digital copy can be downloaded for free from Wiley Online Library.
Explores the behavior of carbon in minerals, melts, and fluids under extreme conditions
Carbon trapped in diamonds and carbonate-bearing rocks in subduction zones are examples of the continuing exchange of substantial carbon ...
Tianshu Li, Yuanfei Bi, Boxiao Cao
wiley +1 more source
Frontiers in Robotics and AI, 2019 State of the art algorithms for many pattern recognition problems rely on data-driven deep network models. Training these models requires a large labeled dataset and considerable computational resources. Also, it is difficult to understand the working of
Heather Riley, Mohan Sridharan
doaj +1 more source
The Complexity of Reasoning for Fragments of Default Logic [PDF]
, 2009 Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as $\SigmaPtwo$-complete, and the complexity of the credulous and skeptical reasoning problem as
A.L. Selman +15 more
core +4 more sources
The SP Theory of Intelligence: An Overview
Information, 2013 This article is an overview of the SP theory of intelligence, which aims to simplify and integrate concepts across artificial intelligence, mainstream computing and human perception and cognition, with information compression as a unifying theme.
J Gerard Wolff
doaj +1 more source