×
罗伯特·科瓦尔斯基；法里巴·萨德里

反应计算作为模型生成。 （英语） Zbl 1333.68108号

新一代计算。 33，第1号，33-67（2015）.
摘要：在本文中，我们提出了一个基于逻辑的框架，该框架受到人工智能的启发，但针对实际数据库和编程应用程序进行了缩小。框架中的计算被视为生成一系列状态转换的任务，目的是实现代理的所有目标。状态由一组原子语句（或事实）表示，表示程序变量的值、协调语言中的元组、关系数据库中的事实或Herbrand模型。{}在模型理论语义中，通过将时间戳与事实和事件关联，将整个状态和事件序列组合成一个单一的模型理论结构。但在操作语义中，事实是破坏性地更新的，没有时间戳。我们表明，由破坏性更新生成的模型与由包含时间戳的事实推理生成的模型相同。我们还使用意向谓词和复合事件谓词扩展了模型，这些谓词由一阶逻辑中包含查询当前状态的条件的逻辑程序。

引用于9文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
03B70号 计算机科学中的逻辑
68N17号 逻辑编程
第68页，共15页 数据库理论
68问题55 计算理论中的语义学
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

状态转换系统；无功系统；复合事件处理；模型生成；框架问题

软件：

METATEM公司；代理发言；高尔夫
PDF格式BibTeX公司 XML格式引用
\textit{R.Kowalski}和\textit{F.Sadri}，新一代计算。33，第1号，33-67（2015年；兹bl 1333.68108）
全文： 内政部

参考文献：

[1] Abiteboul，S.、Hull，R.和Vianu，V.，数据库基础，Addison-Wesley，1995年·Zbl 0848.68031号
[2] Agotnes，T.、Van Der Hoek，W.、Rodriguez Aguilar，J.A.、Sierra，C.和Wooldridge，M.“关于规范体系的逻辑”，Proc。第二十届国际人工智能联合会议（IJCAI'07），第1181-1186页，2007年·兹比尔1156.03017
[3] Alferes，J.J.、Banti，F.和Brogi A.，“事件-条件-动作逻辑编程语言”，第十届欧洲人工智能逻辑会议。JELIA 06，《人工智能讲义4160》，施普林格出版社，第29-42页，2006年·兹比尔1152.68397
[4] Bailey，J.、Georgeff，M.、Kemp，D.、Kinny，D.和Ramamohanarao，K.，“主动数据库和代理系统——比较”，《数据库系统中的规则》，第342-356页，1995年。
[5] Baral，C.和Lobo，J.，“使用逻辑编程和情境演算表征生产系统”http://www.cs.utep.edu/baral/papers/char-prod-systems.ps, 1995.
[6] Bonner，A.和Kifer，M.，《逻辑编程：程序》中的“事务逻辑编程”。第十届国际会议（Warren D.S.编辑），第257-279页，1993年。
[7] Brogi，A.，Leite，J.A.和Pereira，L.M.，《进化逻辑程序》，第八届欧洲人工智能逻辑会议（JELIA'02）（S.Flesca，S.Greco，N.Leone，G.Ianni Eds.），LNCS 2424，Springer-Verlag，第50-612002页·Zbl 1014.68534号
[8] Cal，A.，Gottlob，G.，和Lukasiewicz，T.，“数据日志”：本体论和完整性约束的统一方法”，Proc。第12届数据库理论国际会议，第14-30页，ACM，2009年。
[9] Carrierro，N.和Gelernter，D.，“Linda in Context”，《ACM通信》，32（4），1989年·Zbl 0806.68015号
[10] Costantini，S.和Tocchio，A.，“面向代理的DALI逻辑编程语言”，载于JELIA 2004。LNCS（LNAI），第3229卷（Alferes，J.J.，Leite，J.Eds.），斯普林格，海德堡，第685-688页，2004年·Zbl 1110.68499号
[11] Damásio，C.，Alferes，J.和Leite，J.，“规则交换格式生成规则方言的声明语义”，《语义网-ISWC 2010》，第798-813页，2010年。
[12] Dovier，A.、Formisano，A.和Pontelli，E.，“自治代理协调：动作语言符合CLP（FD）和Linda”，逻辑编程理论与实践，2012年·Zbl 1267.68079号
[13] Eiter，T.、Subrahmanian，V.S.和G Pick，G.，“异质活性剂，I”，《人工智能期刊》，108（1-2），第179-255页，1999年·Zbl 0914.68123号
[14] Eiter，T.、Feier，C.和Fink，M.，“使用ACTHEX模拟生产规则”，《正确推理》，第211-228页，2012年·Zbl 1357.68217号
[15] Fernandes，A.A.A.、Williams，M.H.和Paton，N.，“基于逻辑的主动和演绎数据库集成”，《新一代计算》，15（2），第205-244页，1997年。
[16] Fikes，R.E.和Nilsson，N.J.，“STRIPS:将定理证明应用于问题解决的新方法”，《人工智能》，2（3），第189-2008页，1972年·Zbl 0234.68036号
[17] Fisher，M.，“并发METATEM的调查——语言及其应用”，计算机科学课堂讲稿，827，Springer Verlag第480-505页，1994年·Zbl 0949.68532号
[18] Gelfond，M.和Lifschitz，V.，“逻辑编程的稳定模型语义”，《第五届逻辑编程国际会议论文集》，第1070-1080页，1988年。
[19] Gurevich，Y.，“进化代数1993:Lipari指南”，规范和验证方法，第9-36页，1995年·Zbl 0852.68053号
[20] Harel，D.，“状态图：复杂系统的视觉形式主义”，《科学》。计算。编程8，第231-274页，1987年·Zbl 0637.68010号
[21] Hausmann，S.、Scherr，M.和Bry，F.，“事件处理的复杂动作”，慕尼黑大学信息学研究所研究报告，2012年。
[22] Hellerstein，J.M.，“声明性命令：分布式逻辑中的经验和猜想”，SIGMOD记录39（1），2010年。
[23] Kakas，A.C.、Kowalski，R.和Toni，F.，“逻辑编程在诱拐中的作用”，《人工智能和编程中的逻辑手册5》，牛津大学出版社，第235-324页，1998年·Zbl 0889.03001号
[24] Kakas，A.C.、Mancarella，P.、Sadri，F.、Stathis，K和Toni，F.，“KGP代理模式”。ECAI-20042004年·Zbl 1182.68279号
[25] Khandelwal A.，Fox P.：“环境事件微积分中通过聚集体的加性效应的一般描述”，技术报告，计算机科学。纽约伦斯勒理工学院（2012）
[26] Knuth，D.E.，《计算机编程的艺术》。第一卷：基本算法，Addison-Wesley，1973年·Zbl 0191.17903号
[27] Kowalski，R.，“作为编程语言的谓词逻辑”，载于IFIP大会，第74卷，第569-5441974页·Zbl 0297.68006号
[28] Kowalski，R.和Sadri，F.，“从逻辑编程到多智能体系统”，《数学和人工智能年鉴》，第25卷，第391-419页，1999年·Zbl 0940.68017号
[29] Kowalski，R.和Sadri，F.，“在诱拐逻辑编程代理中集成逻辑编程和产生系统”，《第三届网络推理和规则系统国际会议论文集》，美国弗吉尼亚州尚蒂利，2009年。
[30] Kowalski，R.和Sadri，F.，《具有破坏性赋值和模型理论语义的代理语言》。第11届多智能体系统计算逻辑国际研讨会（CLIMA），Dix J.，Leite J.，Governatori G.，Jamroga W.（编辑），第200-218页，2010年·Zbl 1286.68417号
[31] Kowalski，R.和Sadri，F.，“具有破坏性数据库的诱拐逻辑编程代理”，《数学与人工智能年鉴》，62（1），第129-158页，2011年·Zbl 1230.68200号
[32] Kowalski，R.和Sadri，F.，“反应系统的基于逻辑的框架”，载于《网络规则：研究与应用》，2012年（A.Bikakis和A.Giurca编辑），LNCS 7438，Springer-Verlag，第1-15页，2012年。
[33] Kowalski，R.和Sergot，M.，《基于逻辑的事件演算》，载于《新一代计算》，4（1），第67-95页，1986年·Zbl 1356.68221号
[34] Lausen，G.，Ludäscher，B.和May，W.，“关于主动演绎数据库：状态日志方法”，逻辑数据库中的事务和变化（Decker，H.，Freitag B.，Kifer，M.，Voronkov，A.Eds.），LNCS 1472，Springer，1998年·Zbl 0903.68066号
[35] Levesque，H.J.、Reiter，R.、Lesperance，Y.、Lin，F.和Scherl，R.B.，“GOLOG:动态域的逻辑编程语言”，《逻辑编程杂志》，31（1），第59-83页，1997年·兹比尔0880.68008
[36] Lloyd，J.W.和Topor，R.W.，“使PROLOG更具表达性”，《逻辑编程杂志》1（3），第225-240页，1984年·Zbl 0584.68022号
[37] Loo，B.T.，Condie，B.T..，Garofalakis，M.，Gay，D.E.，Hellerstein，J.M.，Maniatis，P.，Ramakrishnan，R.，Roscoe，T.，and Stoica，I.，“声明性网络”，载于《ACM通信》（CACM），2009年。
[38] Mancarella，P.、Terreni，G.、Sadri，F.、Toni，F.和Endriss，U.，“带约束的外推逻辑程序设计的CIFF证明程序：理论、实现和实验”，逻辑程序设计理论与实践，2009年·Zbl 1184.68161号
[39] Manna，Z.和Pnueli，A.，《反应和并发系统的时序逻辑：规范》。第1卷，施普林格出版社，1992年·Zbl 0753.68003号
[40] McCarthy，J.和Hayes，P.，“从人工智能的角度来看的一些哲学问题”，《机器智能4》，爱丁堡大学出版社。第463-5021969页·Zbl 0226.68044号
[41] Miller R.和Shanahan，M.，“事件演算的一些替代公式”，计算逻辑：逻辑编程及其以外，Springer-Verlag，第452-490页，2002年·Zbl 1012.68192号
[42] 尼古拉斯·J·M。；加莱尔，H。；Gallaire，H.（编辑）；Minker，J.（编辑），“数据库：理论与解释”（1978年），纽约
[43] Przymusinski，T.，“关于分层演绎数据库和逻辑程序的声明语义”，《演绎数据库和逻辑学编程基础》（Morgan Kaufmann，J.Minker Ed.），第193-216页，1987年。
[44] Rao，A.，“AgentSpeak（L）：BDI代理用逻辑计算语言说话”，agents Breaking Away，第42-55页，1996年。
[45] Rao，A.S.和Georgeff，M.P.，“BDI代理：从理论到实践”，多代理系统国际会议，第312-319页，1995年。
[46] Raschid，L.，“一类分层生产系统程序的语义”，J.Log。程序。21（1），第31-57页，1994年·Zbl 0811.68094号
[47] Reisig，W.，“抽象状态机的表达能力”，《计算与信息学》，第22卷，第209-2192003页·兹比尔1104.68507
[48] Rezk，M.和Kifer，M.，“用基于规则的本体规范化生产系统”，《信息和知识系统基础》，第332-351页，2012年。
[49] Shanahan，M.，《解决框架问题：常识惯性定律的数学研究》，麻省理工学院出版社，1997年。
[50] Thielscher，M.，“FLUX：推理机的逻辑编程方法”，《逻辑编程理论与实践》，5（4-5），第533-5652005页·Zbl 1105.68333号
[51] Turner，H.，“非单调因果逻辑”，载于《人工智能基础》第3卷（Frank van Harmelen、Vladimir Lifschitz和Bruce Porter编辑），Elsevier，第759-7762008页。
[52] Van Gelder，A.、Ross，K.A.和Schlipf，J.S.，“通用逻辑程序的良好语义”，《美国计算机学会杂志》（JACM），38（3），第619-649页，1991年·Zbl 0799.68045号
[53] Zaniolo，C.，“关于主动数据库和演绎数据库的统一”，第11届英国国家数据库会议，第23-39页，1993年。
[54] Kowalski，R.和Sadri，F.，“反应系统语言的完整性”，伦敦帝国理工学院计算系，2014年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。