Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Reasoning about knowledge
Linearly anticipatory autonomous agents
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Spatial and Temporal Reasoning
Spatial and Temporal Reasoning
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Hi-index | 0.00 |
Anticipatory agents are agents, which are capable of somehow make predictions in advance based on their own knowledge at present and use the predictions about future to guide their current actions. To construct such an agent, we propose an approach based on temporal relevant logic. We analyze the requirements for logic systems to underlie anticipatory reasoning at first. Secondly, we present a logic family, named “temporal relevant logic,” which can satisfy these requirements. And then we propose a conceptual architecture based on anticipatory reasoning in the framework of temporal relevant logic. At last, we present solutions to some issues about automation of anticipatory reasoning.