命题演算系统S的概率模型

发布时间：2019-09-18 21:27

【摘要】：概率模型P是为有效地检验命题演算系统之永真(假)函项、永真蕴涵关系;求取命题(合取、析取)范式及证明各重言式定理而特设的一种纯数学模型.其特征是,在运算中既保持概率运算的基本性质,又满足命题演算的逻辑要求,且运算关系简单(仅含算术运算+、-、×).
【作者单位】： 长沙大学人文系
【分类号】：O141.1

【共引文献】

相关期刊论文 前10条

1 叶思聪;;普适信源、普适划分及语义识别信息[J];西安交通大学学报;1990年02期

2 陈乃辉;数理统计教材建设刍议[J];高等理科教育;2002年06期

3 苏岐芳,杨捷飞;0—1多项式与命题逻辑[J];高师理科学刊;1995年03期

4 宿维军;化简命题演算一例[J];甘肃高师学报;2000年02期

5 李辰;公理化方法的会计学应用:会计基本理论的解构与重构[J];会计研究;2003年09期

6 朱岭,周政,于景元;离散事件系统状态反馈控制的几何理论[J];控制与决策;1991年01期

7 杨柯,王冰笛,张立翔,李桂青;充液管道流固耦合4方程模型的一个解析解[J];水动力学研究与进展A辑;1999年04期

8 苏岐芳,苏雅春;命题逻辑中的可表性[J];松辽学刊(自然科学版);1997年04期

9 王海明;论伦理学体系的构建方法[J];上海师范大学学报(哲学社会科学版);2002年04期

10 张型岱,张格华;主范式的运算性质[J];数学的实践与认识;2004年04期

相关博士学位论文 前2条

1 张力锋;模态逻辑和本质主义[D];北京大学;2004年

2 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

相关硕士学位论文 前4条

1 李丽宏;欧几里得与阿基米德数学思想之比较[D];上海师范大学;2007年

2 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年

3 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

4 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

【相似文献】

相关期刊论文 前10条

1 余嘉元;项目反应理论研究中的计算机模拟方法[J];心理科学;1991年02期

2 ;廖鼎烈教授参加第十六届国际混凝土及结构学术会议[J];石家庄铁道学院学报;1991年04期

3 罗冠中;;Rasch模型及其发展[J];教育研究与实验;1992年02期

4 李小五;用带测度函数的可能世界语义学解释—归纳认知逻辑[J];自然辩证法研究;1993年02期

5 刘霞，潘晓良;关于不确定性问题解决的研究[J];湖北大学学报(哲学社会科学版);1995年04期

6 马剑虹;GUTTMAN量表的概率模型及其发展[J];心理发展与教育;1997年04期

7 朱靖波,姚天顺;面向数据的句法分析技术[J];中文信息学报;1998年01期

8 刘挺;马金山;李生;;基于词汇支配度的汉语依存分析模型[J];软件学报;2006年09期

9 周健勇;;命题演算系统S的概率模型[J];数学的实践与认识;2006年12期

10 杨军;;概率性优选论[J];当代语言学;2007年02期

相关会议论文 前10条

1 刘怀高;;难度自增殖系统的一类概率模型[A];复杂巨系统理论·方法·应用——中国系统工程学会第八届学术年会论文集[C];1994年

2 金炳尧;蔚承建;何振亚;;一个基于遗传与局部搜索的概率学习算法[A];1999年中国智能自动化学术会议论文集（下册）[C];1999年

3 曹莘耕;;线切割数控计算机可靠性计算及其应用[A];第四届全国电加工学术会议论文集[C];1983年

4 杨丹宇;;应用于非特定人孤立词小字表汉语语音识别中的新的隐式概率模型[A];第二届全国人机语音通讯学术会议论文集[C];1992年

5 何为民;赵锐;陈光发;;军事口令非特定人识别系统的实现[A];第三届全国人机语音通讯学术会议论文集[C];1994年

6 朱思俞;李建人;余金森;王海燕;;在中等噪声背景下的全音节汉语语音识别[A];第三届全国人机语音通讯学术会议论文集[C];1994年

7 王海燕;朱思俞;李建人;余金森;;噪声背景下大词汇汉语语音识别[A];第三届全国人机语音通讯学术会议论文集[C];1994年

8 张少华;言茂松;;抽水蓄能电站调峰效益的经济评价[A];1995中国控制与决策学术年会论文集[C];1995年

9 高小旺;魏琏;;结构抗震可靠度的分析方法[A];工程结构可靠性——中国土木工程学会桥梁及结构工程学会第七届学术会议论文集[C];1987年

10 瞿伟康;李桂青;;建筑结构基于双重破坏机制的弹塑性变形抗震可靠性(基于剪切型层间模型)[A];工程结构可靠性——中国土木工程学会桥梁及结构工程学会第七届学术会议论文集[C];1987年

相关重要报纸文章 前10条

1 记者郭均忠;结构可靠度理论为桥梁护驾[N];中国交通报;2002年

2 清华大学计算机系智能技术与系统国家重点实验室 张敏 金奕江;寻“宝”有术[N];计算机世界;2003年

3 梁瑞安;资金管理的古典概率模型[N];期货日报;2003年

4 见依;学会用计量经济学研究人力资本[N];北京人才市场报;2003年

5 冯 佳 刘兴龙;安永抢跑银行内部评级咨询业[N];证券日报;2005年

6 王一琳 夏峰 王立伟;亚太区银行离巴塞尔Ⅱ很远[N];东方早报;2005年

7 张雪峰;信息检索技术的新视角[N];中华读书报;2005年

8 李必德(Peter Zimmerli);亚洲台风模型需要精益求精[N];中国保险报;2006年

9 特约记者 赵应繁;湖北地灾信息实现共享[N];中国矿业报;2006年

10 程实;世界杯,如何影响全球股市[N];第一财经日报;2006年

相关博士学位论文 前10条

1 王笑蓉;蚁群优化的理论模型及在生产调度中的应用研究[D];浙江大学;2003年

2 黄晓英;钟控生成器概率模型输出序列的性质研究[D];中国人民解放军信息工程大学;2003年

3 沈照伟;基于可靠度的海洋工程随机荷载组合及设计方法研究[D];浙江大学;2004年

4 孙庆杰;静态图像中人体检测技术研究[D];中国科学院研究生院（软件研究所）;2004年

5 谭毅华;完全可伸缩小波视频编码及后处理技术研究[D];华中科技大学;2004年

6 刘扬;混凝土斜拉桥施工期的时变可靠性研究[D];湖南大学;2005年

7 郭丽峰;电梯导轨不平顺度测量、建模及轿箱水平振动特性的研究[D];天津大学;2005年

8 吕颖钊;在役混凝土桥梁可靠性评估与寿命预测研究[D];长安大学;2006年

9 万臻;斜拉桥结构可靠性评估及剩余寿命预测[D];西南交通大学;2006年

10 阮欣;桥梁工程风险评估体系及关键问题研究[D];同济大学;2006年

相关硕士学位论文 前10条

1 周斌;应用于数字图书馆的分布式检索技术的研究与实现[D];国防科学技术大学;2001年

2 张卫明;带记忆非线性组合生成器的概率模型及相关性分析[D];中国人民解放军信息工程大学;2002年

3 肖萍;桥梁技术状况评价与预测[D];长安大学;2003年

4 杨晓萍;存在项目无回答时的因子分析[D];华东师范大学;2001年

5 王宗忠;模具协作制造项目管理信息监视预警的研究[D];广东工业大学;2004年

6 刘春光;偏微分方程边值问题的蒙特卡罗解法[D];吉林大学;2004年

7 罗U喫，

本文编号：2537719