娜塔莎·亚历奇纳 逻辑和代理编程语言。 （英语） Zbl 1394.68049号 利布金，列奥尼德（编辑）等人，《逻辑、语言、信息和计算》。2013年8月20日至23日，德国达姆施塔特WoLLIC 2013第20届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39991-6/pbk）。计算机科学课堂讲稿8071，1-10（2013）。 概要：基于信念、愿望和意图（BDI）框架的Agent编程语言为逻辑学家提出了一些有趣的挑战。虽然BDI逻辑已经得到了广泛的研究，但在BDI代理编程语言中与信念更新和计划分析相关的问题却很少受到关注。有关整个系列，请参见[Zbl 1270.03021号]。 引用于1文件 MSC公司： 68甲15 编程语言理论 第68页第27页 人工智能中的逻辑 软件：2APL公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}，莱克特。注释计算。科学。8071，1-10（2013；Zbl 1394.68049） 全文： 内政部