论文部分内容阅读
人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的。因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。
经验逻辑：一种非单调逻辑的统一形式
【摘 要】
：
人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的
【机 构】
：
国家智能计算机研究开发中心北京100080汕头大学计算机系汕头515063
【出 处】
：
计算机学报
【发表日期】
：
1993年8期
其他文献
移动、联通，作为国内两大移动通信运营商．其铺天盖地的广告．每天都在刺激人们的眼球，无所不在的宣传攻势．随时渗透到人们的生活当中。对于移动和联通的宣传对垒，仔细对比起来．很有趣
ＯＳＩ系统管理是ＯＳＩ的一个重要组成部分，由于系统管理的特殊性，传统的一致性测试方法并不很适合于系统管理，本文分析了系统管理的各个部分，描述了与各个部分相适应的一致性测试方法。
当前甜菜碱作为一种添加剂广泛应用于动物饲料中。甜菜碱是胆碱的氧化产物，在很多重要的生理代谢过程中具有代替蛋氨酸的作用。本试验通过在Mur-ciano—Granadina奶山羊的饲料
知识获取方法学是目前人工智能领域中最重要的分支之一,现在已出现了几种不同应用范围的获取方法,集成式知识获取方法的研究已成为当前的一种趋势,本文所介绍的DECO方法是一
本研究旨在调查日粮中添加香味剂与其他3种添加剂组合对断奶仔猪采食量的影响。试验共使用6栏57头30日龄左右的长白或大白断奶仔猪,其中4栏体重为6kg多,使用容积相对较小的圆
本文提中一种最小费用流算法,实现从两个正交的一维投影重建图象。该方法在寻找增值链的过程中,为网络各节点设置状态变量,用以记录当前增值链通过该节点允许的最大费用值,使
S-UNIX是一个基于UNIX的安全操作系统,其目标是TCSEC的B2级以上且保持与UNIX的兼容性,本文从存取控制、审计、可信进程管理、病毒防御、隐通道分析处理、可信通路建立六个方
基于结构化方法的集成化程序设计环境IPE支持软件的设计与实现阶段,它以结构图和问题分析图作为软件设计的主要手段,提供了一组软件开发工具.以菜单方式和环境信息库实现工具
本文提出一种逻辑图自动生成的策略,并在LOD系统中得到实用.利用功能或结构信息进行结构优化,对触发器等元件以宏单元形式出现;横向上网格化,由输入到输出逐级定位,纵向上利