×
刘芳芳;毕、易;马里兰州索利穆·乔杜里;你，嘉慧;冯志勇

用于逼近不动点理论的灵活逼近器。 （英语） Zbl 1355.68244号

Khoury，Richard（编辑）等人，《人工智能进展》。2016年5月31日至6月3日，加拿大不列颠哥伦比亚省维多利亚市，第29届加拿大人工智能会议，加拿大人工智能2016。诉讼程序。查姆：施普林格（ISBN 978-3-319-34110-1/pbk；978-3-3169-34111-8/电子书）。计算机科学课程讲稿9673。人工智能课堂讲稿，224-236（2016）。
摘要：近似不动点理论（AFT）是研究双参数上算子不动点的一个代数框架，已应用于许多非单调形式的语义研究。AFT的核心概念是稳定修正基于基本近似运算符（称为近似器），其中在不动点计算中使用的负信息是默认的。这在结合不同形式主义的系统中提出了一个问题，其中默认否定和既定否定都可能出现在推理中。在本文中，我们扩展了AFT以允许更灵活的逼近器。其主要思想是建立和提出三元逼近器，其中传统的二元逼近器是一个特例。额外的参数允许分离两种负面信息，分别是隐含信息和默认信息。新方法的动机是需要集成不同的知识表示和推理（KRR）系统，特别是支持非单调规则与本体的组合推理。然而，通过允许灵活的近似值，这一微小的变化引发了一个数学问题——由此产生的AFT是否是一个合理的不动点理论。本文的主要结果是证明了这一问题的正确性。
关于整个系列，请参见[兹比尔1337.68012].

引用于1文件

MSC公司：

68T27型 人工智能中的逻辑
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
\textit{F.Liu}等人，Lect。注释计算。科学。9673，224--236（2016；Zbl 1355.68244）
全文： 内政部

参考文献：

[1] Antic，C.，Eiter，T.，Fink，M.：通过近似不动点理论实现十六进制语义。收录：Cabalar，P.，Son，T.C.（编辑）LPNMR 2013。LNCS，第8148卷，第102-115页。斯普林格，海德堡（2013）·Zbl 1405.68039号 ·doi:10.1007/978-3-642-40564-8_11
[2] Bi，Y.，You，J.-H.，Feng，Z.：近似不动点理论和应用的推广。收录人：Kontchakov，R.，Mugnier，M.-L.（编辑）RR 2014。LNCS，第8741卷，第45-59页。斯普林格，海德堡（2014）·数字对象标识代码：10.1007/978-3-319-11113-1.4
[3] Bogaerts，B.，Vennekens，J.，Denecker，M.：固定点。摘自：《2015年AAAI会议记录》，第1453-1459页（2015）·Zbl 1343.68233号
[4] Bogaerts，B.，Vennekens，J.，Denecker，M.：固定不动点及其在知识表示中的应用。Artif公司。智力。224, 51–71 (2015) ·Zbl 1343.68233号 ·doi:10.1016/j.artint.2015.03.006
[5] Denecker，M.，Marek，V.W.，Truszczynski，M.：缺省逻辑和自认知逻辑的统一语义处理。Artif公司。智力。143(1), 79–122 (2003) ·Zbl 1010.03021号 ·doi:10.1016/S0004-3702（02）00293-X
[6] Denecker，M.，Marek，V.W.，Truszczynski，M.：终极逼近及其在非单调知识表示系统中的应用。Inf.计算。192(1), 84–121 (2004) ·Zbl 1074.68069号 ·doi:10.1016/j.ic.2004.02.004
[7] Dung，P.M.：关于论点的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。Artif公司。智力。77(2), 321–358 (1995) ·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X
[8] Eiter，T.、Ianni，G.、Lukasiewicz，T.，Schindlauer，R.、Tompits，H.：将答案集编程与语义网的描述逻辑相结合。Artif公司。智力。172(12–13), 1495–1539 (2008) ·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002
[9] Eiter，T.、Lukasiewicz，T.，Ianni，G.、Schindlauer，R.：语义网中描述逻辑程序的良好语义。ACM事务处理。计算。逻辑12（2）（2011）。第11条·Zbl 1351.68275号 ·doi:10.145/1877714.18877717
[10] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。收录于：《1988年ICLP会议记录》，第1070–1080页（1988）
[11] Knorr，M.，Alferes，J.J.，Hitzler，P.：基于良好语义的描述逻辑的局部封闭世界推理。Artif公司。智力。175(9–10), 1528–1554 (2011) ·Zbl 1225.68249号 ·doi:10.1016/j.artint.2011.01.007（文件编号：10.1016/j.artint.2011.01.007）
[12] Lukasiewicz，T.：语义网的答案集编程与描述逻辑的新颖组合。IEEE TKDE 22（11），1577–1592（2010）
[13] Motik，B.，Rosati，R.：协调描述逻辑和规则。J.ACM 57（5），1-62（2010）·Zbl 1327.68257号 ·数字对象标识代码：10.1145/1754399.1754403
[14] Pelov，M.B.N.，Denecker，M.：具有聚合的逻辑程序的有根据且稳定的语义。理论与实践。逻辑程序。7, 301–353 (2007) ·Zbl 1111.68070号 ·doi:10.1017/S1471068406002973
[15] Rosati，R.：DL+log：描述逻辑和析取数据日志的紧密集成。摘自：KR 2006年会议记录，第68–78页（2006年）
[16] Shen，Y.-D.，Wang，K.：用语义网的描述逻辑表达式扩展逻辑程序。收录于：Aroyo，L.、Welty，C.、Alani，H.、Taylor，J.、Bernstein，A.、Kagal，L.，Noy，N.、Blomqvist，E.（编辑）ISWC 2011，第一部分，LNCS，第7031卷，第633-648页。斯普林格，海德堡（2011）·doi:10.1007/978-3-642-25073-640
[17] Strass，H.：抽象辩证框架的近似运算符和语义。Artif公司。智力。205, 39–70 (2013) ·兹比尔1334.68212 ·doi:10.1016/j.artint.2013.09.004
[18] Tarski，A.：格理论不动点定理及其应用。派克靴。数学杂志。5(2), 285–309 (1955) ·Zbl 0064.26004号 ·doi:10.2140/pjm.1955.5.285
[19] van Gelder，A.，Ross，K.，Schlipf，J.：通用逻辑程序的良好语义。《美国医学会杂志》38（3），620-650（1991）·Zbl 0799.68045号 ·数字对象标识代码：10.1145/116825.116838
[20] Vennekens，J.、Denecker，M.、Bruynooghe，M.：FO（ID）是DL的扩展，带有规则。安。数学。Artif公司。智力。58(1–2), 85–115 (2010) ·Zbl 1205.68409号 ·doi:10.1007/s10472-010-9207-9
[21] Yang，Q.，You，J.-H.，Feng，Z.：通过限定整合规则和描述逻辑。摘自：2011年AAAI会议记录（2011年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。