论文部分内容阅读
通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。
决策逻辑的图论模型
【摘 要】
：
通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。
【机 构】
：
毕节学院逻辑与文化研究中心
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2014年8期
【基金项目】
：
贵州省科技厅、毕节市科技局、毕节学院科技联合基金资助项目基于格值逻辑的自动推理方法研究成果之一,项目编号：黔科合J字LKB[2012]02号, 量子自动机的状态复杂性成果之一,项目编号：黔科合J字LKB[2012]10号, 轻量级描述逻辑的保守扩充成果之一,项目编号：黔科合J字LKB[2013]23号
其他文献
摘 要：本文就锅炉日常运行中可能出现的事故现象、原因进行说明，并给出处理方法。 关键词：锅炉；运行；事故原因；处理办法 一、锅炉产业发展背景 20世纪80年代以后，中国的经济发生了突飞猛进的变化，锅炉行业更加突出，全国锅炉制造企业增加近二分之一，并形成了独立开发研制一代又一代新产品的能力，产品的技术性能已接近发达国家水平。锅炉是经济发展时代不可缺少的商品，未来将如何发展，是非常值得研究的。
近两年,随着粮田适度规模经营范围的逐步扩大,国家对农业投入加大力度,我省的农业收获机械化程度迅速提高,其中桂林联合收割机占据了浙江市场的80％以上,但桂林3号、4号毕竟只
台州130型全喂入联合收割机是台州市路桥区柳林收割机厂通过四年来的研制和试验而生产的,目前已在全省各地推广,特别是台州地区保有量已达300余台。 该机操作和维修保养简便,
拖拉机的牵引功率是由牵引力和速度决定的。选择合理的柴油机转速是提高机组生产率、降低油耗的有效措施。拖拉机速度的改变,一般是通过变换档位和改变油门的
<正> 普陀区农机监理站,担负者普陀区行政区内的农机安全监理执法工作,是农机部门的一个“窗口”。这个“窗口”是否文明,是否卓有成效,直接影响着整个农机部门的声誉和形象,
从毕节彝族体育文化的起源入手,以文化生态学视角审视彝族体育文化与生态环境密不可分的耦合关系。这种关系表现在一方面生态环境决定了毕节彝族体育文化事象的内容与形式,另
1.行驶时车轮上的受力情况 车辆从静止状态转变为运动状态必须借助于外力推动,而车轮滚动是车辆运动的标志。因此车轮滚动时必定得到一个推进力,即从发
一、问题的提出 柑桔是我市的主要水果,在全省的柑桔总产中占有举足轻重的地位,资源丰富,旱地、山坡及海涂均有种植,而且加工业已具一定的规模,其深度加工、综合利用和技术开
唐人小说《窦乂》,是商贾类小说中的名篇。小说主人公窦乂,是一位精通经营、目光远大的真正商人。他白手起家,注重原始积累;兴办实业,进行商品制造;拓展领域,推动房地联产;重
往来账款管理是企业经营管理的重要组成部分,是理顺企业与合作方权责利的重要手段之一,尤其是应收账款管理,是加快资金回笼,挤干资产水分的重要抓手。本文主要就通信企业应收