辩论推理系统的语义计算：一种基于划分的方法及其实现

项目名称： 辩论推理系统的语义计算：一种基于划分的方法及其实现

项目编号： No.61175058

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化学科

项目作者： 廖备水

作者单位： 浙江大学

项目金额： 56万元

中文摘要： 如何高效地计算静态/动态辩论推理系统的语义是当前人工智能研究领域的一个重点和难点。本项目在现有工作的基础上，采用"分而治之"和"有效利用上次计算结果"的策略，借助于图论中有向图的"强连通分量"和"节点可达关系"的概念，建立一个基于划分的辩论推理系统语义计算理论体系，具体包括：基于强连通分量的静态辩论框架划分方法、基于节点可达关系的动态辩论框架划分方法、"受限子框架"及其语义理论、静态/动态辩论框架的语义合成理论等。在此基础上，利用回答集编程理论和现有的回答集求解器，构建相应的实现方法和系统原型，并通过程序测试来评估系统的性能。通过基于划分的方法，对于静态辩论框架，可以实现语义的局部计算与递归合成；对于动态辩论框架，只需重新计算受影响部分（受限子框架）的语义，从而可以解决静态/动态辩论系统语义计算的低效问题，促进辩论系统在Agent非单调推理、决策、协商、法律推理、医学推理等不同领域的应用。

中文关键词： 辩论推理；非单调推理；计算效率；有向图；逻辑编程

英文摘要：

英文关键词： argumentation；non-monotonic reasoning；computational efficiency；directed graph；logic programming