论文部分内容阅读
基于Pavelka关于模糊命题逻辑的思想,本文初步建立了一种基于[0,1]区间上Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论.定义了程度化的形式证明的概念,并在此基础之上,定义了语法结论算子.
基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论
【摘 要】
：
基于Pavelka关于模糊命题逻辑的思想,本文初步建立了一种基于[0,1]区间上Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论.定义了程度化的形式证明的概念,并在此基础之上,定义
【机 构】
：
西南交通大学数学系,四川,成都610031西南交通大学智能控制开发中心,四川,成都610031西南交通大学智能控制开发中心,四川,成都610031
【出 处】
：
第六届中国不确定系统年会
【发表日期】
：
2008年8期
其他文献
幼儿园形象是幼儿园各项工作的综合表现,幼儿园形象建设包含两个方面:即精神建设和物质建设。在幼儿园形象建设过程中应遵循一些基本原则并与教师素质提高相结合。
Kinderga
目的掌指骨骨折是手外科常见创伤性疾病,掌指骨参与腕掌、掌指、指间关节的构成,治疗不当将严重影响患者的手的功能。文中探讨微型钢板、穿髓克氏针固定、牵引位石膏托3种不
交往作为一种社会实践活动,在马克思的经典论述中一直与社会的生产发展息息相关。马克思的世界交往理论立足于唯物史观,在全球化大发展的今天对于指导国家间交往有着重要的理
建立和使用人工气道是危重病人抢救的重要手段，在护理工作中对有创人工气道管理不善，将会引起人工气道创口的感染、堵塞、肺部感染等并发症，从而影响抢救或导致抢救失败，因此科学
科技型中小企业"融资困难",究其主要原因是科技型中小企业与金融机构之间信息不对称,而信用评级有助于消除融资隐性壁垒。本文从市场发展潜力、信用评级需求、竞争格局、发展
循环神经网络作为一种处理时序数据的有效模型,已在序列标注问题上得到了广泛应用。为解决序列标注中典型的中文分词任务,基于门限循环单元(Gated Recurrent Unit,GRU)神经网
坚定中国特色社会主义的道路自信、理论自信、制度自信、文化自信,最根本的是要搞清楚它的理论逻辑、历史逻辑与实践基础。坚定中国特色社会主义道路自信、理论自信、制度自
目的观察以柴胡疏肝散合二陈汤治疗甲状腺癌术后气郁痰阻证的临床疗效。方法选择经影像学检查及病理证实的分化型甲状腺癌术后辨证为气郁痰阻证的患者62例,随机分为两组,对照
我国宪法上的人格权体系存在“人格尊严与人格权的混同”以及“人格权与人身自由关系混乱”等问题，通过对德国、日本等国宪法上人格权体系的规范分析有助于我们理清人格尊严、