定性代数的形式框架FAQA

被引：3

作者：

陈见，石纯一

机构：

[1] 清华大学计算机科学与技术系，汕头大学计算机科学研究所

来源：

关键词：

定性推理，定性代数，定性论域，定性运算，混合代数;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

本文首先讨论了定性推理系统和定量推理系统的结构论述．进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述．ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人工作理论上的完善及统一基础．

引用

页码：417 / 423

页数：7