标记辩论推理系统
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到国家攀登计划项目基金和国家863高科技项目基金资助.


A CUMULATIVE ARGUMENT SYSTEM
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    Lin提出的辩论推理系统为非单调推理形式提供了一种统一的基础,其推理机制由所谓的论点结构实现.由Lin的系统导出的非单调推理并不具有累加性,而该性质是衡量一个非单调推理关系的重要标志之一.利用Brewka的方法,本文提出标记辩论推理的概念,并且证明缺省逻辑CDL可以嵌入本系统,从而也间接地给出了标记辩论系统具有累加性的一种充分条件.为了彻底地恢复累加性,本文提出了强封闭论点结构的概念,且由标记辩论系统的强封闭论点结构定义的非单调推理具有累加性.

    Abstract:

    In this paper,an AOP(agent oriented programming)framework is described from the view of the SO-called cooperative agent application problem.In the framework,a new agent language(AOPL)is presented,the design and implementation of its program-ming system called AOPS are discussed.AOPS can translate AOPL to C.Moreover,a new agent relation model is presented.Detailed discussion is the composition of the model and the importance on embodying the architecture of the cooperative agent application sys-tem,guiding the cooperative behavior among agents,and supporting the in-depth appre-hension about the characteristics of the system architecture.Finally,the application of AOP in the multiple functional perception system which is nOW being implemented is dis-cussed.

    参考文献
    相似文献
    引证文献
引用本文

王克文,胡久稔.标记辩论推理系统.软件学报,1997,8(11):838-851

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:1996-12-09
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号