声明性修订策略的表征
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
本文介绍了一种非单调信念修订框架，能够基于关于信息的元知识对不同信息可靠性进行推理，并且能够以声明性方式描述修订策略。该方法基于Poole式的默认推理系统，其中以逻辑语言表示 entrenchment 信息。一种基于单调算子最小固定点的推理概念被用于确保所有理论都拥有一致的结论集合。
关键词
引用
@article{arxiv.cs/0003035,
title = {Declarative Representation of Revision Strategies},
author = {Gerhard Brewka},
journal= {arXiv preprint arXiv:cs/0003035},
year = {2007}
}