一种处理模糊性与不确定性的非单调推理统一框架
人工智能
2020-08-06 v4
摘要
提出了一种区间值模糊回答集编程范式，用于带有模糊与不确定信息的非单调推理。将[0,1]的子区间集合视为真值空间。区间通过基于预序的真值与知识序进行排序。该基于预序的序是双格序的增强版本。该系统能够表示并推理带优先级的规则以及带例外的规则。提出了一种用于回答集计算的迭代方法。利用差分方程的概念，给出了一类逻辑程序迭代终止的充分条件。
引用
@article{arxiv.1910.06902,
title = {A Unified Framework for Nonmonotonic Reasoning with Vagueness and Uncertainty},
author = {Sandip Paul and Kumar Sankar Ray and Diganta Saha},
journal= {arXiv preprint arXiv:1910.06902},
year = {2020}
}