【摘 要】
：
概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概
【基金项目】
：
国家社科基金重大项目“基于多学科视域的认知研究”（12＆ZD119）
论文部分内容阅读
概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑。回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题。首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法。对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明。
其他文献
目前,微型卫星正在快速成为重要的科学与商业现实.然而,被归入这一类的卫星大多数依然相当大(重量约为50kg,直径约为0.5m).进一步减小这些参数的主要障碍之一是缺乏将卫星的
目的探讨米索前列醇在人工流产术前对诱导子宫成熟、扩张和软化宫颈的作用.方法将220例早孕未产妇随机分为实验组和对照组.每组110例.实验组术前8h阴道后穹窿放置米索前列醇,
肺心病心力衰竭是呼吸内科常见的危重病.近几年来,我们通过采用酚妥拉明、多巴胺、肝素、极化液联合治疗慢性肺心病30例, 取得了满意的临床效果,现报道如下.
目的观察腹腔镜手术结合口服米非司酮治疗子宫内膜异位囊肿的效果.方法对65例卵巢子宫内膜异位囊肿进行腹腔镜保守性手术,术后口服米非司酮12.5mg/d,共3个月,并进行随访.结果
随着工业的发展,化石能源的存量越来越少,而且伴随着带来很多环境问题,因此寻求一种新能源变得越来越迫切。作为一种取之不经、用之不竭的干净能源,太阳能光伏发电在新能源发
【中图分类号】G633.3 【文献标识码】A 【文章编号】2095-3089（2019）18-0246-01 步入教学行列已有20余载，对于课堂教学改革也有一些想法，特别是近年准备的课题研究有一些感触，现汇报如下： 一、活动式教学在数学教学中的含义和意义 1.强调教师在课堂教学中，用浅显生动的语言概括教材内容，引起学生兴趣，引导学生逐步提出研究的问题，由此展开，在学生之间进行分析、
目前生猪产销处于成长调整期，国家政策向三农倾斜，只要不出意外情况，全年养猪都将有利可图，这是难得的机遇。谁能坚持科学养猪观，把猪病防控搞好谁就能多赚钱。目前猪病难防难控已
抗战前国民政府在开展"党化教育"的过程中,借助校园的课堂教学、课外实践,紧贴青少年的心理特点和社会需要,在时间和空间等方面,开展了潜移默化的熏陶和烘托,推动了国民党意
本文阐述了有关软土地基施工在建筑施工建设中的重要性,结合其自身具有的主要特点,分析软土地基施工技术在建筑施工中的应用现状和软土地基施工的影响因素分析,探究软土地基