论文标题
信仰基础修订以进一步改善统一答案集编程
Belief Base Revision for Further Improvement of Unified Answer Set Programming
论文作者
论文摘要
建立了信仰基础修订。信念基础是使用统一的答案集程序表示的，该程序能够代表不精确和不确定的信息并对其执行诺诺诺式推理。使用已删除的设置修订策略开发基本修订运营商。根据基本修订操作员满足的假设的特征，操作员的特征是。
A belief base revision is developed. The belief base is represented using Unified Answer Set Programs which is capable of representing imprecise and uncertain information and perform nonomonotonic reasoning with them. The base revision operator is developed using Removed Set Revision strategy. The operator is characterized with respect to the postulates for base revisions operator satisfies.
