×
林方珍；雷·赖特

如何处理数据库。 （英语） Zbl 1017.68510号

Artif公司。智力。 92，编号1-2，131-167（1997）.
概要：考虑STRIPS操作符的一种方法是将其作为从数据库到数据库的映射，从以下意义上说：假设我们想知道，如果一个由STRIPS运算符\（\alpha\）表示的操作在某个世界中完成，由STRIP数据库\（{\mathcal D}_{0}\）表示，世界会是什么样子。要找出答案，只需在\（{\mathcal D}_0\）上执行运算符\（\alpha\）（通过将\（\alpha\）的基本添加和删除修订运算符应用于\（\mathcalD_0\））。我们将此过程描述为响应操作\（\alpha\），对数据库\（\mathcal D_0\）进行处理。
我们考虑处理初始数据库以响应给定的操作序列的一般问题。我们呼吁使用情境演算和行动公理化来解决框架问题（Reiter（1991））。此设置比STRIPS更通用。我们关于进展的结果好坏参半。（令人惊讶的）坏消息是，一般来说，要描述一个进步的数据库，我们必须求助于二阶逻辑。好消息是，有许多有用的特例，我们可以用一阶逻辑计算进展数据库；不仅如此，我们还可以有效地做到这一点。
最后，我们将这些关于进展的结果关联到类STRIPS系统，方法是根据动作及其效果的纯声明性情境演算公理化为此类系统提供语义。在我们看来，STRIPS运算符提供了一种机制，用于计算动作影响下初始情况演算数据库的进程。我们通过描述两种不同的STRIPS机制来说明这一思想，并证明它们相对于其情景演算规范的正确性。

引用于2评论
引用于27文件

MSC公司：

第68页，共15页 数据库理论
68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

情境演算；行动理论；回归；进展；板条；最强烈的后置条件

软件：

高尔夫
PDF格式BibTeX公司 XML格式引用
\textit{F.Lin}和\textit{R.Reiter}，Artif。智力。92，编号1--2，131-167（1997；Zbl 1017.68510）
全文： 内政部

参考文献：

[1] Abiteboul，S.，《更新，一个新的前沿》（《数据库理论第二届国际会议论文集》（1988），施普林格：施普林格纽约），1-18·Zbl 0707.68028号
[2] 巴克斯，F。；Yang，Q.，《向下细化和分层问题解决的效率》，Artif。智力。，71, 41-100 (1994) ·Zbl 0938.68829号
[3] Dijkstra，E.W。；Scholten，C.S.（谓词演算和程序语义（1990），Springer:Springer New York）·Zbl 0698.68011号
[4] 埃罗尔，K。；Nau，D。；Subrahmanian，V.，《关于领域独立规划的复杂性》（Proceedings AAAI-92）。AAAI-92会议记录，加利福尼亚州圣何塞（1992），381-386
[5] O.Etzioni。；汉克斯，S。；焊缝，D。；德雷珀，D。；Lesh，N。；Williamson，M.，《不完全信息下的规划方法》（Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning），马萨诸塞州剑桥市第三届国际知识表示与推理原则会议论文集（1992），115-125
[6] Fikes，R.E。；Nilsson，N.J.，《STRIPS：问题解决中定理证明的新方法》，Artif。智力。，2, 189-208 (1971) ·Zbl 0234.68036号
[7] Kleene，S.C.，（数学逻辑（1967），威利：威利纽约）·Zbl 0149.24309号
[8] Lespérance，纽约州。；Levesque，H.J。；林，F。；Marcu，D。；Reiter，R。；Scherl，R.，《代理编程逻辑方法的基础》（Wooldridge，M.；Muller，J.；Tambe，M..，《智能代理》第二卷——1995年代理理论、架构和语言研讨会的进展（ATAL-95）（1996），Springer:Springer New York），331-346
[9] Levsque，H.J.，在感知的情况下，计划是什么？，（技术报告（1995），多伦多大学计算机科学系：安大略省多伦多大学计算科学系）
[10] H.J.Levesque、R.Reiter、Y.Lespérance、F.Lin和R.Scherl，GOLOG:动态域的逻辑编程语言，J.逻辑程序; H.J.Levesque、R.Reiter、Y.Lespérance、F.Lin和R.Scherl，GOLOG:动态域的逻辑编程语言，J.逻辑程序·兹比尔0880.68008
[11] Lifschitz，V.，《论STRIPS的语义》，（《关于行动的计划和推理的会议录》，《关于行动计划和推理会议录》（1986年）），1-9
[12] 林，F。；Reiter，R.，《如何发展数据库（及其原因）I.逻辑基础》，（《第四届知识表示和推理原则国际会议论文集》，第四届国际知识表示与推理原则会议论文集，波恩（1994），425-436
[13] 林，F。；Reiter，R.，《重新审视状态约束》，J.Logic Comput。，4, 655-678 (1994) ·Zbl 0815.68096号
[14] 林，F。；Reiter，R.，算了！，（Greiner，R.；Subramanian，D.，AAAI秋季相关性研讨会（1994年）工作笔记，美国人工智能协会：美国人工智能学会，加利福尼亚州门罗公园），154-159
[15] 林，F。；Reiter，R.，《如何改进数据库II》。STRIPS连接，（会议记录IJCAI-95。《IJCAI-95会议记录》，魁北克省蒙特利尔（1995年），2001-2007年
[16] Pednault，E.P.，《走向平面综合的数学理论》（博士论文（1986），斯坦福大学电气工程系：斯坦福大学电气工程学系，加利福尼亚州斯坦福）
[17] Pednault，E.P.，《包含具有上下文相关效果的动作的综合计划》，计算。智力。，4, 356-372 (1988)
[18] Pednault，E.P.，ADL：探索STRIPS和情境演算之间的中间地带，（《第一届知识表示和推理原则国际会议论文集》。《第一届国际知识表示和推论原则会议论文集，安大略省多伦多（1989）》），324-332
[19] Peppas，P。；Foo，N。；威廉姆斯，M.-A.，《论命题的可表达性》，《逻辑分析》。，139-140, 251-272 (1992) ·Zbl 0832.03013号
[20] Reiter，R.，走向关系数据库理论的逻辑重建，（Brodie，M.；Mylopoulos，J.；Schmidt，J.，《概念建模：人工智能、数据库和编程语言的视角》（1984），Springer:Springer New York），191-233·Zbl 0542.68089号
[21] Reiter，R.，情境演算中的框架问题：目标回归的简单解决方案（有时）和完整结果，（Lifschitz，V.，《人工智能和计算数学理论：约翰·麦卡锡荣誉论文》（1991），学术出版社：加州圣地亚哥学术出版社），418-420·Zbl 0745.00070号
[22] Reiter，R.，《情境演算中状态属性的证明》，Artif。智力。，64, 337-351 (1993) ·Zbl 0788.68139号
[23] Reiter，R.，《关于指定数据库更新》，J.Logic Program。，25, 53-91 (1995) ·Zbl 0871.68075号
[24] R.Reiter，情境演算中回归的一些稳健性和完备性结果（即将出现）。；R.Reiter，情境演算中回归的一些稳健性和完备性结果（即将出现）。
[25] Rosenschein，S.J.，《计划综合：逻辑视角》（Proceedings IJCAI-81）。会议记录IJCAI-81，米兰（1981），331-337
[26] 谢尔，R。；Levesque，H.J.，《框架问题和知识创造行动》（Proceedings AAAI-93）。AAAI-93会议记录，华盛顿特区（1993年）
[27] 舒伯特，L.K.，《情境演算中框架问题的单调解：具有完全指定动作的世界的一种有效方法》（Kyberg，H.E.；Loui，R.P.；Carlson，G.，《知识表示和可推迟推理》（1990），克鲁沃学术出版社：克鲁沃学术出版商，马萨诸塞州波士顿），23-67
[28] Waldinger，R.，同时实现多个目标，（Elcock，E.W.；Michie，D.，机器智能，8（1977），Ellis Horwood：Ellis Horwood Chichester），94-136
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。