【摘 要】
：
在自动推理理论与应用的研究中,命题逻辑系统中的方法和内容具有广泛的适用性.命题逻辑系统中的归结原理本质上存在组合问题,因此,如何避免组合问题(通常以计算复杂性的形式
论文部分内容阅读
在自动推理理论与应用的研究中,命题逻辑系统中的方法和内容具有广泛的适用性.命题逻辑系统中的归结原理本质上存在组合问题,因此,如何避免组合问题(通常以计算复杂性的形式出现)是自动推理研究中的一个重要课题.在处理组合问题上,神经网络是现有的、有效的智能技术之一.尽管神经网络寻找到的解是一个满意解,但这不影响我们考虑将神经网络技术应用于自动推理理论与方法中.该文在对命题逻辑系统的模型推理和归结原理研究的基础上,尝试利用神经网络部分实现自动推理.主要工作包括如下几个方面:1.评价值命题逻辑系统;2.命题逻辑系统的数字化;3.数字系统N-中的归结原理;4.基于神经网络的归结原理实现;
其他文献
优先发展公共交通是提高交通资源配置效率、缓解交通拥堵的重要手段，也是建设可持续发展型城市交通系统的一项重要措施。合理评估多方式公交网络体系的运营状况和服务质量，鉴别
该文即以都市圈这个独特的层次为研究范围,在规划实践的基础上,作了以下主要研究：首先,对于轨道交通按照其不同标准,作了分类,并提出了该文对于轨道交通的研究定义;对都市圈的
非开挖管道施工技术在管道施工工程中的应用越来越多，其中顶管施工以其施工精度高，使用土质广，使用管径范围大，综合成本低，环境污染小等优点被广泛应用。在顶管施工过程中，由于地层
城市慢行交通系统是城市综合交通系统的重要组成部分，是以“优先发展公共交通，鼓励慢行交通，引导小汽车发展”为宗旨的综合交通发展策略的关键环节。近几年，上海、武汉、杭州等城
语文课堂是学生与文本对话和探讨问题的乐园,是学生积淀丰富语言文化知识和灵活自如运用技能的舞台.走出庖丁解牛式的讲解与咬文嚼字式的解读,让学生从文字中挖掘深层的内涵,
在新课程改革的推动下,高中语文教学的方式不断优化、创新,旨在让学生在课堂上获得更好的学习体验.在社会、经济不断发展的推动下,高中语文的教学目标也在不断更新,旨在培养
文化是语文学科的一部分,所以,文化学习也是语文学科学习的一部分,甚至还对语文知识的学习发挥着辅助性的作用.在学习任务群背景下,教师应该以任务作为指导方向,激发学生的文
近年来,国内外反洗钱处罚力度不断加大,监管要求不断提高,商业银行反洗钱工作面临巨大压力,原有的形式合规已不能满足监管当局和商业银行本身的要求.商业银行必须主动转化为
随着我国城市化进程的加快,由此出现了一系列问题.城市的工业化发展对生态环境影响较大,在社会加剧转型的关键时期,应着力建设环境优良、资源节约的新型社会架构.园林可有效