Automated inference in active logics

DOI10.1080/11663081.1996.10510864zbMATH Open0845.68096OpenAlexW2023463719MaRDI QIDQ4868232FDOQ4868232

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

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

zbMATH Keywords

commonsense reasoningobjects misidentification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• 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
• Title not available (Why is that?)

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)