埃拉扎尔·伯恩鲍姆;埃利泽·洛津斯基。 不一致系统的一致子集:结构和行为。 (英语) Zbl 1025.68090号 J.实验理论。Artif公司。智力。 15,第1期,25-46(2003). 摘要:长期运行的大型知识系统几乎不可避免地会被错误的数据“污染”,从而导致系统不一致。尽管如此,该系统的很大一部分仍然没有受到污染,并保留了有用的信息。人们普遍认为,系统的最大一致子集(mc-subset)包含大量未受污染的数据。因此,确定mc子集是用不一致知识进行推理的必要步骤。我们考虑了MAX-SAT问题的扩展,研究了mc子集的特征,提出了计算不一致子句集的所有或主要mc子集中的算法,并报告了评估mc子集合参数的实验结果。 引用于17文件 MSC公司: 68层35 人工智能的语言和软件系统理论(基于知识的系统、专家系统等) 关键词:知识体系;MAX-SAT问题 PDF格式BibTeX公司 XML格式引用 \textit{E.Birnbaum}和\textit{E.L.Lozinskii},J.Exp.Theor。Artif公司。因特尔。15、第1号、第25-46号(2003年;Zbl 1025.68090) 全文: 内政部