Results 11 to 20 of about 448,512 (202)
Nonmonotonic Reasoning in Probabilistics. [PDF]
, 1998 In probabilistics, reasoning at optimum entropy (ME-reasoning) has proved to be a most sound and consistent method for inference. This paper investigates its properties in the framework of nonmonotonic reasoning. In particular, we show that ME-reasoning satisfies cumulativity and loop, and we focus on its connection to conditionals.
Kern-Isberner, Gabriele
core +4 more sources
Extending Prolog with nonmonotonic reasoning [PDF]
The Journal of Logic Programming, 1996 Summary: Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation, specifically its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencing methods, model-theoretic semantics,
Chen, Weidong
openaire +2 more sources
Well-Founded Semantics for Extended Datalog and Ontological Reasoning [PDF]
, 2013 The Datalog± family of expressive extensions of Datalog has recently been introduced as a new paradigm for query answering over ontologies, which captures and extends several common description logics.
Lukasiewicz, Thomas +7 more
core +5 more sources
Modelling causal reasoning [PDF]
, 2009 PhDAlthough human causal reasoning is widely acknowledged as an object of scientific enquiry, there is little consensus on an appropriate measure of progress.
Brandano, Sergio
core +4 more sources
On Practical Reasoning and Automated Planning [PDF]
, 2012 Practical reasoning and automated planning are strictly related as they strive to answer to the same question: “which is the best course of action for an agent?” While the first research field addressed this topic mainly from an epistemological point of ...
Vallati, Mauro, Cerutti, Federico
core +3 more sources
Modalities, conditionals and nonmonotonic reasoning [PDF]
, 2008 This dissertation conducts an investigation into nonmonotonic reasoning---forms of reasoning which allow defeasible inferences arrived at in the absence of complete information, and which, when additional information is acquired, may need to be revoked. In contrast to the mathematical notion of consequence which is based on proof---mathematical proofs,
Jauregui, Victor
openaire +3 more sources
On using human nonmonotonic reasoning to inform artificial systems
Psychologica Belgica, 2005 People seem adept at drawing tentative conclusions when premises do not lead to a necessary conclusion. In contrast, the artificial nonmonotonic reasoning systems that have been developed are complex and do not function with ease.
Marilyn Ford
doaj +1 more source
05171 Abstracts Collection – Nonmonotonic Reasoning, Answer Set Programming and Constraints [PDF]
, 2005 From 24.04.05 to 29.04.05, the Dagstuhl Seminar 05171 ``Nonmonotonic Reasoning, Answer Set Programming and Constraints'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Niemelä, Ilkka +4 more
core +1 more source
A General Framework for Ampliative Inference Patterns
CLEI Electronic Journal, 1998 Non trivial reasoning from contradictory premises is being acknowledged as one of the most important features in intelligent systems. Expert systems, planners and schedulers, and diagnosers, are almost always faced to potentially fallacious information ...
Claudio Delrieux
doaj +3 more sources
Towards a mental probability logic
Psychologica Belgica, 2005 We propose probability logic as an appropriate standard of reference for evaluating human inferences. Probability logical accounts of nonmonotonic reasoning with SYSTEM P, and conditional syllogisms (MODUS PONENS, etc.) are explored.
Niki Pfeifer, Gernot D. Kleiter
doaj +1 more source