We argue for the value of examining the internal processes that robots might actually use to draw inferences in a timely way in a dynamic world. This requires a significantly different way of thinking about logic and reasoning, which in turn bears on some traditional logic-related problems such as omniscience and reasoning in the presence of a contradiction, as well as on a wide variety of other AI issues. A nonstandard internally-evolving notion of time seems to be the key that unlocks other tools.
|CEUR Workshop Proceedings
|Published - 2017
|13th International Symposium on Commonsense Reasoning, COMMONSENSE 2017 - London, United Kingdom
Duration: 6 Nov 2017 → 8 Nov 2017
Bibliographical notePublisher Copyright:
© 2017 CEUR-WS. All rights reserved.