项目简介
项目名称
辩论的形式化模型及争议评价算法研究
项目批准号
61075059
学科分类
F030505
信息科学部
_自动化
_人工智能与知识工程
_逻辑、推理与问题求解
资助类型
信息科学
负责人
熊才权
依托单位
湖北工业大学
批准年份
2010
起止时间
201101-201312
批准金额
33.00万元
摘要
辩论模型是解决非结构化和不确定性信息处理的重要手段，在群决策、非单调逻辑形式系统建模、多Agent交互等领域有广泛应用。目前研究主要从两个方面进行，对日常辩论建模和用辩论对形式系统建模。前者重在争议结构分解和辩论过程图形化表示，但没有提出相应的争议评价算法；后者重在对辩论的抽象和形式化，易于实现相应的争议评价算法，但没有反映日常辩论的本质。本课题将这两方面结合起来，以对日常辩论建模为研究入口，提出一种形式化辩论模型。先对辩论过程进行抽象和形式化，包括争议结构化分解和争议之间的攻击、支援和反驳等关系表示，在此基础上设计争议可防卫性算法和假说可接受性算法实现对争议的评价，然后通过开发辩论支持系统和多Agent交互协议体现其应用价值。本研究能弥补现有研究的不足，所提出的模型不仅能解决基于辩论的群决策支持系统中的基础理论问题，还能用于人工智能领域的形式系统建模，具有重要的理论意义和应用价值。
评论区 (0)
#插入话题
