关于ontology的对话

在一次机器学习的讨论班上，老师和学生甲、学生乙就ontology的话题展开了下面的对话。笔者恰巧在场并对他们的谈话产生了兴趣，于是记录下来稍加整理以飨读者。     

多值特征结构描述

提出了信念格上的多值非循环有限自动机并给出了特征和的算法,分别与Rounds-Kasper和Dawar-Shanker的非循环有限自动机相比较,这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑和它的语义,并为该逻辑提供了一个充分且完备的证明系统。最后,证明了最小不相容特征描述逻辑的可满足性问题是NP-完全的。