位置:成果数据库 > 期刊 > 期刊详情页
一种抽象缺省推理框架的表示性质
  • ISSN号:1673-2782
  • 期刊名称:《福建电脑》
  • 时间:0
  • 分类:TP182[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构:[1]南京航空航天大学信息科学与技术学院,中国南京210016, [2]清华大学信息科学技术学院,中国北京100084
  • 相关基金:国家自然科学基金(60473036)资助项目.
中文摘要:

提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质,并由此证明了任意无联结词形式的累积非单调后承关系,可以用抽象缺省推理框架来表示。

英文摘要:

presented The conceptions of abstract default reasoning frameworks (ADRFs) and D-consequence relations are Based on representation properties of D-consequence relations, it proves that any cumulative nonmonotonic consequence relation with the connective-free form can be represented by ADRFs.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《福建电脑》
  • 主管单位:福建省科学技术厅
  • 主办单位:福建省计算机学会
  • 主编:王晓东
  • 地址:福州市鼓楼区树汤路66号凯旋花园4#501
  • 邮编:350003
  • 邮箱:fjdnbjb@vip.163.com
  • 电话:0591-87814718
  • 国际标准刊号:ISSN:1673-2782
  • 国内统一刊号:ISSN:35-1115/TP
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:15647