贾斯汀·布朗特;迈克尔·盖尔芬德 推理代理人的意图。 （英语） Zbl 1356.68213号 亚历山大·阿提基斯（编辑）等人，《逻辑程序、规范和行动》。纪念马雷克·塞尔戈特60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-29413-6/pbk）。计算机科学课堂讲稿7360。人工智能课堂讲稿，147-171（2012）。 摘要：在本文中，我们进一步发展了C.巴拉尔和M.Gelfond先生[“预期行动的推理”，摘自：第20届全国人工智能会议论文集，AAAI'05。加利福尼亚州帕洛阿尔托：AAAI出版社。689–694 (2005)]. 在这项工作中，作者将打算执行一系列动作的代理的行为形式化。由此产生的用知识表示语言Answer Set Prolog编写的意图公理可以很容易地表达意图的属性，如持久性和非拖延性。本文扩展了这项工作，以允许在出现意外观察时进行意图推理，以及实现目标的意图。该理论是在回答集Prolog的扩展中形成的，称为CR-Prolog。关于整个系列，请参见[Zbl 1241.68007号]. 引用于2文件 MSC公司： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 68立方英尺 知识表示 软件：烟雾;代理峰值;Potassco公司 PDF格式BibTeX公司 XML格式引用 \textit｛J.Blount｝和\textit｛M.Gelfond｝，Lect。注释计算。科学。7360、147--171（2012；Zbl 1356.68213） 全文： DOI程序