×
屠呦呦；儿子Tran Cao；奇塔·巴拉尔

使用答案集编程，通过感知动作、不完整信息和静态因果律进行推理和规划。 （英语） Zbl 1120.68101号

理论与实践。日志。程序。 7，第4期，377-450（2007）.
小结：我们扩展了传感作用和不完全信息的0近似T.儿子和C.巴拉尔[《情报》第125、19–91条（2001年；Zbl 0969.68152号)]用静态因果律证明行为理论相对于可能世界语义的合理性。我们还证明了关于这个近似的条件规划问题是NP-完全的。然后，我们提出了一种基于答案集编程的条件规划器，称为ASCP，它能够在存在感知动作、初始状态的不完整信息和静态因果律的情况下生成一致计划和条件计划。我们证明了我们实现的正确性，并论证了我们的规划器相对于所建议的近似值是合理和完整的。最后，我们给出了ASCP与其他规划师的对比实验结果。

引用于12文件

MSC公司：

68层37 人工智能背景下的不确定性推理
68N17号 逻辑编程

关键词：

关于行动和变化的推理；感应动作；信息不完整；一致性规划；有条件规划；答案集编程

引文：

兹伯利0969.68152

软件：

C模型；NoMoRe公司；亚萨特
PDF格式BibTeX公司 XML格式引用
\textit{P.H.Tu}等人，理论与实践。日志。程序。7，第4号，377--450（2007；Zbl 1120.68101）
全文： 内政部

参考文献：

[1] 迪莫普洛斯，《人工智能规划的最新进展》，第四届欧洲规划会议，ECP’97，法国图卢兹，1997年9月24日至26日，会议记录第169页–（1997）
[2] Son，《第七届逻辑程序设计和非单调推理国际会议论文集》（LPNMR’04）2923 pp 261–（2004）·doi:10.1007/978-3-540-24609-1_23
[3] Bonet，《第六届人工智能规划和调度国际会议论文集》，第52页–（2000）
[4] Smith，《第十五届全国/第十届人工智能会议论文集》（AAAI'98），第889页–（1998）
[5] Cimatti，《人工智能研究杂志》13，第305页–（2000）
[6] Blum，《第14届国际人工智能联合会议记录》，第1636页–
[7] Cimatti，欧洲规划会议第21页–（1999）
[8] 贝托利，第十七届国际人工智能联合会议记录，第467页–（2001）
[9] Castellini，《人工智能》147，第85页–（2003）·Zbl 1082.68799号 ·doi:10.1016/S0004-3702（02）00375-2
[10] Rintanen，《人工智能研究杂志》，10 pp 323–（2000）
[11] 普赖尔，《人工智能研究杂志》4，第287页–（1996）
[12] 巴拉尔，《知识表示、推理和用答案集解决陈述性问题》（2003年）·Zbl 1056.68139号 ·doi:10.1017/CBO9780511543357
[13] Anger，《2002年第八届欧洲人工智能逻辑研讨会论文集》（2002年）
[14] Anderson，《第四届人工智能规划系统国际会议论文集》（AIPS’98），第44–（1998）页
[15] 林，《全国人工智能会议论文集》（AAAI'02）第112页–（2002）
[16] Lierler，第七届逻辑程序设计和非单调推理国际会议论文集（LPNMR’04）2923 pp 346–（2004）·doi:10.1007/978-3-540-24609-1_32
[17] Levesque，《第14届人工智能会议论文集》，第1139页–（1996）
[18] 霍夫曼（Hoffmann），《人工智能研究杂志》（Journal of Artificial Intelligence Research），第14页，第253页–（2001）
[19] Golden，《第五届知识表示和推理原则国际会议论文集》（KR’96），第174–（1996）页
[20] Weld，《第十五届全国人工智能会议论文集》（AAAI'98），第897页–（1998）
[21] 蒂尔舍尔，《第七届知识、表示和推理原则国际会议论文集》（KR’2000），第109页–（2000）
[22] Peot，《第一届人工智能规划系统国际会议论文集》，第189页–（1992年）
[23] 摩尔，常识世界的形式理论（1985）
[24] Lifschitz，《1999年逻辑编程国际会议论文集》，第23页–（1999）
[25] 麦凯恩，《第14届国际人工智能联合会议记录》，pp 1978–（1995）
[26] Lifschitz，第十一届逻辑编程国际会议论文集，第23页–（1994）
[27] Thiebaux，《第18届国际人工智能联合会议论文集》，第961页-（2003）
[28] Gelfond，《逻辑编程：第五届国际会议和交响乐会论文集》。第1070页–（1988）
[29] Brafman，《第14届国际自动化计划与调度会议论文集》（ICAPS-04）第355页（2004年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。