Results 11 to 20 of about 9,538 (181)
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
Observational Equivalence of Conditional Belief Bases
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 In nonmonotonic reasoning, a conditional of the form ‘If A then usually B’ is typically accepted if a situation where both A and B hold is deemed to be more plausible, more probable, or less surprising, etc., than a situation where A holds, but B does ...
Christoph Beierle +2 more
doaj +1 more source
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
Qualitative Mechanical Problem-Solving by Artificial Agents:
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Qualitative mechanical problem-solving (QMPS) is central to human-level intelligence. Human agents use their capacity for such problem-solving to succeed in tasks as routine as opening the tap to drink or hanging a picture on the wall, as well as for ...
Shreya Banerjee +3 more
doaj +1 more source
Classical methods in nonmonotonic reasoning [PDF]
, 1994 In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint satisfaction, and graph algorithms are considered. Central to our approach is the representation of a logic program by means of a
Dimopoulos, Yannis, Dimopoulos, Yannis
openaire +5 more sources
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination [PDF]
, 2010 In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed.
Axel Polleres +4 more
core +2 more sources
Nonmonotonic reasoning: from complexity to algorithms [PDF]
Annals of Mathematics and Artificial Intelligence, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cayrol, Claudette +2 more
openaire +3 more sources
Applying Soundness Standards to Qualified Reasoning
Informal Logic, 2004 Defining qualified reasoning as reasoning containing such loose qualifying words as 'probably,' 'usually,' 'probable, 'likely,' 'ceteris paribus,' and 'primafacie, Ennis argues that typical cases of qualified reasoning, though they might be good ...
Robert H. Ennis
doaj +1 more source
Large-scale Parallel Stratified Defeasible Reasoning [PDF]
, 2012 We are recently experiencing an unprecedented explosion of available data from the Web, sensors readings, scientific databases, government authorities and more.
Antoniou, Grigoris +4 more
core +1 more source
Nonmonotonic reasoning with multiple belief sets [PDF]
Annals of Mathematics and Artificial Intelligence, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Engelfriet, J., Herre, H., Treur, J.
openaire +4 more sources