×
迈克尔·安德森。;瓦利德·戈马;约翰·格兰特;唐·佩利斯

静态世界中单个代理的主动逻辑语义。 （英语） Zbl 1183.68593号

Artif公司。智力。 172，编号8-9，1045-1063（2008）.
摘要：一段时间以来，我们一直在开发一种称为主动逻辑机（ALMA）的时间敏感、容错逻辑推理引擎，并取得了显著的实际成功。本文详细介绍了底层逻辑形式主义——活动逻辑的一般版本的语义。主动逻辑的核心是控制一般信仰继承的特殊规则（尤其是关于当前时代的信仰），对直接矛盾（P&lnot P）所衍生的内容的严格控制，以及允许代理人对自己的信仰和过去的推理进行表示和推理的机制。此外，在主体注意到一组信念是矛盾的之前，这组信念似乎是一致的（因此主体对其进行推理，就好像它是一致的一样），受这一概念的启发，我们引入了一种“感知功能”，表示主体对自己信念的有限意识，并用于修改不一致的信念集，以生成一致的集。利用这些思想，我们在主动逻辑的背景下引入了逻辑结果的新定义，以及稳健性的新定义。这样，当用一致的前提进行推理时，所有经典的稳健性规则在我们的新意义上都保持稳健性。然而，在我们的意义上，并不是所有经典合理的事物都是合理的，因为根据经典定义，所有具有矛盾前提的规则都是空洞合理的，而在活动逻辑中，并非所有事物都来自矛盾。

引用于1文件

理学硕士：

68T27型 人工智能中的逻辑
03B53号 准一致逻辑
03B60号 其他非经典逻辑
68T42型 Agent技术与人工智能

关键词：

有源逻辑;非单调逻辑;次协调逻辑;语义学;可靠性;脆性;自治代理;时间

软件：

CCalc公司
PDF格式BibTeX公司 XML格式引用
\textit{M.L.Anderson}等人，Artif。智力。172，编号8--9，1045--1063（2008；Zbl 1183.68593）
全文： 内政部

参考文献：

[1] Allen，J.，《走向行动与时间的一般理论》，《人工智能》，第23期，第123-154页（1984年）·Zbl 0567.68025号
[2] M.L.Anderson，W.Gomaa，J.Grant，D.Perlis，《关于真实智能体的推理：走向主动逻辑的语义》，载于《第七届常识推理逻辑形式化年度研讨会论文集》，德累斯顿大学技术报告（ISSN 1430-211X），2005年；M.L.Anderson，W.Gomaa，J.Grant，D.Perlis，《关于真实智能体的推理：走向主动逻辑的语义》，载于《第七届常识推理逻辑形式化年度研讨会论文集》，德累斯顿大学技术报告（ISSN 1430-211X），2005年
[3] Asker，M。；Malec，J.，《资源有限的推理：用标记演绎系统表示的主动逻辑》，《波兰科学院公报》，123-154（2005）·兹比尔1194.03025
[4] F.Bacchus，A.Grove，J.Halpern，D.Koller，默认推理的统计基础，收录于：IJCAI，1993年；F.Bacchus，A.Grove，J.Halpern，D.Koller，默认推理的统计基础，收录于：IJCAI，1993年
[5] 巴滕斯，D。；莫滕森，C。；牧师，G。；Van Bendegen，J.-P.，《次协调逻辑的前沿》（2000），Taylor&Francis Group·兹比尔0978.00027
[6] D.Batens，J.Meheus，《不一致适应性劳动者的最新结果》，技术报告，Gent大学，2005年；D.Batens，J.Meheus，不一致适应性劳动者的最新结果，技术报告，Gent大学，2005年·Zbl 1230.03050号
[7] 北卡罗来纳州贝尔纳普，《有用的四值逻辑》（Dunn，J.M.；Epstein，G.，《多值逻辑的现代应用》（1977），D.Reidel），8-37·Zbl 0417.03009号
[8] Benferhat，S。；Dubois，D。；Prade，H.，《处理不一致知识库的一些句法方法：比较研究》，第1部分：扁平案例，Studia Logica，58，17-45（1997）·Zbl 0867.68100号
[9] 贝斯纳德，P。；Schaub，T.，《基于情境的默认推理方法》，《基础信息学》（1995）·Zbl 0826.68114号
[10] Brachman，R.，我对树或知识表示中的默认值和定义撒谎，AI杂志，6，3，80-93（1985）
[11] （Brown，F.，《人工智能中的框架问题》（1987），Morgan Kaufmann）
[12] Carnielli，A。；Coniglio，M.E。；D’Ottaviano，I.M.L.，《超一致性：不一致的逻辑方式》（2002），马塞尔·德克尔公司。
[13] 达科斯塔，北卡罗来纳州。；贝齐奥，J.-Y。；Bueno，O.，《历史视角下的准一致逻辑》，《逻辑与分析》，150，2，111-125（1995）·Zbl 0974.03029号
[14] Delgrand，J.P.，《基于一阶条件逻辑的默认推理方法：修订报告》，《人工智能》，36，1，63-90（1988）·Zbl 0646.03015号
[15] Doyle，J.，《真理维护系统》，《人工智能》，第12期，第231-272页（1979年）
[16] J.Doyle，《审议行动和反思的模型》，麻省理工学院博士论文，1980年；J.Doyle，《审议行动和反思的模型》，麻省理工学院博士论文，1980年
[17] J.Elgot-Drapkin，《Step-logic:Reasoning situating in time》，马里兰州大学计算机科学系博士论文，马里兰州帕克学院，1988年；J.Elgot-Drapkin，《Step-logic:Reasoning situating in time》，马里兰州大学计算机科学系博士论文，马里兰州帕克学院，1988年
[18] Elgot-Drapkin，J。；Perlis，D.，《处于时间的推理I：基本概念》，《实验和理论人工智能杂志》，第2期，第175-98页（1990年）
[19] D.Etherington，默认逻辑的语义，摘自：《第十届国际人工智能联合会议论文集》，意大利米兰，1987年，第495-498页；D.Etherington，默认逻辑的语义，摘自：《第十届国际人工智能联合会议论文集》，意大利米兰，1987年，第495-498页
[20] Gabbay，D.，标签演绎系统（1996），牛津大学出版社·兹比尔0858.03004
[21] Gabbay，D.M。；Hunter，A.，不一致信息的受限访问逻辑，（Clarke，M.；Kruse，R.；Moral，S.，推理和不确定性的符号和定量方法（1993），Springer），137-144
[22] Giunchiglia，E。；Lee，J。；Lifschitz，V。；麦凯恩，N。；Turner，H.，非单调因果理论，人工智能，153，49-104（2004）·Zbl 1085.68161号
[23] Gärdenfors，P.，《流动中的知识：认识状态动力学建模》（1988年），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥·Zbl 1229.03008号
[24] 格兰特，J。；Subrahmanian，V.S.，副一致性在数据和知识库中的应用，综合，125121-132（2000）·Zbl 0974.68051号
[25] 汉克斯，S。；McDermott，D.，非单调逻辑和时间投影，人工智能，33379-412（1987）·Zbl 0654.68107号
[26] J.Hovold，《论主动逻辑的语义》，隆德大学计算机科学系硕士论文，2005年；J.Hovold，《论主动逻辑的语义》，隆德大学计算机科学系硕士论文，2005年
[27] H.O.Ismail，S.C.Shapiro，《推理和及时行动的两个问题》，载于：《知识表示和推理原则：第七届国际会议论文集》，2000年；H.O.Ismail，S.C.Shapiro，《推理和及时行动的两个问题》，载于：《知识表示和推理原则：第七届国际会议论文集》，2000年
[28] 科诺里奇，K.，《信仰演绎模型》（1986），皮特曼：皮特曼伦敦·兹比尔0683.68080
[29] Levesque，H.，《内隐和外显信念的逻辑》，（《全国人工智能会议论文集》，德克萨斯州奥斯汀（1984），美国人工智能协会），198-202年
[30] McCarthy，J.，《具有常识的程序》，（思维过程机械化研讨会论文集。思维过程机械化研讨会论文集，英国特丁顿（1958），国家物理实验室）
[31] 麦卡锡，J。；Hayes，P.，《从人工智能的角度来看的一些哲学问题》，（Meltzer，B.；Michie，D.，《机器智能》（1969），爱丁堡大学出版社），463-502·Zbl 0226.68044号
[32] M.Miller，《一个人的过去和信念理性改变的其他方面的观点》，马里兰州大学计算机科学系博士论文，马里兰州帕克学院，1993年；M.Miller，《一个人的过去和信念理性改变的其他方面的观点》，马里兰州大学计算机科学系博士论文，马里兰州帕克学院，1993年
[33] M.Miller，D.Perlis，《演讲与这个和那个：行动中的逻辑》，摘自：《认知科学学会第十五届年会论文集》，科罗拉多州博尔德，1993年；M.Miller，D.Perlis，《演讲与这个和那个：行动中的逻辑》，摘自：《认知科学学会第十五届年会论文集》，科罗拉多州博尔德，1993年
[34] Nirkhe，M。；克劳斯，S。；米勒，M。；Perlis，D.，如何（计划）在现在和然后，《逻辑与计算杂志》，7，1，109-156（1997）·Zbl 0865.68114号
[35] M.Nirkhe，D.Perlis，S.Kraus，《在不断变化的世界中推理变化》，收录于《FLAIRS-93学报》，1993年；M.Nirkhe，D.Perlis，S.Kraus，《在不断变化的世界中推理变化》，收录于：《FLAIRS-93学报》，1993年
[36] Perlis，D.，意向性和默认值，国际。J.专家系统。（Ford，K.；Hayes，P.，《人类和机器认知的进展》，第1卷：人工智能中的框架问题（1991年），JAI出版社），第3期，第345-354页（1990年），框架问题特刊。作为章节重印
[37] 佩利斯，D。；Elgot-Drapkin，J。；米勒，M.，让世界停下-我想思考！，国际。J.智能系统，6443-456（1991），时间推理专题
[38] A.Pnueli，《程序的时序逻辑》，载于：第18届IEEE计算机科学基础研讨会论文集，1977年，第46-67页；A.Pnueli，程序的时序逻辑，摘自：1977年IEEE第18届计算机科学基础研讨会论文集，第46-67页
[39] Poole，D.，默认推理的逻辑框架，人工智能，36，27-47（1988）·Zbl 0647.68094号
[40] Priest，G.，Paraconsistent logic，（Gabbay，D.；Guenther，F.，《哲学逻辑手册》（2002），Kluwer学术出版社），287-393·Zbl 1055.03001号
[41] 牧师，G。；Routey，R。；Norman，J.，《超一致逻辑：关于不一致的论文》（1989），《哲学Verlag:哲学Verlag München》·Zbl 0678.0003号
[42] G.Priest，K.Tanaka，超一致逻辑，收录于：E.N.Zalta（编辑），《斯坦福大学哲学百科全书》，2004年夏；G.Priest，K.Tanaka，超一致逻辑，收录于：E.N.Zalta（编辑），斯坦福大学哲学百科全书，2004年夏
[43] Prior，A.N.，《过去、现在和未来》（1967），克拉伦登出版社：牛津克拉伦登出版公司·Zbl 0169.29802号
[44] Prior，A.N.，《关于时间和时态的论文》（1968年），克拉伦登出版社：克拉伦登出版社牛津
[45] Prior，A.，《时间与形态》（1957），牛津大学出版社·Zbl 0079.00606号
[46] K.Purang，《检测和修复自身错误的系统》，马里兰州大学计算机科学系博士论文，马里兰州帕克学院，2001年；K.Purang，《检测和修复自身错误的系统》，马里兰州大学计算机科学系博士论文，马里兰州帕克学院，2001年
[47] Reiter，R.，《默认推理的逻辑》，《人工智能》，13，1，2，81-132（1980）·Zbl 0435.68069号
[48] Rescher，N。；Manor，R.，《基于不一致前提的推断，理论与决定》，1179-219（1970）·Zbl 0212.31103号
[49] Shapiro，S.C.，Embodid cassie，（认知机器人：1998年AAAI秋季研讨会论文（1998），AAAI出版社：AAAI Press Menlo Park，CA），136-143
[50] 夏皮罗，S.C.，《Sneps:自然语言理解和常识推理的逻辑》（Iwanska，L.M.；夏皮罗（S.C.），《自然语言处理和知识表示：语言为知识，知识为语言》（2000），AAAI出版社/麻省理工学院出版社），175-195年·Zbl 0982.68138号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。