集合描述与集合操作的属性逻辑
cmp-lg
2008-02-03 v1 计算与语言
摘要
本文为扩充了集合描述的特征项提供了一个模型论语义。我们提供了约束以指定 HPSG 风格的集合描述、固定基数集合描述、集合成员约束、受限制的全称角色量化、集合并、交、子集和不相交。提供了一个健全的、完备且终止的一致性检验过程，用于确定逻辑中任意项的一致性。已被证明确定项的一致性是一个 NP 完全问题。
引用
@article{arxiv.cmp-lg/9405031,
title = {An Attributive Logic of Set Descriptions and Set Operations},
author = {Suresh Manandhar},
journal= {arXiv preprint arXiv:cmp-lg/9405031},
year = {2008}
}
备注
8 pages, epsf.sty, leqno.sty, LaTeX, ACL'94