A general scheme for formalizing defaults using the predicate \(ab(I,S)\)

DOI10.1007/BF02946523zbMath0920.68133OpenAlexW2049260568MaRDI QIDQ1288437

Yi-Dong Shen

Publication date: 13 September 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946523

zbMATH Keywords

common sense reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) General topics in artificial intelligence (68T01)

Cites Work

• A theory of diagnosis from first principles
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonicity and the scope of reasoning
• Unnamed Item

This page was built for publication: A general scheme for formalizing defaults using the predicate \(ab(I,S)\)