主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王克文,胡久稔.标记辩论推理系统.软件学报,1997,8(11):838-851
标记辩论推理系统
A CUMULATIVE ARGUMENT SYSTEM
  修订日期:1996-12-09
DOI:
中文关键词:  非单调推理  缺省逻辑  累加性  辩论推理  
英文关键词:Nonmonotonic reasoning  default logic  cumulativity  argument  
基金项目:本文研究得到国家攀登计划项目基金和国家863高科技项目基金资助.
作者单位
王克文 南开数学研究所,天津,300071 
胡久稔 南开数学研究所,天津,300071 
摘要点击次数: 2215
全文下载次数: 2452
中文摘要:
      Lin提出的辩论推理系统为非单调推理形式提供了一种统一的基础,其推理机制由所谓的论点结构实现.由Lin的系统导出的非单调推理并不具有累加性,而该性质是衡量一个非单调推理关系的重要标志之一.利用Brewka的方法,本文提出标记辩论推理的概念,并且证明缺省逻辑CDL可以嵌入本系统,从而也间接地给出了标记辩论系统具有累加性的一种充分条件.为了彻底地恢复累加性,本文提出了强封闭论点结构的概念,且由标记辩论系统的强封闭论点结构定义的非单调推理具有累加性.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利