藤晓程崇志宏：人工智能的符号方法-东南大学.pptxVIP

Rule-based Logical Reasoning 2017-5-27 Database Group, Southeast University, China Reported By： 藤晓程，崇志宏 2017-5-27 Database Group, Southeast University, China Outline 1.A brief introduction on reasoning systems 2.Logic programming language - Datalog 3.Evaluation of Datalog with mapreduce Ruled-based Reasoning Systems 2017-5-27 Database Group, Southeast University, China 2017-5-27 Database Group, Southeast University, China History Rule-Based Systems : Also known as expert systems Idea: to capture the knowledge of a human expert in a specialized domain and embody it within a software system. The knowledge is stored as rules of the form IF condition THEN action For example: If income 1000 THEN deny-mortgage 2017-5-27 Database Group, Southeast University, China History Some modern examples of rule based systems: 1.The NHS Direct adviser 2.The Automobile Diagnosis adviser 3.Ikea online assistant – an RBS with a chatbox interface 4.American Express Authorizer’s Assistant - developed in 1988, but still in use today processes credit requests, deciding whether to authorise or deny very large: around 35,000 rules, including 3,000 “business rules” …. 2017-5-27 Database Group, Southeast University, China Architecture knowledge base: contains the rules embodying expert knowledge about the problem domain database: contains the set of known facts about the problem currently being solved inference engine: carries out the reasoning process by linking the rules with the known facts to find a solution explanation facilities: provides information to user about the reasoning steps that are being followed user interface: communication between the user and the system 2017-5-27 Database Group, Southeast University, China Tools CLIPS : a productive development and delivery expert system tool which provides a complete environment for the construction of rule and/or object based expert systems IRIS Reasoner : Integrated Rule Inference System is an e