| ISBN/价格： | 978-7-308-10526-2:CNY30.00 |
|---|
| 作品语种： | chi |
|---|
| 出版国别： | CN 330000 |
|---|
| 题名责任者项： | 论辩系统/.廖备水著 |
|---|
| 出版发行项： | 杭州:,浙江大学出版社:,2012.09 |
|---|
| 载体形态项： | 145页:;+26cm |
|---|
| 一般附注： | 国家自然科学基金项目“辩论推理系统的语义计算：一种基于划分的方法及其实现”和国家社会科学基金重大项目“基于逻辑视域的认知研究”的阶段性成果 浙江大学语言与认知研究国家创新基地资助出版 |
|---|
| 提要文摘： | 本书首先分析在不同应用背景下，Agent在进行各种推理时所面临的共同问题，并在此基础上引入论辩系统的基本概念。接着，阐述论辩系统“静态方面”的形式理论，包括论辩系统的表示、论辩系统的语义描述和论辩系统的语义求解。随后，介绍论辩系统“动态方面”的相关理论和方法。然后着重讨论论辩系统语义求解(包括静态方面和动态方面)的高效性问题，并给出一种高效求解论辩语义的基础理论：论辩语义的局部性与可组合性。最后则介绍论辩系统形式体系在Agent非单调推理中的应用情况，并给出了总结性阐述。 |
|---|
| 并列题名： | Argumentation systems eng |
|---|
| 题名主题： | 智能控制 自动控制系统 研究 |
|---|
| 中图分类： | TP273 |
|---|
| 个人名称等同： | 廖备水 著 |
|---|
| 记录来源： | CN 重大书店 20130326 |
|---|