【摘 要】
：
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法——分阶段tableau 。在该算法中，将tableau分成两个阶段，等词单独处理，利用提取不等式析取并在启发
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学计算机科学与技术学院,吉林大学计算机科学与技术学院 长春130012,长春130012,长春130012
论文部分内容阅读
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法——分阶段tableau 。在该算法中，将tableau分成两个阶段，等词单独处理，利用提取不等式析取并在启发式的帮助下计算等价类的方法，进一步限制了tableau的搜索空间，提高了tableau的推理效率。同时，为了研究分阶段tableau的有效性，进行了实例分析，并与Fitting和Jeffrey方法进行了比较，结果表明，分阶段tableau方法优于其它方法。
Based on the new tableau method of extended rules, a new tableau-based algorithm named stageau is proposed. In this algorithm, tableau is divided into two stages, the word processing alone, the use of extraction inequality extraction and calculation of equivalent class with the help of heuristic help to further limit the search space of tableau and improve tableau’s reasoning efficiency . In the meantime, in order to study the validity of the staged tableau, an example is given and compared with the Fitting and Jeffrey methods. The results show that the staged tableau method is superior to other methods.
其他文献
在常见金属元素的复习中,铁占有非常重要的地位,而其中不同价态铁元素之间的转化及其应用又是高考的一个重要考点。在高三复习这部分内容时,教师尝试整节课以问题为中心,通过
本文基于刺激-机体-反应理论,通过影响消费者购买意愿的认知、经历以及心理特征因素,研究网络生鲜购买环境中消费者个体行为特征对于购买意愿的影响。研究表明:信息涉入度、网络密切度和个体创新性对于购买意愿都有着显著的正向影响,而感知风险对于购买意愿存在着显著的负向影响。感知风险分为功能型风险和情感型风险两种,个体创新性在功能型风险和情感型风险对于购买意愿的影响路径中起调节作用,且功能型风险和情感型风险在整体模型当中起到部分中介的作用。
在经济危机与技术变革的双重压力之下,全球货币金融体系正处在重大变革的前夜。基于区块链技术进展,探讨在"政府信用"基础上叠加"算法共识",构建恒定比率增长的法定数字货币。在梳理恒定增长货币的经济学理论基础与区块链技术的基础上,探讨恒定增长法定数字货币的理论必要性与技术可行性,设定法定数字货币恒定增长比率规则,研究恒定增长比率的修订机制(完全中心化、部分中心化、去中心化三类),分析不同类型法定数字货币体系下,中央银行货币政策的可能变化,展望法定数字货币在不同类别国家的未来前景。
区域一体化战略是中国政府解决地区发展不平衡的重要政策手段。运用面板数据政策效应评估方法,实证检验了泛珠三角区域一体化战略影响居民收入水平和收入差距的政策效应,结果发现:在区域一体化战略实施第一阶段,政府通过实施以基础设施为主的一体化政策,有效提高了居民收入水平、缩小城乡居民收入差距,但在短暂缩小地区居民收入差距后却大幅度扩大了地区居民收入差距;在区域一体化战略实施的第二阶段,政府通过以实施产业转移为主的区域一体化政策,有效提升了居民收入水平,减缓了地区居民收入差距扩大的速度,但却抑制了城乡居民收入差距收敛
化学是一门以实验为基础的自然科学。化学实验教学能为学生正确认识物质及其变化规律提供实验事实,它具有目的性、探索性、现实性和易感知性。因此,化学实验是化学教育的一种
责任政府既是一种民主理念,也是一种对公共行政进行民主控制的制度安排。从西方近代社会切入,便会发现:责任政府不仅是一个基于历史境遇变迁而诱生的时代命题,更是一个悠关权力与自由关系重思的命题;不仅是一个关乎政治国家与市民社会关系重理的命题,更是一个涉及政府与人民关系重构的命题。事实上,唯有对上述四重命题予以深度犁耕,责任政府肇始的历史动因及其价值意蕴方能洞明。
目的：优化蒙药瑞香狼毒的牛奶炮制工艺，比较瑞香狼毒奶制品与瑞香狼毒生品的毒理及药效学实验结果，考察炮制工艺对毒理和药效学的影响，探讨评价瑞香狼毒炮制品的安全性和有效性。
弘扬生态文明是当前社会经济发展的重要内容,布依族传统建筑蕴涵的天人合一、人与自然和谐相处、尊重自然的生态文明理念,应成为我国生态文明建设的重要组成部分。布依族传统建筑生态文明主要体现在建筑选址、建筑结构、建筑材料、修建仪式等方面。高度认可的村寨规约、公众参与的生态保护模式,体现了布依族与环境相处的融洽性,生态文明建设已经融入布依族的日常生活。我国的生态文明建设应当借鉴少数民族的生态文化,将生态和谐理念、公众参与理念、制度执行保障等纳入生态文明建设,特别是在乡村振兴的大背景下,分析广大少数民族地区的生态文化
“B.G.90—2”是1976年中国农科院作物品种资源研究所从斯里兰卡引进的中熟籼稻良种,最初在江苏江浦县作农艺性状鉴定,1978年参加品比试验,小区收获量折亩产1,148斤,大田示
概念图是知识表征的可视化工具,概念图可以支持学习者的协作交流、有效学习、复习整理、反思总结和知识管理。在学习知识的过程中,通过概念图的构建可将知识之间的关系直观清