MARC状态:审校 文献类型:中文图书 浏览次数:59
- 题名/责任者:
- Efficient computation of argumentation semantics / Beishui Liao.
- 出版发行项:
- 杭州 : 浙江大学出版社, 2015.
- ISBN:
- 9787308143257
- 载体形态项:
- 144 p. : ill. ; 24cm.
- 变异题名:
- 辩论推理系统的语义计算
- 个人责任者:
- Liao, beishui(廖备水).
- 论题主题:
- The debate-Reasoning-Speech statistics.
- 中图法分类号:
- H019
- 一般附注:
- The copyright page parallel titles.
- 书目附注:
- Includes bibliographical references and index.
- 摘要附注:
- This book uses the similar to the algorithm in the theory of "divide and conquer" strategy and the effective use of last calculation results "strategy, to establish a system based on division of the argumentation semantics theory, on the basis of using answer set programming theory and existing answer set solver, implementation method and prototype system to construct the corresponding, and through the test program to evaluate the system performance, so as to solve the static / dynamic argument system semantic computation efficiency, there are important theoretical significance and application value.
全部MARC细节信息>>