吉大港巴拉尔 知识表示、推理和陈述性问题解决。 （英语） Zbl 1056.68139号 剑桥：剑桥大学出版社（ISBN 0-521-81802-8/hbk）。xiv，530页。(2003). 书中介绍了答案集编程（ASP）原理的理论研究以及ASP在知识表示和问题解决中的应用。知识表示语言AnsProlog公司*建议并使用。ASP基于逻辑程序的答案集语义；根据程序的答案集回答查询。第1章阐述了声明式编程的重要性。AnsProlog公司*与其他声明性语言以及Prolog进行了比较。的各种子类的语法和语义AnsProlog公司*显示了。一些小的AnsProlog公司*第2章介绍了程序（问题解决或知识表示模块）。有助于分析和逐步构建AnsProlog公司*程序在第3章中介绍。研究了范畴性、连贯性、可计算性、滤可约性、语言独立性、语言容忍性、强等价性、一阶理论的可编译性等性质。几个重要的子类AnsProlog公司*定义。介绍了分裂的概念，并说明了如何将分裂的概念用于逐步计算答案集。第4章致力于陈述式问题解决和推理AnsProlog公司*. 重点是项目开发。在讨论了约束满足、自动推理、组合图问题等领域的实例之后，提出了一种具有优先默认值的推理的通用方法。下一章将讨论行动和计划的推理。还讨论了在观测同化和解释以及诊断中的应用。复杂性、表达性、模块性AnsProlog公司*第六章研究了它与其他非单调形式主义的关系。第7章介绍、分析和比较了答案集计算算法。重点介绍了一种在计算好的模型后使用分支定界的算法、假设和约简算法、smodels算法和dlv算法。第八章解释了如何使用smodels和dlv系统进行编程。这些系统的扩展功能AnsProlog公司*文中进行了讨论，并给出了一些程序。当Prolog解释器可用于回答以下问题时，会对其进行描述AnsProlog公司*程序以及在什么条件下Prolog解释器在AnsProlog公司*. 介绍了smodels和dlv在组合拍卖、计划、调度、主动数据库的规范和验证等领域的应用。对的几个扩展AnsProlog公司*在第9章中进行了讨论。扩展中允许使用以下功能：不在规则头、嵌套表达式、认知运算符、溯因推理、集合构造、规则之间优先级的指定中。最后，我要说的是，在ASP的历史很短之后，一本内容丰富的书的出现是令人钦佩的，书中包含了如此深刻的理论内容，以及对实际应用有用的分析、方法和示例。审核人：扬·谢夫拉内克（布拉迪斯拉发） 引用于1审查引用于210文件 MSC公司： 68立方英尺 知识表示 68N17号 逻辑编程 第68页第27页 人工智能中的逻辑 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：答案集编程;声明式编程;答案集语义 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}，知识表示、推理和陈述性问题解决。剑桥：剑桥大学出版社（2003；Zbl 1056.68139） 全文： 内政部