Non-monotonic logic. I

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

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 theory proof theory incomplete information non-monotonic logic truth maintenance systems non-monotonic predicate calculus non-monotonic sentential calculus

Mathematics Subject Classification ID

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

Related Items

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, All I know: A study in autoepistemic logic, Conditional entailment: bridging two approaches to default reasoning., Autoepistemic answer set programming, Negation in rule-based database languages: A survey, On the relation between default and modal nonmonotonic reasoning, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, From environments to representations -- a mathematical theory of artificial perceptions, Default logic generalized and simplified, A non-preferential semantics of non-monotonic modal logic, Reasoning with vague default, Non-monotonic fuzzy reasoning, An overview of fuzzy quantifiers. II. Reasoning and applications, Any-world assumptions in logic programming, Logic programs, well-orderings, and forward chaining, A computational approach to fuzzy quantifiers in natural languages, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Some representational issues in default reasoning, Uniform semantic treatment of default and autoepistemic logics, Foundations of a functional approach to knowledge representation, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games, In search of a ``true logic of knowledge: The nonmonotonic perspective, Semantical considerations on nonmonotonic logic, The complexity of predicate default logic over a countable domain, Plausible inferences and plausible reasoning, On the scoring approach to admissibility of uncertainty measures in expert systems, Logic programming and knowledge representation---The A-Prolog perspective, Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!), Fuzzy autoepistemic logic and its relation to fuzzy answer set programming, Automated theorem proving in temporal logic: \(T\)-resolution, Introduction: Progress in formal commonsense reasoning

Cites Work