TY - GEN
T1 - Two Problems with Reasoning and Acting in Time
AU - Ismail, Haythem O.
AU - Shapiro, Stuart C.
N1 - Publisher Copyright:
© 2000 by Morgan Kaufmann Publishers. All rights reserved.
PY - 2000
Y1 - 2000
N2 - Natural language competent embodied cogni tive agents should satisfy two requirements. First, they should act in and reason about a changing world, using reasoning in the ser vice of acting and acting in the service of reasoning. Second, they should be able to communicate their beliefs, and report their past, ongoing, and future actions in natural language. This requires a representation of time using a deictic NOW, that models the compositional semantic properties of the En glish "now". Two problems emerge for an agent that interleaves reasoning and acting in a personal time. The first concerns the repre sentation of plans and reactive rules involving reasoning about "future NOWs". The sec ond emerges when, in the course of reason ing about NOW, the reasoning process itself results in NOW changing. We propose solu tions for the two problems and conclude that: (i) for embodied cognitive agents, time is not just the object of reasoning, but is embedded in the reasoning process itself; and (ii) at any time, there is a partonomy of NOWs repre senting the agent's sense of the current time at different levels of granularity.
AB - Natural language competent embodied cogni tive agents should satisfy two requirements. First, they should act in and reason about a changing world, using reasoning in the ser vice of acting and acting in the service of reasoning. Second, they should be able to communicate their beliefs, and report their past, ongoing, and future actions in natural language. This requires a representation of time using a deictic NOW, that models the compositional semantic properties of the En glish "now". Two problems emerge for an agent that interleaves reasoning and acting in a personal time. The first concerns the repre sentation of plans and reactive rules involving reasoning about "future NOWs". The sec ond emerges when, in the course of reason ing about NOW, the reasoning process itself results in NOW changing. We propose solu tions for the two problems and conclude that: (i) for embodied cognitive agents, time is not just the object of reasoning, but is embedded in the reasoning process itself; and (ii) at any time, there is a partonomy of NOWs repre senting the agent's sense of the current time at different levels of granularity.
UR - https://www.scopus.com/pages/publications/105030462259
M3 - Conference contribution
AN - SCOPUS:105030462259
T3 - Proceedings of the International Conference on Knowledge Representation and Reasoning
SP - 355
EP - 365
BT - Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, KR 2000
A2 - Cohn, Anthony G.
A2 - Giunchiglia, Fausto
A2 - Selman, Bart
PB - Association for the Advancement of Artificial Intelligence
T2 - 7th International Conference on Principles of Knowledge Representation and Reasoning, KR 2000
Y2 - 11 April 2000 through 15 April 2000
ER -