###
DOI:
Journal of Software:1997.8(11):838-851

标记辩论推理系统
王克文,胡久稔
(南开数学研究所,天津,300071)
A CUMULATIVE ARGUMENT SYSTEM
WANG Kewen,HU Jiuren
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2373   Download 2542
    Revised:December 09, 1996
> 中文摘要: 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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家攀登计划项目基金和国家863高科技项目基金资助. 本文研究得到国家攀登计划项目基金和国家863高科技项目基金资助.
Foundation items:
Reference text:

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

WANG Kewen,HU Jiuren.A CUMULATIVE ARGUMENT SYSTEM.Journal of Software,1997,8(11):838-851