×
陈建文；张燕

移动环境下基于规则的知识事务模型。 （英语） Zbl 1101.68093号

信息科学。 176，第18号，2642-2672（2006）.
摘要：我们提出并形式化了一个移动环境下基于规则的知识事务模型。我们的模型集成了移动环境和智能代理的功能。我们使用逻辑编程作为数学工具和形式化描述方法来研究移动环境中的知识交易。我们的知识事务模型具有以下主要优点：（1）它可以用于移动环境中的知识事务表示、形式化和知识推理。（2） 它是面向知识的，具有继承自逻辑编程的声明性语义。（3） 它是一种可以应用于一般问题域的形式化。我们表明，我们的模型可以用于移动环境中的知识事务表示、形式化和知识推理。

MSC公司：

68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）
68N17号 逻辑编程

关键词：

知识交易模型；移动环境；逻辑程序设计

软件：

克拉瓦
PDF格式BibTeX公司 XML格式引用
\textit{J.Chen}和\textit{Y.Zhang}，信息科学。176，第18号，2642--2672（2006；Zbl 1101.68093）
全文： 内政部

参考文献：

[1] M.Ahamad，S.Smith，检测共享对象的相互一致性，摘自：IEEE移动计算会议论文集，1995年，第45-50页。；M.Ahamad，S.Smith，《检测共享对象的相互一致性》，载于《IEEE移动计算会议论文集》，1995年，第45-50页。
[2] 爱洛，L.C。；Massacci，F.，《验证安全协议作为逻辑编程中的规划》，ACM计算逻辑事务，123，542-580（2001）·Zbl 1365.68386号
[3] Bhalla，S.，《为移动数据库系统开发嵌入式并发控制的事务管理模型》，《信息与软件技术》，45，587-596（2003）
[4] Baral，C.，《知识表示、推理和陈述式问题解决》（2003），剑桥大学出版社：剑桥大学出版社英国·Zbl 1056.68139号
[5] Baral，C。；Gelfond，M.，逻辑编程和知识表示，逻辑编程，1973-148（1994）·Zbl 0820.68028号
[6] D.Barbara，T.Imielinski，《沉睡者和工作狂：移动环境中的缓存策略》，摘自：《ACM-SIGMOD 1993年国际数据管理会议论文集》，1994年，第1-13页。；D.Barbara，T.Imielinski，《沉睡者和工作狂：移动环境中的缓存策略》，载于《ACM-SIGMOD 1993年国际数据管理会议论文集》，1994年，第1-13页。
[7] Blaybrook，B.，《在线交易处理系统》（1992），威利出版社：威利纽约
[8] Bettini，L.，KLAVA：分布式和移动应用程序的Java包，软件实践和经验，32，1365-1394（2002）·Zbl 1009.68933号
[9] W.K.Chan，J.Chen，移动环境中的序列化和epsilon序列化，摘自：第十七届IASTED应用信息学国际会议论文集，奥地利因斯布鲁克，1999年，第273-297页。；W.K.Chan，J.Chen，移动环境中的序列化和epsilon序列化，摘自：第十七届IASTED应用信息学国际会议论文集，奥地利因斯布鲁克，1999年，第273-297页。
[10] Chen，W。；Swift，T.，《基于良好语义的高效自顶向下查询计算》，《逻辑编程杂志》，24161-201（1995）·Zbl 0866.68017号
[11] J.Chen，Y.Zhang，移动逻辑编程多代理系统，摘自：第四届IEEE智能系统设计与应用国际会议论文集，匈牙利布达佩斯，2004年，第759-765页。；J.Chen，Y.Zhang，移动逻辑编程多代理系统，载于：第四届IEEE智能系统设计与应用国际会议论文集，匈牙利布达佩斯，2004年，第759-765页。
[12] Cockayne，W。；Zyda，M.，《移动代理》（1997），《曼宁出版物：美国曼宁出版物》
[13] D.Deugo，《选择移动代理消息传递模型》，载于：ISADS 2001年会议记录，第278-286页。；D.Deugo，《选择移动代理消息传递模型》，载于：ISADS 2001年会议记录，2001年，第278-286页。
[14] T.Eiter，非单调推理的演绎系统，载《第四届逻辑程序设计与非单调推理国际会议论文集》，1997年，第363-374页。；T.Eiter，非单调推理的演绎系统，载于《第四届逻辑程序设计和非单调推理国际会议论文集》，1997年，第363-374页。
[15] T.Eiter，DLV系统，摘自：基于逻辑的人工智能研讨会，2000年，第120-134页。；T.Eiter，DLV系统，《基于逻辑的人工智能研讨会》，2000年，第120-134页。
[16] M.Gelfond，V.Lifschitz，《逻辑编程的稳定模型语义》，载《第五届逻辑编程国际会议论文集》，1988年，第1070-1080页。；M.Gelfond，V.Lifschitz，逻辑编程的稳定模型语义，收录于：《第五届逻辑编程国际会议论文集》，1988年，第1070-1080页。
[17] M.Gelfond，V.Lifschitz，《带经典否定的逻辑程序》，载《第七届逻辑程序设计国际会议论文集》，1990年，第579-597页。；M.Gelfond，V.Lifschitz，《带经典否定的逻辑程序》，载《第七届逻辑程序设计国际会议论文集》，1990年，第579-597页。
[18] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算，9365-385（1991）·Zbl 0735.68012号
[19] M.Gelfond，《用A-Prolog表示知识》，《计算逻辑：从逻辑编程到未来》，《纪念R.Lowalski的论文集》，2001年，第9-21页。；M.Gelfond，《用A-Prolog表示知识》，《计算逻辑：从逻辑编程到未来》，《纪念R.Lowalski的论文集》，2001年，第9-21页。
[20] 格雷，J。；Reuter，A.，《交易处理：概念与技术》（1993），摩根·考夫曼出版社：摩根·考夫曼出版社，加利福尼亚州旧金山·Zbl 0781.68006号
[21] 汉克斯，S。；McDermott，D.，非单调逻辑和时间投影，人工智能，23379-412（1987）·Zbl 0654.68107号
[22] 伊米林斯基，T。；Korth，H.F.，《移动计算》（1996年），Kluwer学术出版社：马萨诸塞州诺威尔市Kluwer-学术出版社
[23] Komiya，T。；Enokido，T。；Takizawa，M.，分布式对象事务处理的移动代理模型，信息科学，154，23-28（2003）
[24] R.Kowalski，F.Sadri，《有例外的逻辑程序》，载《第七届国际会议论文集：逻辑程序设计》，1990年，第598-613页。；R.Kowalski，F.Sadri，《有例外的逻辑程序》，载于《第七届国际会议论文集：逻辑程序设计》，1990年，第598-613页·Zbl 0737.68015号
[25] 列维，S。；Agrawala，A.，《实时系统设计》（1990），McGraw-Hill
[26] Lifschitz，V.，《答案集编程和计划生成》，人工智能，138，39-54（2002）·Zbl 0995.68020号
[27] 林奇，N。；Merit，M.，《嵌套事务理论导论》，《理论计算机科学》，62123-185（1988）·Zbl 0671.68043号
[28] 马德里亚，S.K。；马赫什瓦里，S.N。；Chandra，B.，《嵌套事务环境中的虚拟分区算法及其正确性》，信息科学，137211-244（2001）·Zbl 1052.68029号
[29] Milojicic，D.，移动代理应用，IEEE并发，23680-90（1999）
[30] N.Mirghafori，A.Fontaine，移动环境中的文件访问设计，摘自：IEEE移动计算会议论文集，1995年，第57-61页。；N.Mirghafori，A.Fontaine，移动环境中的文件访问设计，摘自：IEEE移动计算会议论文集，1995年，第57-61页。
[31] I.Nemela，P.Simons，《基础良好且稳定的模型语义的高效实现》，载于：《逻辑编程国际联合会议和研讨会论文集》，美国纽约，1996年，第289-303页。；I.Nemela，P.Simons，《基础良好且稳定的模型语义的高效实现》，载于：《逻辑编程国际联合会议和研讨会论文集》，美国纽约，1996年，第289-303页。
[32] L.Pereira，J.Alferes，《逻辑程序明确否定的良好语义》，载《欧洲人工智能会议论文集》，德国柏林，1992年。；L.Pereira，J.Alferes，《明确否定逻辑程序的良好语义》，载于《欧洲人工智能会议论文集》，德国柏林，1992年·Zbl 0925.68097号
[33] 佩雷拉，L。；Alferes，J.，用逻辑编程进行非单调推理，逻辑编程杂志，16，227-264（1993）·Zbl 0784.68024号
[34] P.Rao，XSB:高效计算基础良好语义的系统，载于：《第四届逻辑编程和非单调推理国际会议论文集》，1997年，第2-17页。；P.Rao，XSB:高效计算基础良好语义的系统，见：《第四届逻辑编程和非单调推理国际会议论文集》，1997年，第2-17页。
[35] Wagner，G.，《强否定谓词和不精确谓词的逻辑编程》，《逻辑与计算杂志》，63835-861（1991）·兹比尔0738.68018
[36] Weiss，G.，《多智能体系统：分布式人工智能的现代方法》（1999年），麻省理工学院出版社：麻省剑桥
[37] 吴凯，余鹏，浦春波，ε可串行化的发散控制算法，载《第八届国际数据工程会议论文集》，1992年，第506-515页。；Wu，P.Yu，C.Pu，ε可串行化的发散控制算法，载《第八届国际数据工程会议论文集》，1992年，第506-515页。
[38] Wooldridge，M.，《多智能体系统简介》（2002），威利：威利英国
[39] 余，P。；迪亚斯·D。；Lavenberg，S.，关于数据库并发控制的分析建模，ACM杂志，40831-872（1993）·兹比尔0782.68038
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。