Corpus ID: 488242

Inconsistency Management and Prioritized Syntax-Based Entailment

@inproceedings{Benferhat1993InconsistencyMA,
  title={Inconsistency Management and Prioritized Syntax-Based Entailment},
  author={S. Benferhat and C. Cayrol and D. Dubois and J. Lang and H. Prade},
  booktitle={IJCAI},
  year={1993}
}
  • S. Benferhat, C. Cayrol, +2 authors H. Prade
  • Published in IJCAI 1993
  • Mathematics, Computer Science
  • The idea of ordering plays a basic role in commonsense reasoning for addressing three interrelated tasks: inconsistency handling, belief revision and plausible inference. We study the behavior of non-monotonic inferences induced by various methods for priority-based handling of inconsistent sets of classical formulas. One of them is based on a lexicographic ordering of maximal consistent subsets, and refines Brewka's preferred sub-theories. This new approach leads to a nonmonotonic inference… CONTINUE READING
    377 Citations
    From Non-Monotonic Syntax-Based Entailment to Preference-Based Argumentation
    • 10
    Reasoning in inconsistent stratified knowledge bases
    • 26
    Syntactic Conditional Closures for Defeasible Reasoning
    • 1
    • Highly Influenced
    • PDF
    Resource-Bounded Paraconsistent Inference
    • 20
    • Highly Influenced
    The lexicographic closure as a revision process
    • R. Booth
    • Computer Science, Mathematics
    • J. Appl. Non Class. Logics
    • 2001
    • 5
    • PDF
    Bridging merging prioritized information in possibilistic logic and inconsistency handling methods
    • S. Kaci
    • Mathematics
    • 2005 7th International Conference on Information Fusion
    • 2005
    • PDF
    Towards a Rule-Based Interpretation of Conditional Defaults
    • PDF

    References

    SHOWING 1-10 OF 41 REFERENCES
    Belief Revision and Default Reasoning: Syntax-Based Approaches
    • 210
    • PDF
    A Logical Framework for Default Reasoning
    • D. Poole
    • Mathematics, Computer Science
    • Artif. Intell.
    • 1988
    • 857
    • PDF
    Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning
    • 75
    Extending the ATMS
    • J. D. Kleer
    • Mathematics, Computer Science
    • Artif. Intell.
    • 1986
    • 268
    A Logic for Reasoning with Inconsistent Knowledge
    • N. Roos
    • Mathematics, Computer Science
    • Artif. Intell.
    • 1992
    • 58
    • PDF
    Nonmonotonic Inference Based on Expectations
    • 285