×
贾娜·克勒

根据第二原则进行规划。 （英语） Zbl 1506.68125号

Artif公司。智力。 87，编号1-2145-186（1996）.
概要：通过重用和修改计划从第二个原则进行规划是提高规划系统效率的一种方法。在本文中，我们在演绎规划的一般框架中对其进行了研究，并根据第二原则开发了规划的逻辑形式化，该逻辑形式化依赖于规划过程的系统分解。带有明确定义语义的演绎推理过程将第二个原则规划师必须处理的每个子任务形式化。计划修改，包括匹配和适应任务，基于演绎方法，生成可证明正确的修改计划。引入描述逻辑作为查询语言来规划库，从而为基于实例推理中的索引问题提供了一种新颖而有效的解决方案。除了顺序计划外，这种方法还允许计划员重用和修改包含控制结构（如条件和循环）的复杂计划。

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

软件：

Nuprl公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Koehler}，阿蒂夫。智力。87，编号1--2，145-186（1996；Zbl 1506.68125）
全文： 内政部

参考文献：

[1] 安德森，W。；亨德勒，J。；Evett，M。；Kettler，B.，《知识结构的大规模并行匹配》（Kitano，H.；Hendler，J.，《大规模并行人工智能》（Massively parallel Artificial Intelligence）（1994），麻省理工学院出版社：马萨诸塞州坎布里奇麻省理学院出版社），53-71
[2] 巴德，F。；霍兰德，B.，KRIS：知识表示和推理系统，SIGART Bull。，2, 2, 8-15 (1991)
[3] 巴德，F。；霍兰德，B。；Nebel，B。；Profitlich，H.-J。；Franconi，E.，术语表示系统优化技术的实证分析，或使KRIS向前发展，（《第三届知识表示和推理原则国际会议论文集》，马萨诸塞州剑桥市，第三届国际知识表示与推理原则会议论文集（1992年），270-281
[4] Bäckström，C.，《寻找约束最小的计划和最佳并行执行比我们想象的要难，》（Bäck stróm，C；Sandewall，E.，《人工智能规划的当前趋势》（1994），IOS出版社：IOS出版社阿姆斯特丹）
[5] Bauer，M。；Biundo，S。；丹格勒，D。；Koehler，J。；Paul，G.，《PHI-智能帮助系统的基于逻辑的工具》（Proceedings IJCAI-93）。《会议录IJCAI-93》，钱伯里（1993），460-466
[6] 贝茨，M。；McDermott，D.，《在执行过程中改进机器人计划》（第二届人工智能规划系统国际会议论文集（1994）），7-12
[7] Biundo，S。；Dengler，D.，规划LLP的逻辑语言，（研究报告（1996），德国人工智能研究中心：德国人工智能研发中心Saarbrücken）
[8] Biundo，S.公司。；Dengler博士。；Koehler，J.，《演绎规划和命令语言环境中的计划重用》（Proceedings ECAI-92）。ECAI-92会议记录，维也纳（1992），628-632
[9] 博尔吉达，A。；Patel-Schneider，P.，《经典描述逻辑中包含的语义和完整算法》，J.Artif。智力。第1277-308号决议（1994年）·Zbl 0900.68397号
[10] Brachmann，R。；Levesque，H.，《基于框架的描述语言中包含的可处理性》（Proceedings AAAI-84）。AAAI-84会议记录，德克萨斯州奥斯汀（1984），34-37
[11] 康斯特布尔（Constable，R.）（《用Nuprl证明开发系统实现数学》（1986），普伦蒂斯·霍尔：普伦蒂斯霍尔-恩格尔伍德克利夫斯，新泽西州）
[12] Dengler，D.，《自适应演绎规划系统》（Proceedings ECAI-94）。ECAI-94会议记录，阿姆斯特丹（1994），610-614
[13] Feigenbaum，E.，《自然学习行为的模拟》（Feigenbaum，E.；Feldman，J.，《计算机与思维》（1963），麦格劳-希尔：麦格劳–希尔纽约）·Zbl 0135.18305号
[14] 弗里德兰，P。；Iwasaki，Y.，《骨架计划的概念和实施》，J.Automated Reasoning，161-208（1985）
[15] Gabbay，D.，《声明性过去和命令性未来：命令系统的可执行时态逻辑》（Barringer，H。；Pnueli，A.，《规范中的时间逻辑会议录》。《规范中的时间逻辑学术讨论会论文集》，阿尔特里赫姆。规范中时间逻辑会议录。规范中的时间逻辑学术讨论会论文集，Altrinchham，计算机科学讲稿，398（1989），Springer:Springer New York），402-450
[16] Gallier，J.（计算机科学的逻辑：自动定理证明的基础（1987），Wiley:Wiley New York）
[17] Givan，R。；McAllester，D.，《关于局部推理关系的新结果》，（《第三届知识表示和推理原则国际会议论文集》，马萨诸塞州剑桥市，第三届国际知识表示与推理原则会议论文集（1992年），403-412
[18] Green，C.，《定理证明在问题解决中的应用》（Proceedings IJCAI-69）。《国际JCAI-69会议记录》，华盛顿特区（1969），219-239
[19] Hammond，K.，解释和修复失败的计划，Artif。智力。，45, 173-228 (1990)
[20] 汉克斯，S。；Weld，D.，《系统计划适配器：基于案例的规划的正式基础》（《技术报告》92-09-04（1992），华盛顿大学计算机科学与工程系：华盛顿大学西雅图分校计算机科学与工程学系）
[21] 汉克斯，S。；Weld，D.，《基于案例的规划的系统适应》（《第一届人工智能规划系统国际会议论文集》，1992年），96-105
[22] 汉克斯，S。；Weld，D.，一种用于计划调整的领域相关算法，J.Artif。智力。研究，2319-360（1995）
[23] 海因森，J。；Kudenko博士。；Nebel，B。；Profitlich，H.-J.，术语逻辑中动作表示的集成，（Peltason，C.；Luck，K.；Kindermann，C.，Proceedings terminological Logic Users Workshop。Proceedings terminological Logic Users Workshop，KIT Report 95（1991），TU:TU Berlin）
[24] 海塞尔，M。；赖夫·W·。；Stephan，W.，程序验证中的战术定理证明，（第十届自动扣除国际会议记录。第十届国际自动扣除会议记录，凯泽斯劳滕，施普林格：施普林格柏林），117-131·Zbl 1509.68165号
[25] Kambhampati，S.，《分层规划中的灵活重用和修改：基于验证结构的方法》（博士论文MD 207 42-3411（1989），马里兰州大学计算机视觉实验室自动化研究中心：马里兰州大学帕克计算机视觉实验室自动研究中心，MD）
[26] Kambhampati，S.，《计划修改理论》（AAAI-90会议记录）。AAAI-90会议记录，马萨诸塞州波士顿（1990），176-182
[27] Kambhampati，S。；Hendler，J.，《计划重用期间改装的控制》（会议记录IJCAI-89）。《IJCAI-89会议记录》，密歇根州底特律（1989），943-949·Zbl 0713.68076号
[28] Kambhampati，S。；Hendler，J.，《基于验证结构的计划修改和重用理论》，Artif。智力。，55, 193-258 (1992)
[29] Koehler，J.，《术语逻辑在基于案例的推理中的应用》，《第四届知识表示和推理原则国际会议论文集》，波恩（1994），351-362
[30] Koehler，J.，避免基于案例的规划中的陷阱，（第二届人工智能规划系统国际会议论文集（1994）），104-109
[31] Koehler，J.，《复杂计划的正确修改》（ECAI-94会议记录）。ECAI-94会议记录，阿姆斯特丹（1994），605-609
[32] Koehler，J.，《正式框架中的灵活计划重用》（Bäckström，C.；Sandewall，E.，《人工智能规划的当前趋势》（1994），IOS出版社：阿姆斯特丹IOS出版社），171-184
[33] Koehler，J。；Treinen，R.，《基于间隔的时态逻辑中的约束演绎》（Fisher，M.；Owen，R..，《可执行模态和时态逻辑》，《人工智能课堂讲稿》，897（1995），Springer:Springer Berlin），103-117
[34] Kolodner，J.（基于案例的推理（1993），Morgan Kaufman：Morgan Koufman Los Altos，CA）
[35] Kröger，F.（程序的时间逻辑（1987），Springer:Springer-Hidelberg）·Zbl 0609.03007号
[36] Leckie，C。；Zuckerman，I.，《学习搜索控制规则进行规划的归纳方法》（Proceedings IJCAI-93）。会议记录IJCAI-93，Chambery（1993）），1100-1105
[37] Manna，Z。；Waldinger，R.，《计划理论》（Georgeff，M.；Lansky，A.，《关于行动和计划的推理：1986年研讨会论文集》（1987），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），11-45
[38] McDermott，D.，《策划与表演》，科尼特出版社。科学。，2, 71-109 (1978)
[39] Minton，S.，《基于解释的学习效用的定量结果》（Proceedings AAAI-88）。美国明尼苏达州圣保罗AAAI-88会议记录（1988），564-569
[40] Moszkowski，B。；Manna，Z.，《区间时序逻辑中的推理》（Clarke，E.；Kozen，D.，程序逻辑会议论文集。程序逻辑会议，计算机科学讲稿，164（1983），Springer:Springer New York）·Zbl 0542.68022号
[41] Nebel，B.，《混合表示系统中的推理和修正》（人工智能讲义，422（1990），施普林格：施普林格柏林）·兹比尔0702.68095
[42] 内贝尔，B.，术语推理本质上是棘手的，Artif。智力。，43, 235-249 (1990) ·Zbl 0717.68089号
[43] Nebel，B。；Koehler，J.，《计划修改与计划生成：复杂性理论视角》（Proceedings IJCAI-93。《会议记录》IJCAI-93，钱伯里（1993），1436-1441
[44] Nebel，B。；Koehler，J.，《计划重用与计划生成：理论和实证分析》，Artif。智力。，76, 427-454 (1995)
[45] Ohlbach，H.-J.，模态逻辑的基于语义的翻译方法，J.逻辑计算。，1, 691-775 (1991) ·Zbl 0746.03010号
[46] Paulson，L.，Isabelle:接下来的700个定理证明者，（Odifredi，P.，《逻辑与计算机科学》（1990），学术出版社：纽约学术出版社）
[47] Reiter，R.，《情境演算中状态属性的证明》，Artif。智力。，64, 337-351 (1993) ·Zbl 0788.68139号
[48] 里斯贝克，C。；Schank，R.（《基于案例的内部推理》（Inside Case-Based Reasoning，1989），劳伦斯·埃尔鲍姆（Lawrence Erlbaum）：劳伦斯·埃尔鲍姆·希尔斯代尔（Lawr伦斯·埃尔鲍姆·希尔斯代尔，新泽西州）
[49] 罗斯纳，R。；Pnueli，A.，《断断续续的逻辑》（计算机科学中的逻辑研讨会论文集。计算机科学中逻辑的论文集研讨会，马萨诸塞州剑桥市（1986））
[50] 施密特-沙乌β，M。；Smolka，G.，带补语的定语概念描述，Artif。智力。，48, 1-26 (1991) ·Zbl 0712.68095号
[51] Selman，B.，《近最优计划、可驾驭性和反应性》，（《第四届知识表示和推理原则国际会议论文集》，波恩（1994），521-529
[52] 斯蒂芬·W。；Biundo，S.，基于时间间隔逻辑的多级细化规划，（第七届葡萄牙人工智能会议论文集。第七届葡萄牙人人工智能会议文献集，人工智能讲义，990（1995），施普林格：施普林格柏林），483-487
[53] 特拉弗索，P。；Cimatti，A。；Spalazzi，L.，《超越单一规划范式：内省规划》（Proceedings ECAI-92）。ECAI-92会议记录，维也纳（1992），643-647
[54] Veloso，M.，《通过类比推理进行规划和学习》（《人工智能讲义》，886（1994），施普林格出版社：施普林格-柏林）·Zbl 0875.68747号
[55] Wallen，L.，（非经典逻辑中的自动演绎（1989），麻省理工学院出版社：麻省理学院出版社剑桥）
[56] 魏达，R。；Litman，D.，《异构约束网络的吸纳和识别》（第十届IEEE应用人工智能会议论文集（1994年））
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。