×
佐尔坦·埃西克;帕诺斯·朗多吉安尼

非单调函数的不动点定理。 （英语） Zbl 1318.68066号

西奥。计算。科学。 574, 18-38 (2015).
摘要：我们给出了一类（潜在的）非单调函数在特殊结构完备格上的不动点定理。该定理具有Knaster-Tarski不动点定理（当限制于单调函数的情况时）和Kleene定理（当函数是额外连续的时）作为特例。从实用的角度来看，该定理在逻辑程序设计中的否定语义中有直接的应用。特别是，它可以更直接、更优雅地证明[P.隆多吉安尼斯和W.W.Wadge公司，“否定即失败逻辑程序的最小模型语义”，ACM Trans。计算。日志。6，第2期，441-467（2005年；Zbl 1367.68038号)]. 此外，该定理似乎有可能在逻辑编程领域之外应用。

引用于1审查
引用于8文件

MSC公司：

68N17号 逻辑编程
06B23号 完整格，完整
68问题55 计算理论中的语义学

关键词：

不动点理论;非单调性;逻辑程序设计的语义

引文：

Zbl 1367.68038号
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Ésik｝和\textit｛P.Rondogiannis｝，Theor。计算。科学。574、18-38（2015年；Zbl 1318.68066）
全文： 内政部 arXiv公司

参考文献：

[1] Apt，K。；Bol，R.，《逻辑编程与否定：一项调查》，J.Log。程序。，19/20, 9-71 (1994) ·Zbl 0942.68518号
[2] Cabalar，P。；皮尔斯，D。；Rondogiannis，P。；Wadge，W.W.，《带否定的析取逻辑程序的纯模型理论语义》，（逻辑编程和非单调推理国际会议。逻辑编程和非线性推理国际会议，LPNMR（2007）），44-57·Zbl 1149.68327号
[3] Charalambidis，A。；Handjopoulos，K。；Rondogiannis，P。；Wadge，W.W.，扩展高阶逻辑编程，ACM Trans。计算。日志。，14, 3, 21 (2013) ·Zbl 1353.68031号
[4] Charalambidis，A。；埃西克，Z。；Rondogiannis，P.，带否定的扩展高阶逻辑编程的最小模型语义，理论与实践。日志。程序。，14, 4-5, 725-737 (2014) ·兹比尔1309.68030
[5] 戴维，文学学士。；Priestley，H.A.，《格与序导论》（2002），剑桥大学出版社·Zbl 1002.06001号
[6] Denecker，M。；马雷克，V.W。；Truszczynski，M.，《近似、稳定算子、基础良好的不动点及其在非单调推理中的应用》（Minker，J.，Logic-Based Artificial Intelligence（2000），Kluwer Academic Publishers），127-144·Zbl 0988.68183号
[7] Denecker，M。；马雷克，V.W。；Truszczynski，M.，终极逼近及其在非单调知识表示系统中的应用，Inform。和计算。，192, 1, 84-121 (2004) ·Zbl 1074.68069号
[8] （Droste，M.；Kuich，W.；Vogler，H.，《加权自动机手册》（2009），施普林格出版社）·Zbl 1200.68001号
[9] Fitting，M.，《逻辑编程的定点语义：调查》，Theoret。计算。科学。，278, 1-2, 25-51 (2002) ·Zbl 1002.68023号
[10] Lloyd，J.W.，《逻辑编程基础》（1987），施普林格-弗拉格出版社·兹比尔0547.68005
[11] Przymusinski，T.C.，每个逻辑程序都有一个自然分层和一个迭代的最小不动点模型，（第八届ACM数据库系统原理研讨会论文集。第八届AC数据库系统原理会议论文集，PODS（1989）），11-21
[12] Rondogiannis，P。；Wadge，W.W.，《带否定即失败逻辑程序的最小模型语义》，ACM Trans。计算。日志。，6, 2, 441-467 (2005) ·Zbl 1367.68038号
[13] Rondogiannis，P。；Troumpoukis，A.，《无限值语义：概述、近期结果和未来方向》，J.Appl。非经典逻辑，23，1-2，213-228（2013）·Zbl 1400.68051号
[14] Tarski，A.，《格理论不动点定理及其应用》，太平洋数学杂志。，5, 2, 285-309 (1955) ·Zbl 0064.26004号
[15] van Emden，M.H。；Kowalski，R.A.，谓词逻辑作为编程语言的语义，J.ACM，23，4，733-742（1976）·兹比尔0339.68004
[16] Van Gelder，A.，逻辑程序与否定的交替不动点，J.Compute。系统科学。，47, 1, 185-221 (1993) ·Zbl 0793.68039号
[17] Van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-650（1991）·Zbl 0799.68045号
[18] 文内肯斯，J。；Gilis，D。；Denecker，M.，《拆分运算符：具有不动点语义的逻辑的代数模块化结果》，ACM-Trans。计算。日志。，7, 4, 765-797 (2006) ·Zbl 1367.68295号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。