论文部分内容阅读
给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制。
一种基于一阶谓词逻辑的模型表示方法
【摘 要】
：
给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制。
【机 构】
：
山东工业大学计算机系软件教研室
【出 处】
：
曲阜师范大学学报：自然科学版
【发表日期】
：
2000年3期
其他文献
宁海是浙江省柑橘生产大县、也是浙江省柑橘加工主要基地之一,2016年柑橘产业被列入省级示范性农业全产业链创建。柑橘产业作为宁海县传统农业主导产业,对于发展农业经济、促
在十九大报告中明确指出,我们在经济建设过程中,既要满足人民群众不断增长的物质和精神需求,为人民群众改善生活质量,也要保护生态环境,实现人与自然和谐共生,为人民群众提供
罗根泽是20世纪初中国文学批评史学科的重要奠基人之一,他与陈钟凡、郭绍虞等学者一起创建了这门现代学科。本文通过对罗根泽的古代文论成果进行研究分析,以期还原中国文学批评史这门学科从无到有的建构过程,从而分析指出罗根泽对于这门现代学科的建立所起到的独特作用。另外,本文在分析罗根泽古代文论研究的个人特点与固有缺陷的同时,还指出罗根泽古代文论研究对中国当代文学理论建设所具有的独特启示意义。绪论部分论述了罗
人的私欲有多种，但无论哪种对构建和谐社会都是有害的。特别是党员干部的私欲，关系着党的形象和兴亡。根据不同程度的私欲用不同色调可作以下界定：丧心病狂的掠夺为黑色私欲；巧取
设Ｂ是作用在Ｈｉｂｅｒｔ空间Ｈ上的含单元的ＡＦＣ＊－代数，Ｄ是Ｂ的典型ｍａｓａ，Ｓ是Ｂ中的范数闭算子系统并且是ＣｈｏｒｄａｌＤ－双模，则任给Ｓ中正元ｇ，存在完全正映射ψｇ：Ｂ→Ｂ（Ｈ）使得任给ｆ∈Ｓ，ψｇ（ｆ）＝ｇ＊ｆ，其中ｆ＊ｇ是ｇ与ｆ的Ｓｃｈｕｒ积。
最近,宁夏回族自治区党委、政府提出大力发展民营经济的任务是尽快落实“两快三提高”。为促使民营经济有一个大发展,自治区政府提出发展民营经济“两快三提高”的具体内容,
介绍了采光顶、幕墙CAD系统的功能及实现方法 .该系统功能齐全 ,性能良好 ,符合生产管理要求 ,已在建筑设计部门使用 ,产生了较好的经济效益和社会效益
初中思想品德教育是比较重要的一门课程,对于这门课程的教学来说,当前出现了越来越多的新要求,比如创新思维能力作为当代初中生发展的一个重要能力也应该在该门课程中得到培
目的:探讨绝经后妇女身体软组织重量和骨密度(BMD)之间的关系.方法:选择62例绝经期健康日本妇女,应用双能X-线法(Dexa)测定其第2～4腰椎、双侧股骨转子间和桡骨中、下1/3交界处