×
亚当·迈斯纳

对（mathcal{ALC}）描述逻辑的简单并行推理系统中的一些计算规则进行了实验分析。 （英语） Zbl 1221.68239号

国际期刊申请。数学。计算。科学。 21，第1期，83-95（2011）.
摘要：计算规则确定推理过程中选择前提的顺序。本文对ALC描述逻辑的基于表的并行推理系统中的三种特殊计算规则进行了实证分析，该描述逻辑建立在Oz语言的关系编程模型中。该系统是以精益演绎方式构建的，即它具有一个只包含基本机制的小程序的形式，从而确保推理的可靠性和完整性。因此，该系统可以作为比较各种推理算法及其要素的便捷试验台。我们利用这一特性，评估了所研究的选择前提的方法的效率和加速比，这些方法可以通过并行处理获得。

引用于1文件

MSC公司：

68立方英尺 知识表示
68T27型 人工智能中的逻辑

关键词：

并行推理；精益扣除；\（\mathcal{ALC}\）描述逻辑；欧兹语

软件：

精益TAP；传真CT++；KL-ONE公司
PDF格式BibTeX公司 XML格式引用
\textit｛A.Meissner｝，国际应用杂志。数学。计算。科学。21，第1号，83--95（2011；Zbl 1221.68239）
全文： 内政部 欧洲DML

参考文献：

[1] Amir，E.和Maynard-Zhang，P.（2004）。基于逻辑的包容体系结构，人工智能153（1-2）：167-237·Zbl 1085.68680号 ·doi:10.1016/j.artint.2003.07.001
[2] Aslani，M.和Haarslev，V.（2008年）。《朝向TBox的平行分类》，F.Baader、C.Lutz和B.Motik著，《第21届描述逻辑国际研讨会论文集》（DL2008），CEUR研讨会论文集，第353卷。
[3] Baader，F.、McGuinness，D.、Nardi，D.和Patel-Schneider，P.（2003）。《描述逻辑手册：理论、实现和应用》，剑桥大学出版社，剑桥·Zbl 1058.68107号
[4] Baader，F.和Sattler，U.（2001年）。描述逻辑表算法概述，Studia Logica 69（1）：5-40·Zbl 0991.03012号 ·doi:10.1023/A:1013882326814
[5] Beckert，B.和Possega，J.（1995年）。leanTAP：精益，基于表格的演绎，《自动推理杂志》15（3）：339-358·Zbl 0838.68097号 ·doi:10.1007/BF00881804
[6] Calvanee，D.、Lenzerini，M.和Nardi，D.（1999）。统一基于类的表示形式，《人工智能研究杂志》11:199-240·Zbl 0924.68184号
[7] De Giacomo，G.、Iocchi，L.、Nardi，D.和Rosati R.（1996年）。移动机器人：工作中的KR&R方法，《第五届知识表示和推理原则国际会议论文集》，美国马萨诸塞州剑桥，第198-209页。
[8] Devanbu，P.和Jones，M.（1997年）。描述逻辑在KBSE系统中的使用，ACM软件工程与方法学报6（2）：141-172。
[9] Herchneröder，T.（2006年）。《序言中的轻量级语义网络推理：描述逻辑的表推理》，爱丁堡大学理学硕士论文。
[10] Horrocks，I.和Patel-Schneider，P.F.（1998）。DL系统比较（摘要关系），《1998年描述逻辑国际研讨会论文集》（DL'98），CEUR研讨会论文集，第11卷，第55-57页。
[11] Hustadt，U.、Motik，B.和Sattler，U.（2004年）。将SHIQ描述逻辑简化为析取数据日志程序，载于D.Dubois、C.A.Welty和M.-A.Williams，《知识表示和推理原则：第九届国际会议论文集》（KR2004），AAAI出版社，加利福尼亚州门罗公园，第152-162页。
[12] Liebig，T.和Müller，F.（2007年）。并行化基于表格的描述逻辑推理，见R.Meersman、Z.Tari和P.Herrero，《走向有意义的互联网系统2007：OTM 2007研讨会，计算机科学课堂讲稿》，第4806卷，Springer-Verlag，柏林/海德堡，第1135-1144页。
[13] Meissner，A.（2009年A）。《将简约规则引入ALC描述逻辑的并行推理系统》，《第七届计算机方法与系统会议论文集》，CMS'09，波兰克拉科夫，第75-80页。
[14] Meissner，A.（2009年b）。ALC描述逻辑的简单并行推理系统，N.T.Nguyen、R.Kowalczyk和S.-M.Chen，《计算集体智能》。语义网，社会网络和多智能体系统：第一届国际会议论文集，ICCCI 2009，人工智能讲义，第5796卷，Springer-Verlag，柏林/海德堡，第413-424页。
[15] OWL Web本体语言概述（2004）
[16] 校长A.L.、赞斯特拉P.、所罗门W.、罗杰斯J.、鲍德R.、齐斯特斯W.、克拉森A.、柯比J.、罗德里格斯J.、莫里A.、范德哈林E.和瓦格纳J.（1998）。协调用户需求和形式需求：开发可重用医学本体的问题，IEEE生物医学信息技术汇刊2（4）：229-242。
[17] Rychtyckyj，N.（1996年）。DLMS：《KL-ONE在汽车行业中的评估》，载于L.C.Aiello、J.Doyle和S.C.Shapiro，《第五届知识表示和推理原则国际会议论文集》（KR’96），Morgan Kaufmann，加利福尼亚州旧金山，第588-596页。
[18] Schmidt-Schauß，M.和Smolka，G.（1991）。带补语的属性概念描述，人工智能48（1）：1-26·Zbl 0712.68095号 ·doi:10.1016/0004-3702（91）90078-X
[19] Schulte，C.（2000）。编程约束服务，博士论文，萨尔州大学，萨尔布吕肯·Zbl 0994.68038号
[20] 语义网（2001）。
[21] 《莫扎特编程系统》（2008）。
[22] Tsarkov，D.和Horrocks，I.（2006年）。FaCT++描述逻辑推理器：系统描述，见U.Furbach和N.Shankar，自动推理：第三届国际联合会议，IJCAR 2006，计算机科学讲义，第4130卷，Springer Verlag，柏林/海德堡，第292-297页。
[23] Van Roy，P.和Haridi，S.（2004）。《计算机编程的概念、技术和模型》，麻省理工学院出版社，马萨诸塞州剑桥。
[24] Wessel，M.和Möller，R.（2005）。高性能语义Web查询应答引擎，载于I.Horrocks、U.Sattler和F.Wolter，《2005年描述逻辑国际研讨会论文集》（DL2005），CEUR研讨会论文集，第147卷。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。