Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning

DOI10.1007/s10849-008-9057-6zbMath1188.68275MaRDI QIDQ1024815

Johann A. Makowsky, Ariel Cohen, Michael Kaminski

Publication date: 17 June 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-008-9057-6

zbMATH Keywords

anaphora; default logic; rough set theory; indistinguishability; equality; vagueness; sorites; herbrand models

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T37: Reasoning under uncertainty in the context of artificial intelligence

68T50: Natural language processing

Related Items

Indiscriminability as indiscernibility by default

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• A logical framework for default reasoning
• A note on the stable model semantics for logic programs
• A logic for default reasoning
• The mathematics of non-monotonic reasoning
• Positive unit hyperresolution tableaux and their application to minimal model generation
• Rules in incomplete information systems
• A comparative study of open default theories
• Equality and Domain Closure in First-Order Databases
• Rough sets
• Extensions for open default theories via the domain closure assumption
• Open default theories over closed domains