×

KL-ONE中的沉没是不可判定的。 (英语) Zbl 0709.68096号

知识表示和推理原理。第一。多伦多/加拿大国际会议。1989, 421-431 (1989).
摘要:[有关整个系列,请参阅Zbl 0699.00013号.]
结果表明,在基于框架的KL-ONE语言中,一个概念是否被另一个概念所包含是不可判定的。事实上,KL-ONE使用了一个相当小的子语言,名为\({\mathcal a}{\mathcal L}{\mathcal R}\),它只使用概念形成操作符连接、值限制和仅使用“\(=”\的角色-值映射。特别是,不使用数字限制。语言({\mathcal A}{\mathcal L}{\mathcal R})可以被视为没有补语和联合的特征项的扩展,其中特征具有集合而不是元素。我们的结果表明,特征项和KL-ONE之间有一个基本的区别,因为如果去掉角色是功能性的限制,包含的复杂性将从准线性切换到不可判定。

MSC公司:

68立方英尺 知识表示