A preliminary excursion into step-logics
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Steps towards a first-order logic of explicit and implicit belief
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
SOAR: an architecture for general intelligence
Artificial Intelligence
Belief, awareness, and limited reasoning
Artificial Intelligence
Knowledge and the problem of logical omniscience
Proceedings of the Second International Symposium on Methodologies for intelligent systems
Reasoning situated in time I: basic concepts
Journal of Experimental & Theoretical Artificial Intelligence
Thinking takes time: a modal active-logic for reasoning IN time
Thinking takes time: a modal active-logic for reasoning IN time
Logic and representation
Reasoning about knowledge
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
A Deduction Model of Belief
Ascribing beliefs to resource bounded agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Computationally Grounded Theories of Agency
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Reasoning about confidentiality at requirements engineering time
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A logic of reasoning, communication and cooperation with syntactic knowledge
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Verifying time, memory and communication bounds in systems of reasoning agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Verifying Space and Time Requirements for Resource-Bounded Agents
Model Checking and Artificial Intelligence
Journal of Logic, Language and Information
Epistemic Logic for Rule-Based Agents
Journal of Logic, Language and Information
Knowing Minimum/Maximum n Formulae
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
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
Specifying and verifying a MAS: the robots on mars case study
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Specifying recursive agents with GDTs
Autonomous Agents and Multi-Agent Systems
Complete axiomatizations of finite syntactic epistemic states
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Strongly complete axiomatizations of “knowing at most” in syntactic structures
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The semantics of TRL is grounded in the agentýs computation, allowing an unambiguous ascription of the set of formulas which the agent actually knows at time t. We show that TRL can capture various rule application and conflict resolution strategies that a rule-based agent may employ, and analyse two examples in detail: TRL(STEP) which models an all rules at each cycle strategy similar to that assumed in step logic [5], and TRL(CLIPS) which models a single rule at each cycle strategy similar to that employed by the CLIPS [22] rule based system architecture.We prove a general completeness and decidability results for TRL(STEP).