Active logic semantics for a single agent in a static world

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

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

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 logicsemanticsautonomous agentssoundnesstimeparaconsistent logicbrittlenessactive logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Paraconsistent logics (03B53) Agent technology and artificial intelligence (68T42)

Related Items (1)

An Approach to Human-Level Commonsense Reasoning

Uses Software

• CCalc

Cites Work

• 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
• 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

This page was built for publication: Active logic semantics for a single agent in a static world