多值特征结构描述

• 作者: 于江生 程民德
• 来源期刊: 北京大学学报（自然科学版）
• 学科: 工学
• 关键词: 信念格 多值非循环有限自动机 蕴涵 特征和 最小不相容特征描述逻辑
• 年，卷（期）: 1999,（5）
• 页码范围: 589-601
• 页数: 13页
• 分类号: TP391
• 字数: 3920字
• 语种: 中文
• DOI: 10.3321/j.issn:0479-8023.1999.05.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程民德	北京大学数学科学学院	4	34	2.0	4.0
2	于江生	北京大学数学科学学院	5	49	2.0	5.0