论文部分内容阅读
通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。
决策逻辑的图论模型
【摘 要】
：
通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。
【机 构】
：
毕节学院逻辑与文化研究中心
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2014年8期
【基金项目】
：
贵州省科技厅、毕节市科技局、毕节学院科技联合基金资助项目基于格值逻辑的自动推理方法研究成果之一,项目编号：黔科合J字LKB[2012]02号, 量子自动机的状态复杂性成果之一,项目编号：黔科合J字LKB[2012]10号, 轻量级描述逻辑的保守扩充成果之一,项目编号：黔科合J字LKB[2013]23号
其他文献
摘 要：本文就锅炉日常运行中可能出现的事故现象、原因进行说明，并给出处理方法。 关键词：锅炉；运行；事故原因；处理办法 一、锅炉产业发展背景 20世纪80年代以后，中国的经济发生了突飞猛进的变化，锅炉行业更加突出，全国锅炉制造企业增加近二分之一，并形成了独立开发研制一代又一代新产品的能力，产品的技术性能已接近发达国家水平。锅炉是经济发展时代不可缺少的商品，未来将如何发展，是非常值得研究的。
从毕节彝族体育文化的起源入手,以文化生态学视角审视彝族体育文化与生态环境密不可分的耦合关系。这种关系表现在一方面生态环境决定了毕节彝族体育文化事象的内容与形式,另
往来账款管理是企业经营管理的重要组成部分,是理顺企业与合作方权责利的重要手段之一,尤其是应收账款管理,是加快资金回笼,挤干资产水分的重要抓手。本文主要就通信企业应收