Some representational issues in default reasoning

DOI10.1016/0898-1221(83)90004-4zbMath0523.68082OpenAlexW3023072795MaRDI QIDQ1056558

Raymond Reiter, Giovanni Criscuolo

Publication date: 1983

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(83)90004-4

zbMATH Keywords

knowledge representationintegritydata basessemantic networkdefault rulesindexing schemes on logical formulae

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Information storage and retrieval of data (68P20)

Related Items

Dispositional logic, Formalizing nonmonotonic reasoning systems, Model-preference default theories, On the combination of uncertain or imprecise pieces of information in rule-based systems - A discussion in the framework of possibility theory, The anomalous extension problem in default reasoning, Another perspective on default reasoning, An axiomatic analysis of structured argumentation with priorities, Explaining default intuitions using maximum entropy., The complexity of path-based defeasible inheritance, Conditional entailment: bridging two approaches to default reasoning., Reasoning with vague default, Interpreting network formalisms, Foundations of a functional approach to knowledge representation, Evaluating the effect of semi-normality on the expressiveness of defaults

Cites Work

• A logic for default reasoning
• Extended inference modes in reasoning by computer systems
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• Nonmonotonic Logic II
• A Proof Procedure Using Connection Graphs
• Discussion and correspondence: A note on the Towers of Hanoi problem