Non-monotonic logic. I

DOI10.1016/0004-3702(80)90012-0zbMath0435.68074OpenAlexW1996347293MaRDI QIDQ1140441

Jon Doyle, Drew McDermott

Publication date: 1980

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

Full work available at URL: https://doi.org/10.1016/0004-3702(80)90012-0

zbMATH Keywords

model theoryproof theoryincomplete informationnon-monotonic logictruth maintenance systemsnon-monotonic predicate calculusnon-monotonic sentential calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Related Items (only showing first 100 items - show all)

Dynamic Reasoning Systems ⋮ Unnamed Item ⋮ Algebraic semantics for modal and superintuitionistic non-monotonic logics ⋮ The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics ⋮ On embedding default logic into Moore's autoepistemic logic ⋮ Nonmonotonic inheritance, argumentation and logic programming ⋮ A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption ⋮ Talkin'bout consistency, or: When logically possible becomes possible ⋮ On the semantics of the unknown ⋮ On-line algorithms for satisfiability problems with uncertainty ⋮ REWARD VERSUS RISK IN UNCERTAIN INFERENCE: THEOREMS AND SIMULATIONS ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ Nonmonotonic reasoning based on incomplete logic ⋮ A survey of non-monotonic reasoning ⋮ A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence ⋮ Thirteen Definitions of a Stable Model ⋮ Information tradeoffs in model building: A network routing application ⋮ Argumentation Theory and Decision Aiding ⋮ A GENERALIZED VIEW OF NONMONOTONIC KNOWLEDGE: A SET OF THEORETIC PERSPECTIVE ⋮ Displaying the modal logic of consistency ⋮ On decision-theoretic foundations for defaults ⋮ An argument-based approach to reasoning with specificity ⋮ Gelfond-Zhang aggregates as propositional formulas ⋮ Strong Backdoors for Default Logic ⋮ Brief study of G'₃ logic ⋮ A uniform tableaux method for nonmonotonic modal logics ⋮ Reasoning with Uncertainty in Deductive Databases and Logic Programs ⋮ Twelve Definitions of a Stable Model ⋮ ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS ⋮ Probabilistic Modeling of Default Reasoning ⋮ A context for belief revision: forward chaining-normal nonmonotonic rule systems ⋮ Minimal knowledge problem: A new approach ⋮ Two counterexamples related to Baker's approach to the frame problem ⋮ A logic to reason about likelihood ⋮ Motivated action theory: A formal theory of causal reasoning ⋮ Revisiting da Costa logic ⋮ Variable precision logic ⋮ Possible world semantics and autoepistemic reasoning ⋮ Dispositional logic ⋮ Preferences in artificial intelligence ⋮ Formalizing nonmonotonic reasoning systems ⋮ Interpretations of open default theories in non-monotonic logics ⋮ Counterfactual reasoning by (means of) defaults ⋮ A skeptical theory of inheritance in nonmonotonic semantic networks ⋮ Modal logic for default reasoning ⋮ Development of inductive inference algorithms using decision trees ⋮ A natural semantics for modal logic over databases ⋮ An approach to default reasoning based on a first-order conditional logic: Revised report ⋮ A logical framework for default reasoning ⋮ Multi-modal nonmonotonic logics of minimal knowledge ⋮ Autocircumscription ⋮ Semantics-based nonmonotonic inference ⋮ A first-order conditional logic for prototypical properties ⋮ Nonmonotonic logic and temporal projection ⋮ Expert system models for inference with imperfect knowledge: A comparative study ⋮ Efficient reasoning about rich temporal domains ⋮ On the relationship between circumscription and negation as failure ⋮ An algorithm to compute circumscription ⋮ Fixed points in propositional nonmonotonic logic ⋮ A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic ⋮ Results on translating defaults to circumscription ⋮ Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning ⋮ Logic programming and reasoning with incomplete information ⋮ Modal nonmonotonic logics demodalized ⋮ Brain-like computing based on distributed representations and neurodynamics ⋮ Abduction from logic programs: Semantics and complexity ⋮ In search of a ``true logic of knowledge: the nonmonotonic perspective ⋮ Defaults in domain theory ⋮ Autoepistemic logic revisited ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Addendum: Circumscription and other non-monotonic formalisms ⋮ Definability and commonsense reasoning ⋮ On the associations between variables in expert systems including default relations ⋮ Pluralistic evaluation of belief plausibility and its application to nonmonotonic reasoning ⋮ Updating knowledge bases ⋮ Revisiting \(\mathbb Z\) ⋮ Dynamics of inductive inference in a unified framework ⋮ General logical databases and programs: Default logic semantics and stratification ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ Defeasible conditionalization ⋮ Programming in temporal-nonmonotonic reasoning ⋮ Impediments to universal preference-based default theories ⋮ The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning ⋮ Default knowledge and measures of specificity ⋮ A general framework for reason maintenance ⋮ The theory of nomic probability ⋮ On-line algorithms for satisfiability problems with uncertainty ⋮ Annotated nonmonotonic rule systems ⋮ What does a conditional knowledge base entail? ⋮ An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ A logic of knowledge and justified assumption ⋮ How to reason defeasibly ⋮ John McCarthy's legacy ⋮ Semantics and complexity of recursive aggregates in answer set programming ⋮ From systems to logic in the early development of nonmonotonic reasoning ⋮ Semantics for a theory of defeasible reasoning ⋮ Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics ⋮ Local logics, non-monotonicity and defeasible argumentation ⋮ Using approximate reasoning to represent default knowledge

Cites Work

• Intuitionism. An introduction
• A logic for default reasoning
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• STRIPS: A new approach to the application of theorem proving to problem solving
• On a Question of Frege's about Right-Ordered Groups
• A Human Oriented Logic for Automatic Theorem-Proving
• Outline of a Theory of Truth
• A Machine-Oriented Logic Based on the Resolution Principle
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Non-monotonic logic. I