Results 1 to 10 of about 405,638 (322)
A Default Logic Patch for Default Logic [PDF]
, 2009 International audienceThis paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-logic knowledge parts of the sources are contradictory,
A. Mikitiuk +10 more
core +7 more sources
Complexity of Prioritized Default Logics
Journal of Artificial Intelligence Research, 2011 In default reasoning, usually not all possible ways of resolving conflicts between default rules are acceptable. Criteria expressing acceptable ways of resolving the conflicts may be hardwired in the inference mechanism, for example specificity in ...
Rintanen, J.
core +7 more sources
Default Logic in a Coherent Setting
, 2002 In this talk - based on the results of a forthcoming paper (Coletti, Scozzafava and Vantaggi 2002), presented also by one of us at the Conference on "Non Classical Logic, Approximate Reasoning and Soft-Computing" (Anacapri, Italy, 2001) - we discuss the ...
Coletti, Giulianella +2 more
core +6 more sources
Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic [PDF]
Axioms, 2020 Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference ...
Sopo Pkhakadze, Hans Tompits
doaj +2 more sources
Where Fail-Safe Default Logics Fail [PDF]
, 2004 Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call failure this condition.
Cholewinski P. +8 more
core +2 more sources
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 +8 more sources
Proof Complexity of Propositional Default Logic [PDF]
, 2010 Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic.
Beyersdorff, O +4 more
core +5 more sources
Expressing preferences in default logic
Artificial Intelligence, 2000 We address the problem of reasoning about preferences among properties (outcomes, desiderata, etc.) in Reiter's default logic. Preferences are expressed using an ordered default theory, consisting of default rules, world knowledge, and an ordering, reflecting preference, on the default rules.
James P. Delgrande, Torsten Schaub
openalex +5 more sources
Uncontroversial Default Logic [PDF]
Journal of Logic and Computation, 2004 Summary: Many variants of default logics exist. Two of the main differences among them arise from the choice between local and global consistency, and the choice of whether or not to accept maximally successful sets of defaults. In this paper, we characterize theories that do not depend at all on what makes the semantics different, that is, theories ...
Paolo Liberatore
openalex +4 more sources
Logic Programming with Default, Weak and Strict Negations [PDF]
, 2005 This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation.
Yamasaki, Susumu
core +7 more sources