控制功能不确定性
cmp-lg
2008-02-03 v1 计算与语言
摘要
关于检查特征描述可满足性的方法目前存在两种不同的方法，分别如文献\cite{Kaplan:88CO}和\cite{Backofen:94JSC}所述。虽然仅\cite{Backofen:94JSC}中提出的方法能够完整求解可满足性问题，但两种方法各有优势。然而，在单一描述中，可能存在某些部分适合采用第一种方法，而其他部分则应采用第二种方法。本文提出了一种通用框架，允许将两种方法组合使用。具体做法是提出一组用于简化特征描述的规则。不同的方法被表述为对该规则集的不同控制方式，其中控制指定必须以何种顺序应用不同规则。
引用
@article{arxiv.cmp-lg/9608002,
title = {Controlling Functional Uncertainty},
author = {Rolf Backofen},
journal= {arXiv preprint arXiv:cmp-lg/9608002},
year = {2008}
}
备注
5 pages (to appear in Proceedings of ECAI '96)