论文部分内容阅读
指出了信念格上的多值非循环有限自动机并给出了特征和算法，分别与Ｒｏｕｎｄｓ－Ｋａｓｐｅｒ和Ｄａｗａｒ－Ｓｈａｎｋｅｒ的非循环有限自动机相比较，这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑和它的语义，并为该逻辑提供了一个充分且完备的证明系统。最后，证明了最小不相容特征描述逻辑的可满足性问题是ＮＰ－完全的。