Active logic semantics for a single agent in a static world

DOI10.1016/j.artint.2007.11.005zbMath1183.68593WikidataQ57728575 ScholiaQ57728575MaRDI QIDQ2389647

J. R. Grant, Walid Gomaa, Michael L. Anderson, Don Perlis

Publication date: 17 July 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2007.11.005

zbMATH Keywords

nonmonotonic logic; semantics; autonomous agents; soundness; time; paraconsistent logic; brittleness; active logic

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

03B53: Paraconsistent logics

68T42: Agent technology and artificial intelligence

Related Items

An Approach to Human-Level Commonsense Reasoning

Uses Software

• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• Nonmonotonic causal theories
• Reasoning with limited resources: active logics expressed as labelled deductive systems
• Towards a general theory of action and time
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logical framework for default reasoning
• Nonmonotonic logic and temporal projection
• A logic for default reasoning
• Applications of paraconsistency in data and knowledge bases
• Handbook of philosophical logic. Vol. 9
• On inference from inconsistent premisses
• How to (plan to) meet a deadline between now and then