Skip to main navigation Skip to search Skip to main content

Two Problems with Reasoning and Acting in Time

  • SUNY Buffalo

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

16 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, KR 2000
EditorsAnthony G. Cohn, Fausto Giunchiglia, Bart Selman
PublisherAssociation for the Advancement of Artificial Intelligence
Pages355-365
Number of pages11
ISBN (Electronic)1558606904, 9781558606906
StatePublished - 2000
Event7th International Conference on Principles of Knowledge Representation and Reasoning, KR 2000 - Breckenridge, United States
Duration: Apr 11 2000Apr 15 2000

Publication series

NameProceedings of the International Conference on Knowledge Representation and Reasoning
ISSN (Print)2334-1025
ISSN (Electronic)2334-1033

Conference

Conference7th International Conference on Principles of Knowledge Representation and Reasoning, KR 2000
Country/TerritoryUnited States
CityBreckenridge
Period04/11/0004/15/00

Fingerprint

Dive into the research topics of 'Two Problems with Reasoning and Acting in Time'. Together they form a unique fingerprint.

Cite this