逻辑演绎系统的设计与开发.docVIP

目录 摘 要 I ABSTRACT II 第一章 绪论 1 1.1课题研究背景 1 1.1.1专家系统概述 1 1.1.2国内外研究现状 2 1.2本课题的主要任务以及总体思路 3 第二章 基本理论知识 5 2.1命题逻辑 5 2.2词法分析 6 2.3开发工具C++特点 8 第三章 系统结构分析与设计 10 3.1系统结构设计 10 3.2知识库的设计 11 3.3事实库的设计 13 3.4推理机的设计 15 3.5知识获取机构的设计 18 3.6人机接口及解释机构的设计 19 第四章 系统实现 20 4.1知识库的实现 20 4.2事实库的实现 23 4.3推理机的实现 26 4.4知识获取机构的实现 28 4.5人机接口和解释机构的实现 29 第五章 系统测试 31 5.1正确推理测试 31 5.2出错测试 31 第六章 结束语 34 参考文献 35 摘 要 专家系统是基于专家知识，模拟人类专家解决问题的思维和推理方式，对问题作出解答。本文以命题逻辑这个离散数学的重要分支为基础，从机器推理和自动证明的角度出发，设计与开发了一个逻辑演绎系统。 论文先对专家系统、命题逻辑、自动机等相关基础知识进行分析总结，在此基础上确立了本系统的基本结构并对主要部件进行设计。系统采用专家系统一般结构，包括知识库、事实库、推理机、知识获取机构、人机接口和解释机构五个部件。规则库采用了产生式结构来表示规则；事实库采用了自动机来检验输入事实的正确性；推理机采用了正向推理的推理方向和深度优先的搜索策略，知识获取机构采用了人工输入知识的方式;人机接口采用了windows的图形界面；解释机构采用了跟踪并记录推理过程的程序。 论文进一步对系统设计与实现中的关键问题进行了分析及解决。论文最后用C++具体实现了系统。 关键词 专家系统，推理机，知识库，事实库，命题逻辑 ABSTRACT Based on the knowledge of experts,simulating the thinking and the way of reasoning of human experts,the expert system can solve problems.In the thesis a logical deduction system is designed and developed.The system is based on proposional logic,a important part of discrete mathematics,and the theories of machine reasoning and auto-proof. The thesis analyzes and summarizes the knowledges of expert system,proposional logic and NFA.Based on these theories, the structure of the system is set up and the main parts of the system are designed. The structure of the system includes five parts:the rule database,the fact database,the reason-machine, the part of knowledge catching, the interface and the part of explanation. The rule database uses the structure that is “if-then” to express the rules.The fact database uses the NFA to check the accuracy of facts. The reason-machine is a direct reason-machine and uses the depth-first search method.The part of knowledge catching imports the knowledge by hand.The interface between human and machine uses a graph interface.The part of explanation uses a program to trail and record the process of reasoning. Furtherly,the thesis analyzes and solves the main