基于模型诊断中用逻辑数组计算最小碰集

被引：17

作者：

林笠

机构：

[1] 暨南大学数学系广东广州

来源：

暨南大学学报(自然科学与医学版) | 2002年 / 01期

基金：

广东省自然科学基金;

关键词：

基于模型诊断; 最小冲突集; 最小碰集; 数组;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

在基于模型诊断中 ,冲突集的最小碰集就是诊断目标 .提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法 .

引用

页码：24 / 27

页数：4

共 5 条

[1]

Deriving minimal conflict sets by CS-tree with mark set in diagnosis from first principles. HAN Benjamin,LEE Shie- jue. IEEE Transactions on Systems Man and Cybernetics . 1999

[2]

Comments on the theory of measurement in diagnosis from first principle. HAN Benjamin,LEE Shie-jue,YANG Hsin-Tai. Journal of Information Science . 1999

[3]

A theory of diagnosis from first principles. RAYMOND R. Artificial Intelligence . 1987

[4]

A correction to the algorithm in Reiter’s theory of diagnosis (research note). GREINER R,SMITH B A,Willkerson R W. Artificial Intelligence . 1989

[5]

A variant of Reiter’s hitting-set algorithm. FRANZ Wotawa. Information Processing Letters . 2001

← 1 →