Prioritized logic programming and its application to commonsense reasoning

DOI10.1016/S0004-3702(00)00054-0zbMath0952.68020MaRDI QIDQ1589476

Chiaki Sakama, Katsumi Inoue

Publication date: 12 December 2000

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

abductiondefault reasoningprioritized circumscriptionprioritized logic programs

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items

A Selective Semantics for Logic Programs with Preferences, Logic Programming with Defaults and Argumentation Theories, Solving satisfiability problems with preferences, A Logic Framework for P2P Deductive Databases, Computing weighted solutions in ASP: representation-based method vs. search-based method, A Revised Qualitative Choice Logic for Handling Prioritized Preferences, Prioritized repairing and consistent query answering in relational databases, Implementing Prioritized Circumscription by Computing Disjunctive Stable Models, Formalizing Negotiations Using Logic Programming, Complex optimization in answer set programming, Preference-based inconsistency-tolerant query answering under existential rules, Logic programming and knowledge representation---The A-Prolog perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Saturation, nonmonotonic reasoning and the closed-world assumption
• On the satisfiability of circumscription
• Formalizing nonmonotonic reasoning systems
• A logical framework for default reasoning
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Linear resolution for consequence finding
• Lexicographic priorities in default logic
• Preferred answer sets for extended logic programs
• Minimal belief and negation as failure
• Abduction from logic programs: Semantics and complexity
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Semantics and expressiveness of disjunctive ordered logic
• A fixpoint characterization of abductive logic programs
• Complexity Results for Nonmonotonic Logics
• Algorithm = logic + control
• Negation as failure in the head
• Hypothetical reasoning in logic programs
• Logic programming and knowledge representation
• The complexity of logic-based abduction
• Reliable Semantics for Extended Logic Programs with Rule Prioritization
• Embedding circumscriptive theories in general disjunctive programs
• Abductive Logic Programming