东南大学 藤晓程 崇志宏:关系数据库和Datalog的语义

所需积分/C币:9 2017-08-03 09:25:19 2.98MB PDF

限制的一阶逻辑谓词构成关系数据库系统理论基础,具体为datalog和其封闭环境下的语义。
TUN 录南大学 1902南京 Ruled-based Reasoning Systems 2017-83 Database Group, Southeast University, China TUN 录南大学 History 1902南京 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-8-3 Database Group, Southeast University, China TUN 录南大学 History 1902南京 Some modern examples of rule based systems 1. The nhs direct adviser 2.The automobile Diagnosis adviser 3.kea on line assistant- an rbs with a chatbox interface 4. American EXpress Authorizers 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 ru|es 2017-8-3 Database Group, Southeast University, China TUN 录南大学 Architecture 1902南京 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 faets 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-8-3 Database Group, Southeast University, China TUN 录南大学 Tools 1902南京 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 extensible reasoning engine for expressive rule based languages. Reasoning over RDFS, WSML Demo:http://www.iris-reasonerorg/demo 2017-8-3 Database Group, Southeast University, China TUN 录南大学 1902南京 Outline 1.a brief introduction on reasoning systems 2. Logic programming language Datalog 3. Evaluation of Datalog with mapreduce 2017-8-3 Database Group, Southeast University, China TUN 录南大学 1902南京 Datalog 数理逻辑 阶谓词逻辑 子句逻辑 Hom子句逻辑 Datalog 2017-83 Database Group, Southeast University, China TUN 录南大学 1902南京 Outline 1 Syntax(语法) 2 Semantics(语义) 3 Datalog with Negation(带否定) 4.Eva| uation of data|og(计算) 2017-8-3 Database Group, Southeast University, China

...展开详情
上传资源赚积分,得勋章
最新资源