基于信念基修正的统一答案集编程的进一步改进
人工智能
2020-11-24 v2
摘要
本文提出了一种信念基修正方法。该信念基使用统一答案集程序表示，能够表示不精确和不确定信息并对其进行非单调推理。该基修正算子采用移除集修正策略开发。该算子针对基修正算子的公设进行了刻画，并满足这些公设。
引用
@article{arxiv.2003.04369,
title = {Belief Base Revision for Further Improvement of Unified Answer Set Programming},
author = {Kumar Sankar Ray and Sandip Paul and Diganta Saha},
journal= {arXiv preprint arXiv:2003.04369},
year = {2020}
}