论文部分内容阅读
次协调逻辑用于解决在含有矛盾的系统中如何进行有效推理的问题,基于扩充真值的APC是对经典谓词演算的扩展,APC归结能够用于次协调系统的自动推理。设计了既能在协调的环境下,也能在不协调的环境下进行有效推理的自动推理系统,实现了提高推理效率的多种策略。
基于APC的次协调自动推理系统的设计与实现
【摘 要】
：
次协调逻辑用于解决在含有矛盾的系统中如何进行有效推理的问题,基于扩充真值的APC是对经典谓词演算的扩展,APC归结能够用于次协调系统的自动推理。设计了既能在协调的环境下
【机 构】
：
孝感学院计算机科学系,武汉大学计算机学院
【出 处】
：
计算机工程与设计
【发表日期】
：
2007年22期
【基金项目】
：
国家自然科学基金项目（90104005）.
其他文献
【正】 为进一步促进科技情报工作改革的深入发展,加强科技情报工作的横向联系,吉林、湖南、河北三省科技情报学会于一九八七年八月四日至八日在承德市召开了三省情报工作改
京师华商电灯股份有限公司（以下简称京师华商电灯公司）是北京首家民族资本的电业公司,公司成立于清光绪三十一年（1905年）,距今已有整整110周年的历史。京师华商电灯公司从成立到
当今E-learning已成为现代教育的重要发展方向。文章提出了基于.NET的“网上自主学习平台管理系统”的设计思路,介绍了一个基于Microsoft.NET的网上考试系统的设计与实现。整
【正】 情报源的概念及其评价一、情报源概念及种类所谓情报源是指情报的来源。情报源三字是从英文“Information Sources”翻译过来的。源(Sources)字的基本含义在中文和英
通用测试语言ATLAS中关键字数量庞大,当使用词法分析工具LEX对ATLAS进行词法分析时会产生容量受限的问题.在分析ATLAS关键字特点的基础上,提出将符号表技术引入LEX工具中,解
随着计算机科学与信息技术的快速发展,BIM(建筑信息模型)技术在房屋建筑行业得到了广泛的应用,并带来了巨大的社会和经济效益,显示了其在商业应用中的巨大价值。基于BIM模型
【正】 为认真贯彻党的十二大和全国科技奖励大会精神,进一步发展科技事业,加快经济建设的步伐,四平市于1982年11月10日至13日召开了首届科学技术协作交流会。这次会议以党的
我们设计并构建了一种具有pH和ATP双重响应性的聚合物纳米材料智能系统。利用RAFT聚合合成了聚(聚(乙二醇)甲基醚甲基丙烯酸酯(PEGMA))-b-聚(N-羟基琥珀酰亚胺丙烯酸酯(NHSA)
介绍铝栅CMOS高频音乐计时芯片中乐音组合用分频器的设计,电路具有频率高和负载能力强的特点,各级门延迟时间的分配和设计是关键。同时介绍了该分频器各级门的动态特性以及内