|
题名:
|
论辩系统 / 廖备水著 , |
|
ISBN:
|
978-7-308-10526-2 价格： CNY30.00 |
|
语种:
|
chi |
|
载体形态:
|
145页 图 26cm |
|
出版发行:
|
出版地： 杭州 出版社： 浙江大学出版社 出版日期： 2012.9 |
|
内容提要:
|
本书首先分析在不同应用背景下, Agent在进行各种推理时所面临的共同问题, 并在此基础上引入论辩系统的基本概念。接着, 系统阐述论辩系统“静态方面”的形式理论, 包括论辩系统的表示、论辩系统的语义描述和论辩系统的语义求解。随后, 简要介绍论辩系统“动态方面”的相关理论和方法。此外, 由于论辩系统的语义求解属于NP问题, 如何高效计算论辩系统的语义是目前所面临的核心问题之一。第6章着重讨论论辩系统语义求解 (包括静态方面和动态方面) 的高效性问题, 并给出一种高效求解论辩语义的基础理论: 论辩语义的局部性与可组合性。第7章则介绍论辩系统形式体系在Agent非单调推理中的应用情况。最后, 第8章给出了总结性阐述。 |
|
主题词:
|
智能控制 自动控制系统 |
|
中图分类法:
|
TP273 版次： 5 |
|
其它题名:
|
不一致情境中的推理 |
|
主要责任者:
|
廖备水 著 |
|
附注:
|
本书系国家自然科学基金项目“辩论推理系统的语义计算: 一种基于划分的方法及其实现”(批准号: 61175058) 和国家社会科学基金重大项目“基于逻辑视域的认知研究”(批准号: 11&ZD088) 的阶段性成果 |