多值特征结构描述

摘要：

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

关键词：信念格、多值非循环有限自动机、蕴涵、特征和、最小不相容特征描述逻辑

所属期刊栏目：35

分类号：TP391(计算技术、计算机技术)

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：589-601