Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences
SOAR: an architecture for general intelligence
Artificial Intelligence
Belief, awareness, and limited reasoning
Artificial Intelligence
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Thinking takes time: a modal active-logic for reasoning IN time
Thinking takes time: a modal active-logic for reasoning IN time
Reasoning about knowledge
Building cognitively rich agents using the SIM_Agent toolkit
Communications of the ACM
Developing multi-agent systems with a FIPA-compliant agent framework
Software—Practice & Experience
Modal logic
A Deduction Model of Belief
Alternating-time temporal logic
Journal of the ACM (JACM)
Annals of Mathematics and Artificial Intelligence
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Logical Omniscience vs. Logical Ignorance on a Dilemma of Epistemic Logic
EPIA '95 Proceedings of the 7th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Complete and Decidable Logic for Resource-Bounded Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
A nonstandard approach to the logical omniscience problem
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A logic of reasoning, communication and cooperation with syntactic knowledge
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modal logics for communicating rule-based agents
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Automating belief revision for agentspeak
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Seeing, knowledge and common knowledge
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
| Hi-index | 0.00 |
The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic logics, as opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results.