×

兹马思-数学第一资源

在应答集编程中重新编写动作语言\(\mathcal{C}+\)。(英语) Zbl 1357.68222
Erdem,Esra(编辑)等人,正确推理。以逻辑为基础的人工智能论文,以纪念弗拉基米尔·利夫斯基茨。柏林:斯普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265405-421(2012)。
摘要:动作语言是描述动作性质的非单调因果逻辑的高级符号。在因果计算器(CCalc)的第二版中,基于非单调因果逻辑到命题逻辑的简化,实现了‘(\数学{C}+\)的确定片段。另一方面,在这里我们根据稳定模型语义的不同版本,给出了\(\mathcal{C}+\)的确定片段的两种重新表述。第一种形式是根据最近提出的具有内涵函数的公式的稳定模型语义,可以用CSP解算器的输入语言进行编码。第二种重构是基于命题逻辑程序的稳定模型语义,它可以用ASP系统的输入语言进行编码。第二种方法是在第一种方法的基础上通过去掉内涵函数而有利于内涵谓词而得到的。
整个系列请参见[Zbl 1241.68016].

理学硕士:
68T27型 人工智能中的逻辑
68N17 逻辑程序设计
68T15型 定理证明(演绎、解析等)(MSC2010)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Giunciglia,E.,Lee,J.,Lifschitz,V.,McCain,N.,Turner,H.:非单调因果理论。人工智能153(1-2),49-104(2004)·Zbl 1085.68161·doi:10.1016/j.artint.2002.12.001
[2] Giunciglia,E.,Lifschitz,V.:基于因果解释的行动语言:初步报告。国家人工智能会议论文集,第623-630页。人工智能出版社(AA1998)
[3] 麦凯恩,N.:关于行为的常识推理中的因果关系。德克萨斯大学奥斯汀分校博士论文(1997年),ftp://ftp.cs.utexas.edu/pub/techreports/tr97-25.ps.gz
[4] 李,J.:关于动作的自动推理。德克萨斯大学奥斯汀分校博士论文(2005年),http://peace.eas.asu.edu/joolee/papers/discrete.pdf
[5] Gelfond,M.,Lifschitz,V.:逻辑编程的稳定模型语义。在:Kowalski,R.,Bowen,K.(编辑),《国际逻辑程序设计会议和研讨会论文集》,第1070-1080页。麻省理工学院出版社(1988)
[6] Gelfond,M.,Lifschitz,V.:逻辑程序和析取数据库中的经典否定。新一代计算9365–385(1991)·Zbl 0735.68012·doi:10.1007/BF03037169
[7] Ferraris,P.,Lee,J.,Lierer,Y.,Lifschitz,V.,Yang,F.:用逻辑程序表示一阶因果理论。逻辑编程理论与实践(2011),可在CJO 2011上获得,doi:10.1017/S1471068411000081·Zbl 1247.68043·doi:10.1017/S1471068411000081
[8] Casolary,M.,Lee,J.:在答案集编程中表示因果计算器的语言。In:ICLP(技术通信),第51-61页(2011年)·Zbl 1245.68048
[9] Bartholomew,M.,Lee,J.:具有内涵函数的公式的稳定模型。In:知识表示与推理原则国际会议论文集,KR(将于2012年出版)
[10] 费拉里斯:命题理论的答案集。作者:Baral,C.,Greco,G.,Leon,N.,Terracina,G.(编辑),LPNMR 2005。LNCS(LNAI),第3662卷,第119-131页。斯普林格,海德堡(2005)·Zbl 1152.68408号·doi:10.1007/11546207_10
[11] 克拉克:否定是失败。In:Gallaire,H.,Minker,J.(编辑),《逻辑与数据库》,第293-322页。普莱恩出版社,纽约(1978)·doi:10.1007/978-1-4684-3384-5_11
[12] Simons,P.,Niemelä,I.,Soininen,T.:扩展和实现稳定模型语义。人工智能138181–234(2002)·Zbl 0995.68021·doi:10.1016/S0004-3702(02)00187-X
[13] Lee,J.,Palla,R.:系统f2lp——计算一阶公式的答案集。在:Erdem,E.,Lin,F.,Schaub,T.(编辑)LPNMR 2009。LNCS,第5753卷,第515-521页。斯普林格,海德堡(2009)·Zbl 05628781·doi:10.1007/978-3-642-04238-6_51
[14] Ferraris,P.,Lee,J.,Lifschitz,V.:稳定车型的新视角。国际人工智能联席会议论文集,第372-379页(2007)
[15] Ferraris,P.,Lee,J.,Lifschitz,V.:稳定模型和限制。人工智能175236–263(2011)·Zbl 1227.68103·doi:10.1016/j.artint.2010.04.011
[16] 盖尔方德,M.,利夫希茨,V.:动作语言。人工智能电子交易3195–210(1998),http://www.ep.liu.se/ea/cis/1998/016/
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。