关于认识规范的分割集定理
人工智能
2007-05-23 v1
摘要
过去十年间，已完成大量研究以扩展逻辑编程语言以处理不完整信息。一种此类语言是认识规范语言。正如逻辑编程语言通常情况下的做法一样，一般情况下回答查询的问题是不可计算的。对于扩展亦然逻辑程序，一个已在简化答案集合调查方面证明有用的想法是使用分割集。在本文中，我们将提出适用于认识规范的分割集的扩展定义。此外，将提出分割集定理的扩展。还将以分割集术语给出分层认识规范的表征。这种表征使我们能够获得一种用于计算认识逻辑程序世界视图子类的算法方法。
引用
@article{arxiv.cs/0003038,
title = {A Splitting Set Theorem for Epistemic Specifications},
author = {Richard Watson},
journal= {arXiv preprint arXiv:cs/0003038},
year = {2007}
}
备注
To be published in Proceedings of NMR 2000 Workshop. 6 pages