Author:
Lee Huaming,Tannock James,Williams Jon Sims
Abstract
AbstractReasoning about actions and plans is a vital aspect of the rational behaviour of intelligent agents, and hence represents a major research domain in artificial intelligence. Much work has been undertaken to develop logic-based formalisms and problem solving procedures for plan representation and plan synthesis. This paper consists of a survey of various paradigms for reasoning about actions and plans in artificial intelligence. Attention is focused on the logic-based theoretical frameworks which have built a formal foundation for the domain-independent approaches to the general principles of reasoning about actions and plans.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A survey of imperatives and action representation formalisms;Artificial Intelligence Review;2016-07-29
2. Reasoning about Time;Encyclopedia of Cognitive Science;2006-01-15
3. Temporal agent programs;Artificial Intelligence;2001-03
4. Temporal representation and reasoning in artificial intelligence: Issues and approaches;Annals of Mathematics and Artificial Intelligence;2000
5. Representation and reasoning in computer aided process planning;Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture;1997-06-01