×

在答案集编程中重新设置动作语言\(\mathcal{C}+\)。 (英语) Zbl 1357.68222号

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

MSC公司:

68T27型 人工智能中的逻辑
68N17号 逻辑编程
68吨15 定理证明(演绎、解析等)(MSC2010)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Giunchiglia,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] Giunchiglia,E.,Lifschitz,V.:基于因果解释的动作语言:初步报告。摘自:《国家人工智能会议论文集》,第623-630页。AAAI出版社(1998)
[3] 麦凯恩,N.:关于行动的常识推理中的因果关系。德克萨斯大学奥斯汀分校博士论文(1997年),ftp://ftp.cs.utexas.edu/pub/tech报告/tr97-25.ps.gz
[4] Lee,J.:行动的自动推理。德克萨斯大学奥斯汀分校博士论文(2005年),http://peace.eas.asu.edu/joolee/papers/学位论文.pdf
[5] Gelfond,M.,Lifschitz,V.:逻辑编程的稳定模型语义。收录于:Kowalski,R.,Bowen,K.(编辑)《国际逻辑编程会议和研讨会论文集》,第1070–1080页。麻省理工学院出版社(1988)
[6] Gelfond,M.,Lifschitz,V.:逻辑程序和析取数据库中的经典否定。新一代计算9,365–385(1991)·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[7] Ferraris,P.,Lee,J.,Lierler,Y.,Lifschitz,V.,Yang,F.:用逻辑程序表示一阶因果理论。逻辑编程理论与实践(2011),可在CJO 2011上获得,doi:10.1017/S147106841100081·Zbl 1247.68043号 ·doi:10.1017/S147106841100081
[8] Casolary,M.,Lee,J.:在答案集编程中表示因果计算器的语言。In:ICLP(技术通信),第51–61页(2011年)·Zbl 1245.68048号
[9] Bartholomew,M.,Lee,J.:具有内涵函数的公式的稳定模型。收录于:韩国知识表示与推理原则国际会议论文集(2012年出版)
[10] Ferraris,P.:命题理论的答案集。收录于:Baral,C.,Greco,G.,Leone,N.,Terracina,G.(编辑)LPNMR 2005。LNCS(LNAI),第3662卷,第119-131页。斯普林格,海德堡(2005)·Zbl 1152.68408号 ·doi:10.1007/11546207_10
[11] 克拉克:否定就是失败。摘自:Gallaire,H.,Minker,J.(编辑)《逻辑和数据库》,第293–322页。纽约Plenum出版社(1978)·doi:10.1007/978-1-4684-3384-5_11
[12] Simons,P.,Niemelä,I.,Soininen,T.:扩展和实现稳定的模型语义。人工智能138、181–234(2002)·Zbl 0995.68021号 ·doi:10.1016/S0004-3702(02)00187-X
[13] Lee,J.,Palla,R.:系统f2lp–计算一阶公式的答案集。In: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.:稳定模型的新视角。摘自:国际人工智能联合会议(IJCAI)会议记录,第372-379页(2007年)
[15] Ferraris,P.,Lee,J.,Lifschitz,V.:稳定模型和界限。人工智能175、236–263(2011)·Zbl 1227.68103号 ·doi:10.1016/j.artint.2010.04.011
[16] Gelfond,M.,Lifschitz,V.:动作语言。《人工智能电子交易》3195-210(1998),http://www.ep.liu.se/ea/cis/1998/016/
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。