Automated inference in active logics

DOI10.1080/11663081.1996.10510864MaRDI QIDQ4868232zbMATH OpenOpenAlexFDO

Authors

Publication date 17 April 1996

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1996.10510864

zbMATH Keywords

commonsense reasoningobjects misidentification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• An approach to human-level commonsense reasoning
• Active logic semantics for a single agent in a static world
• scientific article; zbMATH DE number 4104925
• Publication:4207612
• Operational concepts of nonmonotonic logics. II: Autoepistemic logic

Cites work

• scientific article; zbMATH DE number 3954297 (Why is no real title available?)
• Belief, awareness, and limited reasoning
• Generality in artificial intelligence
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Maintaining mental models of agents who have existential misconceptions

Cited in

(1)

• Active logic semantics for a single agent in a static world

This page was built for publication: Automated inference in active logics

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