论文部分内容阅读
本文首先讨论了定性推理系统和一量推理系统的描述，进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述。ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人工作理论上的完善及统一基础。
定性代数的形式框架FAQA
【摘 要】
：
本文首先讨论了定性推理系统和一量推理系统的描述，进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述。ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人
【机 构】
：
清华大学计算机科学与技术系,汕头大学计算机科学研究所
【出 处】
：
计算机学报
【发表日期】
：
1995年6期
其他文献
根据某小区楼板混凝土发生冻害的情况,分析了混凝土缺陷产生的机理与原因,提出了商品混凝土搅拌站和施工单位预防混凝土冻害应采取的措施。对发生混凝土楼板冻害的工程提出了
本文讨论了Ｚ＾＊ｎ（ｎ＝ｐｑ，ｐ和ｑ未知）中离散对数问题的一些基本概念及问题本身的难度；定义了Ｚ＾＊ｎ中离散对数问题中关于判断主平方根的谓词Ｂｎ，ａ（ｘ），证明了谓词Ｂｎ，ａ（ｘ）即为Ｚ＾＊ｎ中离散对数问题的安全谓词。