×
劳拉·佐丹奴;阿尔贝托·马泰利;吉安弗兰科·罗西

用蕴涵目标扩展Horn子句逻辑。 （英语） Zbl 0754.68109号

西奥。计算。科学。 95，第1期，43-74（1992）.
自80年代中期以来，逻辑程序的结构化问题在逻辑编程界受到了越来越多的关注。本着这个问题的精神，作者基于蕴涵目标的概念定义了霍恩逻辑的一个扩展。原子（G_i）不仅允许使用类型为\（G_1\楔形\点\楔形G_n\到A\）的Horn子句，而且\（G_i\）的形式可以是\（D\supset G\），其中\（D\）是一组子句（表示局部声明），\（G\）是通常意义上的目标。在这种语言中，必须考虑两个不同的含义概念：“（to）”，通常的含义和“（supset）”目标中的含义。从概念上讲，本文基于具有静态范围规则的开放块范式。块的范围由变量量化定义，通过变量量化可以区分局部变量和全局变量。形式上，目标（（语言G）和定语从句（语言DC）定义为：
\[\begin{aligned}\langle G\rangle&\Rightarrow\text{TRUE}|\langle\text{Atom}\rangle|\langle G \rangle\wedge\langle G-rangle|\ exists x \langle H\rangle | \langle DC\rangle\supset\langle G.rangle，\\langle DC\ rangle&\ Rightarror\langle C\rangle\to\langle\text{Atom}\range|\langle DC\range\wedge langle DC\srangle|（\forall x）\langle DC范围。\结束{对齐}\]与Horn逻辑一样，程序被定义为一组确定子句。作者介绍了一种操作语义，它定义在形式为\（P_1|\dots|P_n\）的列表上，其中\（P_i\）是程序，\（'\mid'）表示块嵌套。操作语义基于一种线性输入演绎，但通过地面实例化定义。此外，还引入了不动点语义学和模型论语义学，并证明了所有概念彼此之间的合理性和完备性。在模型理论语义学中，隐含目标的（models）定义形式为：（I，models D，supset G）iff表示所有的（I，I），它们是（I，）的扩展，（I，models D，）隐含（I，模型G，）（I，I'\，Herbrand解释）。与D.M.Gabbay博士和N.雷尔[J.Logic Program.1，319-355（1984；Zbl 0576.68001号)]实际上不需要Kripke语义。然而，作者在后面的章节中以克里普克风格阐述了模型理论语义。
作者成功地以严格的逻辑形式引入了块概念和局部声明（一个最初在命令式语言中开发的概念），这可以作为潜在实现的坚实基础。
审核人：A.Leitsch（维也纳）

引用于2文件

MSC公司：

第68页第27页 人工智能中的逻辑
68T99型 人工智能

关键词：

喇叭逻辑;暗示目标

引文：

Zbl 0576.68001号
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，Theor。计算。科学。95，第1号，43--74（1992；Zbl 0754.68109）
全文： 内政部

参考文献：

[1] 阿普特，K.R。；van Emden，M.H.，对逻辑编程理论的贡献，J.ACM，29841-862（1982）·Zbl 0483.68004号
[2] Bowen，K.A。；Kowalski，R.A.，《逻辑编程中语言与元语言的融合》（Clark；Tarlund，逻辑编程（1982），学术出版社：纽约学术出版社），153-172
[3] Gabbay，D.M。；Reyle，N.，N_Prolog:Prolog的一个扩展，具有假设含义I，J.Logic Programming，4319-355（1984）·兹标0576.68001
[4] Gabbay，D.M.，N_Prolog：Prolog的一个扩展，具有假设含义II。《逻辑基础与否定即失败》，《逻辑编程杂志》，4，251-283（1985）·Zbl 0595.68004号
[5] 佐丹奴，L。；Martelli，A。；Rossi，G.F.，逻辑语言中静态范围规则的局部定义，Proc。FGCS国际。Conf.，东京，389-396（1988）
[6] 佐丹奴，L。；Martelli，A。；Rossi，G.F.，用模块结构扩展Horn子句逻辑，内部报告（1988年5月），乌迪内大学
[7] 佐丹奴，L。；Martelli，A。；Rossi，G.F.，Una proposta per l’introduzione di blocchi e moduli nei languagegi logici，Proc。第四届逻辑编程全国会议，博洛尼亚，3-17（1989），（意大利语）
[8] Lloyd，J.W.，《逻辑编程基础》（1984），《施普林格：施普林格柏林》·Zbl 0547.68005号
[9] Martelli，A。；Rossi，G.F.，《逻辑编程语言的语义》，（Proc.3rd Internat.Conf.On logic programming，Vol.225（1986），Springer:Springer Berlin），327-334，计算机科学讲稿
[10] 麦卡蒂，L.T.，克劳萨直觉逻辑1。固定点语义，J.Logic Programming，51-31（1988）·Zbl 0645.03006号
[11] Miller，D.A.，逻辑编程模块理论，Proc。IEEE交响乐。逻辑编程，106-114（1986）
[12] Miller，D.A.，逻辑编程模块的逻辑分析，J.logic programming，679-108（1989）·Zbl 0681.68022号
[13] Miller，D.A.，《词汇范围作为通用量化》，Proc。第六国际。逻辑编程会议，里斯本，268-283（1989）
[14] 蒙特罗，L。；Porto，A.，上下文逻辑编程，Proc。第六国际。逻辑编程会议，里斯本，284-299（1989）
[15] Nait Abdallah，M.A.，《逻辑编程中的离子和局部定义》（Proc.STACS’86，Vol.210（1986），Springer:Springer Berlin），60-72，计算机科学讲稿·Zbl 0606.68087号
[16] Warren，D.S.，《Prolog数据库更新》，Proc。国际。第五代计算机系统会议，244-253（1984）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。