聂文龙
- 作品数：12 被引量：24H指数：2
- 供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划上海市高等学校科学技术发展基金更多>>
- 相关领域：自动化与计算机技术理学自然科学总论政治法律更多>>
- 模糊Lambek演算
- 本文意图将Lambek演算LC中的范畴概念推广到模糊模糊范畴,从而使LC推广为模糊Lambek演算FLC,并给出易于应用的简化演算FLC*.通过示例的成功应用,说明FLC是LC的一种合适的推广.
- 聂文龙鞠实儿
- 关键词：LC
- 文献传递
- Lambek逻辑的名词化扩充
- 2007年
- 出于语言学的动机,给出著名的Lambek逻辑L的一个扩充L^(nom),在L^(nom)中,引入名词化的公理与规则.系统L^(nom)关于修正幂集剩余半群语义是可靠和完全的。
- 聂文龙
- 关键词：范畴语法名词化
- 判断的定性映射模型与非线性模式分类(Ⅰ)被引量：19
- 2004年
- 基于事物属性量—质特征转化关系的简单性质判断可归结为一个定性映射τp(x,cp),(判断元素x是否属于集合S的)特征函数、单(或多)指标性质判断和单(或多)特征向量判断(或检索),可分别归结为以一般集合S、区间(αi,βi)、区间向量、区间矩阵、向量和矩阵为定性基准cp的定性映射.
- 冯嘉礼聂文龙
- 关键词：定性映射
- 一种新的基于间断区间的时态形式系统
- 1997年
- 本文给出了一种新的形式系统ＧＴＬ，并证明了ＧＴＬ的完备性。
- 聂文龙严小区
- 关键词：时态逻辑时态推理人工智能
- 一个新的不确定性知识表示模型被引量：4
- 1995年
- 指出模糊集合论中几个操作算子的不充分性，并根据概率论上的一些成熟公式找出一些有用的信息并增加到规则中去，从而得到一个新的不确定性知识的表示模型。
- 聂文龙严小卫张师超
- 关键词：知识表示人工智能模糊集合论
- 语形的一般逻辑结构
- 聂文龙
- 关键词：语言逻辑
- 集合搜索的复杂性
- 1994年
- 对已有的一种集合搜索技术进行讨论，分析了它的复杂性并证明它是一个ＮＰ问题．
- 张师超聂文龙
- 关键词：搜索知识表示
- 属性论的分级推理方法
- 2006年
- 有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。
- 聂文龙冯嘉礼
- 关键词：属性论定性映射
- 定性判断映射的逻辑被引量：2
- 2004年
- 人工智能中对判断的逻辑研究,基本上被忽略.已提出的定性映射理论是判断的理论体系,现以此为基础提出1个逻辑系统QJ,意图对判断作形式化的理论探讨.
- 聂文龙冯嘉礼
- 关键词：定性映射逻辑系统形式化意图
- 一个非完全类比推理学习模型
- 1994年
- 不能建立同态、同构映射的两个系统间，通常在某个局部有相似的性质，提出一个非完全类比推理学习模型。
- 张师超聂文龙
- 关键词：人工智能
