国家高技术研究发展计划(2006AA01z140)
- 作品数：3 被引量：12H指数：3
- 相关作者：高庆狮杨炳儒刘宏岚更多>>
- 相关机构：北京科技大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 概率命题逻辑中命题相等关系的两个层面与命题演算被引量：5
- 2009年
- 刘宏岚高庆狮杨炳儒
- 关键词：概率逻辑命题演算命题逻辑逻辑系统逻辑体系逻辑运算
- 多值逻辑中的命题相关性与逻辑运算研究被引量：5
- 2007年
- 命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.
- 刘宏岚高庆狮杨炳儒
- 关键词：多值逻辑逻辑运算命题公式真值函数
- 概率逻辑中的命题相关性与逻辑运算被引量：4
- 2008年
- 原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.
- 刘宏岚高庆狮杨炳儒
- 关键词：概率逻辑二值逻辑逻辑运算
