Some representational issues in default reasoning

DOI10.1016/0898-1221(83)90004-4MaRDI QIDQ1056558zbMATH OpenOpenAlexFDO

Authors 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

data basesdefault rulesindexing schemes on logical formulaeintegrityknowledge representationsemantic network

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(15)

• Interpreting network formalisms
• Dispositional logic
• Formalizing nonmonotonic reasoning systems
• 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
• Reasoning with vague default
• Explaining default intuitions using maximum entropy.
• Another perspective on default reasoning
• Model-preference default theories
• The complexity of path-based defeasible inheritance
• Exception and typicality, logically framed
• Foundations of a functional approach to knowledge representation
• Evaluating the effect of semi-normality on the expressiveness of defaults
• An axiomatic analysis of structured argumentation with priorities
• Conditional entailment: bridging two approaches to default reasoning.

This page was built for publication: Some representational issues in default reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1056558)