×

模块化动作语言\(\mathcal{ALM}\)。 (英语) Zbl 1379.68297号

摘要:本文介绍了一种新的模块化动作语言,并说明了其使用方法。它基于以下方法M.Gelfond先生V.利夫希茨[J.Log.Program.17,No.2-4,301-321(1993;Zbl 0783.68024号); “动作语言”,Electron。事务处理。AI 3,No.16,193–210(1998)],其中使用高级动作语言作为逻辑编程系统描述的前端。生成的逻辑编程表示用于执行各种计算任务。基于现有动作语言的方法适用于小型甚至中型系统,但并不适用于需要知识结构.\(\mathcal{ALM}\)旨在解决此问题。(\mathcal{ALM}\)中的知识结构由以下概念支持模块(将特定知识打包为一个单元的正式描述),模块层次结构,以及图书馆,并将系统描述\(\mathcal{ALM}\)分为两部分:理论结构.A型理论由一个或多个具有公共主题的模块组成,可能根据依赖关系它包含域的种类、属性和属性的声明,以及描述它们的公理。结构用于描述域的对象。这些功能,以及将领域类定义为先前定义类的特殊情况的方法,有助于知识库的逐步开发、测试和可读性,以及创建知识表示库。

MSC公司:

68T27型 人工智能中的逻辑
68N17号 逻辑编程
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿克曼五世。,埃尔多安S。T.、LeeJ.、。,LifschitzV公司。和TurnerH.2004。用因果计算器的语言表示动物园世界和交通世界。人工智能153,1-2(3月),105-140.10.1016/j.artint.2003.08.002·Zbl 1085.68679号 ·doi:10.1016/j.artint.2003.08.002
[2] 巴拉伊。,GelfondM公司。张勇.2012。SPARC-使用一致性恢复规则对ASP进行排序。程序中。答案集编程和其他计算范式(ASPOCP 2012),M.Fink和Y.Lierler,Eds.Proceedings在线出版于arXiv,网址:http://arxiv.org/html/1301.2215v1, 19-33.
[3] BalducciniM.2004年。美国市场:提高答案集规划中计划的质量。程序中。PADL'04,B.Jayaraman,Ed.人工智能(LNCS)课堂讲稿。柏林施普林格,135-147。
[4] BalducciniM.2007年。CR-MODELS:CR-prolog的推理引擎。程序中。LPNMR-07,C.Baral、G.Brewka和J.S.Schlipf编辑,柏林施普林格,18-30·Zbl 1149.68325号
[5] BalducciniM.2013年。具有非Herbrand部分功能的ASP:一种实用的语言和系统。逻辑程序设计的理论与实践13,4-5,547-561.10.1017/S147106413000343S1471068413000343·Zbl 1286.68039号 ·doi:10.1017/S1471068413000343
[6] BalducciniM公司。和GelfondM.2003a。使用A-prolog进行诊断推理。逻辑程序设计的理论与实践3425-461.10.1017/S1471068403001807S1471068403001 807·Zbl 1079.68094号 ·文件编号:10.1017/S1471068403001807
[7] BalducciniM公司。和GelfondM.2003b。具有一致性恢复规则的逻辑程序。在常识推理逻辑形式化国际研讨会上,P.Doherty、J.McCarthy和M.A.Williams编辑,AAAI 2003春季研讨会系列,加利福尼亚州帕洛阿尔托,9-18。
[8] BalducciniM公司。和GelfondM.2012。使用算术表达式和一致性恢复规则的ASP{f}语言。程序中。答案集编程和其他计算范式(ASPOCP 2012),M.Fink和Y.Lierler,Eds.Proceedings在线出版于arXiv,网址:http://arxiv.org/pdf/1301.1387v1.pdf, 35-49.
[9] 巴拉尔C.2003。知识表示、推理和陈述式问题解决。剑桥大学出版社·Zbl 1056.68139号
[10] 巴拉尔市。,DzifcakJ公司。和TakahashiH.2006。宏、宏调用和模块化应答集编程中信号群的使用。《逻辑编程》,S.Etalle和M.Truszczyski主编,《计算机科学讲义》,第4079卷。柏林-海德堡施普林格,376-390.1007/11799573·Zbl 1130.68008号 ·doi:10.1007/11799573
[11] 巴拉尔C。和GelfondM.2000。动态域中的推理代理。Kluwer学术出版社,马萨诸塞州诺维尔,257-279·兹比尔0979.68100
[12] 巴塞洛缪。和LeeJ.2013。关于内涵函数的稳定模型语义。逻辑程序设计理论与实践杂志(TPLP)13,4-5,863-876.10.1017/S1471068413000549·Zbl 1286.68041号 ·doi:10.1017/S1471068413000549
[13] 布隆特J。,GelfondM公司。和BalducciniM.2014。走向意向代理人理论。在2014年AAAI春季研讨会系列中,M.Sridharan、F.Yang、S.Ramamoorthy、V.Patoglu和E.Erdem编辑的AAAI出版社,加利福尼亚州帕洛阿尔托。
[14] 卡巴拉P.2011。功能性答案集编程。逻辑程序设计理论与实践杂志(TPLP)11,2-3,203-233.10.1017/S1471068410000517·Zbl 1220.68033号 ·doi:10.1017/S1471068410000517
[15] CalimeriF.和IanniG.2006。析取逻辑编程的模板程序:一种操作语义。AI通信19、3、193-206·Zbl 1104.68009号
[16] Chintabathina S.2012。混合域中的规划和调度。人工智能与应用前沿241,59-70。
[17] 钦塔巴提纳州。,GelfondM公司。和WatsonR.2005。使用过程描述语言对混合域进行建模。程序中。《ASP’05答案集编程:理论与实现进展》,M.De Vos和A.Provetti,编辑,CEUR-WS,CEUR-VS.org/Aachen,303-317。
[18] 德赛因。和辛格。P.2007年。一种用于协议合成的模块化动作描述语言。程序中。2007年7月22日至26日,加拿大不列颠哥伦比亚省温哥华,第22届AAAI人工智能会议,AAAI出版社,加利福尼亚州帕洛阿尔托,962-967。
[19] DovierA公司。,福米萨诺阿。和PontelliE.2007。CLP(FD)中带约束的多值动作语言。逻辑编程:计算机科学课堂讲稿4670255-270.10007/978-3-540-74610-2_18·Zbl 1213.68633号 ·doi:10.1007/978-3-540-74610-2-18
[20] 爱尔兰。,埃尔德姆。,芬克姆。和SenkoJ.2010。正在更新操作域描述。Artif公司。Intell.174,15(10月),1172-1221.10.1016/j.artint.2010.07.00421151324·兹比尔1225.68251 ·doi:10.1016/j.artint.2010.07.004
[21] 爱尔兰。,FaberW.、。,利昂内。,PfeiferG公司。和民意调查.2004。知识状态规划方法:语义和复杂性。ACM计算逻辑事务5,206-263.10.1145/976706.976708·Zbl 1367.68301号 ·数字对象标识代码:10.1145/976706.976708
[22] 爱尔兰。,伊安。,卢卡西维奇。,SchindlauerR.和TompitsH.2008。将答案集编程与语义网的描述逻辑相结合。人工智能172,12-13(8月),1495-1539.10.1016/j.artint.2008.04.002·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002
[23] 埃尔多安S。和LifschitzV.2006。特殊情况下的行动。《知识表示和推理原理:国际会议论文集》,P.Doherty、J.Mylopoulos和C.A.Welty编辑,AAAI出版社,加利福尼亚州帕洛阿尔托,377-387。
[24] 埃尔多安S。2008财年。通用动作描述库。博士论文,德克萨斯大学奥斯汀分校,美国德克萨斯州奥斯汀。
[25] 福多普。和KiferM.2011。使用过程描述语言对混合域进行建模。程序中。第27届逻辑编程国际会议(ICLP),J.P.Gallagher和M.Gelfond,Eds.,Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,Wadern,162-174。
[26] GebserM.、GroteT.、。,卡明斯基。和SchaubT.2011。反应式答案集编程。在LPNMR中,J.P.Delgrand和W.Faber,Eds.计算机科学讲义,第6645卷。柏林施普林格,54-66·Zbl 1327.68063号
[27] GebserM.、KaminskiR.、。,考夫曼B。和SchaubT.2012。实践中的答案集求解。人工智能和机器学习综合讲座。摩根和克莱普尔出版社。
[28] GebserM.,Sabuncio公司。和SchaubT.2011。基于增量答案集编程的有限模型计算系统。人工智能社区2195-212·Zbl 1215.68209号
[29] GelfondM公司。和Inclezan D.2009。另一种模块化动作语言。程序中。SEA-09。巴斯大学Opus:在线出版物商店,64-78。
[30] GelfondM公司。和Inclezan D.2013。ALd中系统描述的一些属性。应用非经典逻辑杂志23,105-120.10.1080/11663081.2013.798954·Zbl 1400.68207号 ·doi:10.1080/1663081.2013.7798954
[31] GelfondM公司。和KahlY.2014。知识表示、推理和智能代理的设计。剑桥大学出版社。
[32] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。程序中。ICLP-88,R.A.Kowalski和K.A.Bowen,Eds.,麻省理工学院出版社,马萨诸塞州剑桥,1070-1080。
[33] GelfondM公司。和LifschitzV.1991。逻辑程序和析取数据库中的经典否定。新一代计算9,3-4,365-386.10007/BF03037169·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[34] GelfondM公司。和LifschitzV.1993。用逻辑程序表示动作和变化。逻辑编程杂志17,2-4,301-321.10.1016/0743-1066(93)90035-F·Zbl 0783.68024号 ·doi:10.1016/0743-1066(93)90035-F
[35] GelfondM公司。和LifschitzV.1998。动作语言。AI3电子交易,16,193-210。
[36] Giunchiglia东部。,LeeJ.、。,LifschitzV.公司。,麦肯。和特纳H.2004a。非单调因果理论。人工智能153,1-2,105-140.10.1016/j.artint.2003.08.002·Zbl 1085.68679号 ·doi:10.1016/j.artint.2003.08.002
[37] Giunchiglia东部。,LeeJ.、。,LifschitzV.公司。,麦肯。和特纳H.2004b。非单调因果理论。人工智能153,105-140.10.1016/j.artint.2003.08.002·Zbl 1085.68679号 ·doi:10.1016/j.artint.2003.08.002
[38] Giunchiglia公司。和LifschitzV.1998。基于因果解释的行动语言:初步报告。程序中。美国国家人工智能会议(AAAI),J.Mostow和C.Rich,Eds.,AAAI Press,Palo Alto,CA,623-630。
[39] 格罗索夫B。,迪安。和KiferM.2009。SILK系统:可伸缩的高阶不可行规则。在规则交换和应用国际RuleML研讨会上。在线获取地址:http://silk.semwebcentral.org/talk-ruleml2009-silk-demo.pdf
[40] 射击D。,ChaudhriV.K.、ClarkP.、BarkerK.、ChawS-Y.、GreavesM.、。,格罗索夫B。,梁A。,麦当劳。,米萨拉斯。,帕切科J。,搬运工B。,斯波丁A。,Tecuid公司。和TienJ.2010。向数字亚里士多德投影光晕防护。AI杂志31,3,33-58。
[41] 古斯塔夫松J。和KvarnstrómJ.2004。通过面向对象细化公差。人工智能153,239-285.10.1016/j.artint.2003.08.004·Zbl 1085.68683号 ·doi:10.1016/j.artint.2003.08.004
[42] HanusM.1994年。将函数集成到逻辑编程中:从理论到实践。逻辑编程杂志19-20,补编1,583-628·Zbl 0942.68526号
[43] 亨舍尔。和Thielscher M.2000。流畅演算中的LMW交通世界。计算机与信息科学电子文章链接5(14)。可在http://www.ep.liu.se/ea/cis/2000/014/。
[44] 包括D.2010。使用ASP和Flora-2计算动态系统的轨迹。论文提交地点:非周一@30:非单调推理三十年会议,肯塔基州列克星敦,10月22日至25日。G.Brewka、V.Marek和M.Truszczynski编辑,网址:http://www.depts.ttu.edu/cs/research/krlab/pdfs/papers/di10.pdf
[45] Inclezan公司。和GelfondM.2011。用模块化动作语言ALM表示生物过程。in Proc。2011年AAAI常识形式化春季研讨会。AAAI出版社,加利福尼亚州帕洛阿尔托,49-55。
[46] 卡卡萨。和Miller R.1997。用动作描述故事的简单陈述语言。逻辑编程杂志31,1-3,157-200.1016/S0743-1066(96)00138-0·Zbl 0880.68009号 ·doi:10.1016/S0743-1066(96)00138-0
[47] 利昂内。,Pfeifer集团。,FaberW.、。,爱尔兰。,哥特洛布。,PerriS.和ScarcelloF.2006。用于知识表示和推理的DLV系统。美国计算机学会计算逻辑学报7,3,499-562.10.1145/1149114.1149117·Zbl 1367.68308号 ·数字对象标识代码:10.1145/1149114.1149117
[48] 利勒Y。和TruszczynskiM.2013。模块化答案集求解。程序中。第27届AAAI人工智能会议(AAAI-13),AAAI出版社,加利福尼亚州帕洛阿尔托,68-70。
[49] LifschitzV.2012年。具有内涵函数的逻辑程序。程序中。《知识表示与推理原理国际会议》(KR),G.Brewka、T.Eiter和S.A.McIlraith,编辑,美国农业协会出版社,加利福尼亚州帕洛阿尔托,24-31。
[50] LifschitzV公司。和RenW.2006。一种模块化动作描述语言。程序中。第21届全国人工智能会议(AAAI),AAAI出版社,加利福尼亚州帕洛阿尔托,853-859。
[51] 马雷克V。W.和TruszczynskiM.1999。稳定模型和替代逻辑编程范式。《逻辑编程范式:25年展望》(The Logic Programming Paradigm:A 25-Year Perspective),柏林弗拉格施普林格出版社,375-398.1007/978-3642-60085-2_17·Zbl 0979.68524号 ·doi:10.1007/978-3-642-60085-2_17
[52] 麦卡锡J.1963。情境、行为和因果律。斯坦福大学技术代表备忘录2。
[53] 麦卡锡J.1968。具有常识的程序。《语义信息处理》,麻省理工学院出版社,403-418页。
[54] 麦卡锡J.1998。精化公差。在常识推理程序中。在线获取地址:http://www-formal.stanford.edu/jmc/exturation/exturion.html
[55] 尼梅尔一世,1998年。具有稳定模型语义的逻辑程序作为约束编程范式。《数学与人工智能年鉴》25,72-79。
[56] 尼美拉一世。和SimonsP.1997。Smodels——为正常逻辑程序实现稳定的模型和良好的语义。程序中。第四届逻辑程序设计与非单调推理国际会议(LPNMR-97)。人工智能(LNCS)课堂讲稿,J.Dix,U.Furbach和A.Nerode,Eds.,第1265卷。柏林施普林格,420-429。
[57] OikarinenE公司。和JanhunenT.2006。正常逻辑程序的模块等效。在《第17届欧洲人工智能会议论文集》中,G.Brewka、S.Coradeschi、A.Perini和P.Traverso,编辑,IOS出版社,阿姆斯特丹,412-416。
[58] PfenningF.、。,1992年版。逻辑编程中的类型。麻省理工学院出版社。
[59] SandewallE.1999年。逻辑建模研讨会:沟通行动和变化的公理化。网址:http://www.ida.liu.se/ext/etai/lmw。
[60] 斯特拉斯。和Thielscher M.2012。关于动作的默认推理语言。《正确推理:纪念弗拉基米尔·利夫施奇茨(Vladimir Lifschitz)、E.Erdem、J.Lee、Y.Lierler和D.Pearce的论文》(In Correct Reasoning:Essays In Honor of Vladimicr Lifschetz),第7265卷。施普林格,527-542-10.1007/978-3-642-30743-0·Zbl 1241.68016号 ·doi:10.1007/978-3642-30743-0
[61] 特纳H.1997。在逻辑程序和缺省理论中表示动作:一种情境演算方法。逻辑程序设计杂志31,1-3(6月),245-298.10.1016/S0743-1066(96)00125-2·Zbl 0880.68010号 ·doi:10.1016/S0743-1066(96)00125-2
[62] 特纳H.1999。普遍因果关系的逻辑。人工智能113,87-123.10.1016/S0004-3702(99)00058-2·Zbl 0940.03031号 ·doi:10.1016/S0004-3702(99)00058-2
[63] 范·盖尔德拉。,罗斯克。A.和SchlipfJ。S.1991年。通用逻辑程序的有充分依据的语义。ACM38杂志,619-649.10.1145/116825.116838·Zbl 0799.68045号 ·数字对象标识代码:10.1145/116825.116838
[64] WirthN.1971年。通过逐步细化进行程序开发。ACM14通信,4(4月),221-227.10.1145/362575.362577·Zbl 0214.43005号 ·doi:10.1145/362575.362577
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。