多值特征结构描述(英文)  

Multiple\|valued Feature Structure Description

作　　者：于江生[1] 程民德[1] 

机构地区：[1]北京大学数学科学学院,北京100871

出　　处：《北京大学学报（自然科学版）》1999年第5期589-601,共13页Acta Scientiarum Naturalium Universitatis Pekinensis

摘　　要：提出了信念格上的多值非循环有限自动机并给出了特征和的算法，分别与 Ｒｏｕｎｄｓ Ｋａｓｐｅｒ和 Ｄａｗａｒ Ｓｈａｎｋｅｒ 的非循环有限自动机相比较，这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑和它的语义，并为该逻辑提供了一个充分且完备的证明系统。最后，证明了最小不相容特征描述逻辑的可满足性问题是 ＮFeature structures are used in represention of linguistic knowledge.Rounds and K asper proposed the acyclic finite automaton to describe the feature structures ( f\|structures) on which Rounds\|Kasper Logic is defined.Later,several persons pr oposed various logics that include negation in Rounds\|Kasper\|like framework.In this article,a description of multiple\|valued feature structures based on beli ef lattice is established,which extends the ability of semantic operations.Then ,Minimally Inconsistent Feature Description Logic and its semantics are defined. W e also showed some properties of them.Finally,we presented a sound and complete proof system for our logic and a theorem of NP\|completeness.

关 键 词：信念格 有限自动机 蕴涵 特征和 多值特征结构 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]