一种基于一阶谓词逻辑的模型表示方法

来源 :曲阜师范大学学报(自然科学版) | 被引量 : 0次 | 上传用户:fht5403
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制.
其他文献
室内乐随西方音乐传入中国已有近百年的历史,因其形式编制的多元与风格曲式的多变逐渐受到国内音乐界的重视.文章以华东交通大学艺术学院的室内乐课程为例,从课程发展、 教学
列宁的灌输理论是在俄国无产阶级革命时期不断发展和走向成熟的,在当时的革命运动与斗争中发挥着重要作用。列宁关于社会主义意识形态的“灌输”思想对我们今天坚持中国特色社
在中国经济下行压力加重,实体经济不景气,人民币持续贬值压力的背景下,房地产市场却依然火爆,一二线城市平均上涨10%,930北京限贷前后,20个城市密集出台限购限贷措施,防范风
随着李克强总理的“互联网+”的号召,以及越来越普及的电脑和智能手机,即使远处边疆,也能感受到互联网浪潮的带来的冲击。我们处在互联网时代的小学语文教师,面对和课本上不一样的内容,不一样的语言文字(语法和新出现的词语),怎么才能做好《小学语文教学大纲》明确指出的:“语文教学要在進行语言文字训练的同时,使学生潜移默化的受到爱国、爱人民、爱劳动、爱科学、爱社会主义祖国的教育,培养学生良好的意志、品格和爱美
目的:探究儿童保健方法以及在儿童成长发育中的作用.方法:将我院2017年1月-2019年1月收治的接受保健护理的儿童共计120例随机分为对照组(60例)、观察组(60例),分别实施常规护
加快我国农业现代化发展进程,实现农业现代化是我国经济发展中贯穿始终的战略性经济发展目标,农业现代化的实现一方面承载着加快实现我国现代化发展的重要使命,另一方面承担
全国人大代表、贵州大学校长郑强,素有“最牛愤青教授”之称。2015年3月5日晚上,在参加全国人大代表教育改革专场访谈时,他就再次语出惊人。他发言称,一个人的精神是要靠身体
集体土地拆迁作为推进城市化进程的基础和现行工作,是济南市市建设项目的重要环节,同时也是热点和难点问题.济南市集体土地征收中的房屋拆迁工作,具有明显的城郊结合部特征,
明朝末年天主教传入,通过利玛窦的文化传教,天主教教义逐渐在各个城市里传播开来,而天主教在传入中国以后也和儒家文化互相影响.明末信教的士大夫群不在少数,而明末遗民在面
钢琴课是高职学前教育专业重要的技能课程,它对于学生的未来发展至关重要。学前教育专业的学生未来将主要从事幼儿园教育工作,因此,在学前教育专业的钢琴教学中,应该更多强调