×
瓦莱里亚·德·佩瓦;爱德华·赫尔曼·海尔;亚历山大·雷德梅克

构造性描述逻辑混合型。 （英语） Zbl 1260.68389号

Bolander，T.（ed.）等人，2010年混合逻辑和应用国际研讨会（HyLo，2010）。2010年7月10日，英国爱丁堡，研讨会的后期制作。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》273，21-31（2011）。
摘要：结构模态逻辑有几种不同的风格，结构描述逻辑也有相同的风格。我们引入了一种直觉主义描述逻辑，我们称之为（i）（mathcal{ALC}）（表示直觉主义，因为（mathcal{ALC{）是规范描述逻辑系统的名称），并为其提供公理、自然演绎公式和后续演算。系统（i）与Simpson的构造模态逻辑（mathsf{IK}）有关，就像Mendler和Scheele的（c\mathcal{ALC}）与构造（mathsf{CK}）的关系一样，经典的多模态（mathsf-K}。在系统（i\mathcal{ALC}）和（c\mathcal{ALC{）中，排除中间（c\sqcup\negC=\mathsf{T}）、双重否定（neg\negC=c\）的经典原理以及模式的定义（存在R.c=\neg\对于所有R.negC）和（存在R.c=\neg \存在R.negC\）不再有效，而是简单地使用非平凡的TBox语句来公理化特定的应用程序场景。同时，在\（i\mathcal{ALC}\）中，就像经典的\（\mathsf{ALC{\）一样，存在角色在析取上的分布，即，\（存在R.（C\sqcup D）=\存在R.C\sqcup\存在R.D\）和（nullary case）\（存在R\bot=\bot）hold，这对\（C\mathcal{ALC_2}\）来说是不正确的。我们打算使用（i\mathcal{ALC}）对司法人工智能（AI）系统进行建模，并简要描述了如何进行建模。
关于整个系列，请参见[Zbl 1245.03008号].

引用于1文件

MSC公司：

68T27型 人工智能中的逻辑
03B45号 模态逻辑（包括规范的逻辑）
03B62号 组合逻辑
PDF格式BibTeX公司 XML格式引用
\textit｛V.de Paiva｝等人，电子。注释Theor。计算。科学。273、21-31（2011年；Zbl 1260.68389）
全文： 内政部

参考文献：

[1] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社）·Zbl 1058.68107号
[2] Bellin，G.、V.de Paiva和E.Ritter，基本构造模态逻辑的扩展curry-howard对应模式方法程序; Bellin，G.、V.de Paiva和E.Ritter，基本构造模态逻辑的扩展curry-howard对应模式方法程序
[3] 边沁，J。；伯恩斯，J。；Hart，H.，《道德与立法原则导论》（1996年），牛津大学出版社：牛津大学出版社，美国
[4] 波扎托，L.，M.法拉利和P.比利亚，关于描述逻辑构造语义的注记CILC09-24-esimo Convergno Italiano di Logica Computazionale公司http://www.ing.unife.it/eventi/cilc09/papers/cilc09 _ submission_29.pdf; 波扎托，L.，M.法拉利和P.比利亚，关于描述逻辑构造语义的注记CILC09-24-esimo Convergno Italiano di Logica Computazionale公司http://www.ing.unife.it/eventi/cilc09/papers/cilc09 _ submission_29.pdf ·Zbl 1209.68524号
[5] Braüner，T。；de Paiva，V.，直觉主义混合逻辑，应用逻辑杂志，4231-255（2006）·Zbl 1106.03011号
[6] Clément，I.，“构造描述逻辑的证明理论基础”，计算机科学学院硕士论文。麦吉尔大学，Montrel（2008）。；Clément，I.，“构造描述逻辑的证明理论基础”，计算机科学学院硕士论文。麦吉尔大学，Montrel（2008）。
[7] 德佩瓦，V。，建构性描述逻辑：什么、为什么以及如何; 德佩瓦，V。，构造性描述逻辑：什么、为什么和如何
[8] Haeusler、E.H.、V.de Paiva和A.Rademaker，直觉主义逻辑与法律本体论2010年7月会议记录。第23届国际法律知识与信息系统大会; Haeusler，E.H.，V.de Paiva和A.Rademaker，直觉主义逻辑与法律本体论2010年7月会议记录。第23届国际法律知识和信息系统会议
[9] Haeusler，E.H.，V.de Paiva和A.Rademaker，使用直觉主义逻辑作为法律本体论的基础第四届法律本体论与人工智能技术研讨会论文集605; Haeusler，E.H.，V.de Paiva和A.Rademaker，使用直觉主义逻辑作为法律本体论的基础第四届法律本体论与人工智能技术研讨会论文集605
[10] Kelsen，H.，《规范的一般理论》（1991），牛津大学出版社：美国牛津大学出版社
[11] Mendler，M.和V.de Paiva，上下文的建设性检查程序。关于上下文表示和推理的最坏观点; Mendler，M.和V.de Paiva，上下文的建设性检查程序。关于上下文表示和推理的最坏观点
[12] Mendler，M。；Scheele，S.，《面向抽象和精化的构造性DL》，《自动推理杂志》，44，207-243（2010），也在Proc。第21届国际研讨会说明逻辑·Zbl 1197.03029号
[13] Negri，S.，《模态逻辑中的证明分析》，《哲学逻辑杂志》，34507-544（2005）·Zbl 1086.03045号
[14] Ranalter，K.，将构造性K嵌入直觉主义K，Electr。注释Theor。计算。科学。，262, 205-219 (2010) ·Zbl 1345.03041号
[15] Raz，J.，《法律原则与法律限制》，《耶鲁法律期刊》，81823-854（1972）
[16] 希尔德·K·。，术语逻辑的对应理论：初步报告第12届国际人工智能联合会议论文集; 希尔德·K·。，术语逻辑的对应理论：初步报告第12届国际人工智能联合会议论文集·Zbl 0742.68059号
[17] 辛普森，A.，“直觉模态逻辑的证明理论和语义”，爱丁堡大学博士论文（1993年），1994年9月修订。；Simpson，A.，“直觉模态逻辑的证明理论和语义”，爱丁堡大学博士论文（1993年），1994年9月修订。
[18] 美国斯特拉契亚，《四值描述逻辑推理的序列演算》，《计算机科学讲义》，12273457（1997）·Zbl 1412.68274号
[19] 瓦伦特，A.，《法律知识工程：建模方法》（1995年），IOS出版社：IOS出版社阿姆斯特丹·Zbl 0845.68097号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。