论文部分内容阅读
为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率，将语义归结策略应用于α-归结原理，讨论了格值命题逻辑LP(X)中的α-语义归结方法，并证明了该方法的可靠性和弱完备性，为基于格值逻辑的归结自动推理提供一定基础。
格值命题逻辑LP(X)中的语义归结方法
【摘 要】
：
为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率，将语义归结策略应用于α-归结原理，讨论了格值命题逻辑LP(X)中的α-语义归结方法，并证明了该方法的可靠性和弱完备性，为基
【机 构】
：
西南交通大学智能控制开发中心，四川成都610031毕节学院逻辑、语言与认知研究中心，贵州毕节551700毕节学院逻辑、语言与认知研究中心，贵州毕节551700
【出 处】
：
中国运筹学会模糊信息与模糊工程分会第五届学术年会
【发表日期】
：
2010年8期
其他文献
子宫内膜异位症（endometriosis,EMS）是一种常见的妇科疾病,由于内膜细胞本应该生长在子宫的腔内,但因为输卵管与盆腔相通,使得内膜细胞可能由输卵管进入到盆腔内发生异位生长[1
痔疮是肛肠科的一种常见疾病,包括内痔、外痔、混合痔,主要表现大便出血、直肠坠痛、肛门有分泌物流出等临床症状,给患者生活带来不便和痛苦[1]。由于当今不健康生活方式的影
在临床治疗中,感冒后反复性咳嗽较为常见。该病主要由急性上呼吸道感染、急性支气管炎等引发,治愈难度较大,病程较长,病情较易反复,以刺激性干咳或咳少量白色黏液痰为主要临
针对北票矿区地表可燃气体泄漏导致村民窒息、中毒及明火爆炸等多起人身伤亡事故,通过分析矿井开采对可燃气体泄漏的影响及可燃气体泄漏的特征,并对地面矿区周边242个可燃气
为了对选煤厂输运皮带机尾粉尘逸散规律进行分析,采用颗粒运动方程理论,对煤尘颗粒进行数值模拟,对皮带机尾粉尘颗粒运动及机尾处作业空间粉尘浓度的扩散进行相关的数学模拟,