Dr Rob Stacey True Knowledge Ltd..  Open Domain question answering  Semantic query language  Structured and Unstructured knowledge acquisition  >300.

Slides:



Advertisements
Similar presentations
Knowledge Representation using First-Order Logic
Advertisements

First-Order Logic Chapter 8.
Dr. David A Ferrucci -- Logic Programming and AI Lecture Notes Knowledge Structures Building the Perfect Object.
Justification-based TMSs (JTMS) JTMS utilizes 3 types of nodes, where each node is associated with an assertion: 1.Premises. Their justifications (provided.
UIUC CS 497: Section EA Lecture #2 Reasoning in Artificial Intelligence Professor: Eyal Amir Spring Semester 2004.
Logic CPSC 386 Artificial Intelligence Ellen Walker Hiram College.
Relativism, Truth, and Reality. Wood combines with phlogiston, of negative weight, when it burns, to leave ash; the ash weighs less that the wood; thus.
An Approach to Evaluate Data Trustworthiness Based on Data Provenance Department of Computer Science Purdue University.
1 Relational Model. 2 Relational Database: Definitions  Relational database: a set of relations  Relation: made up of 2 parts: – Instance : a table,
Approaches to Typing Programming Languages Robert Dewar.
Dr. Muhammed Al-Mulhem 1ICS ICS 535 Design and Implementation of Programming Languages Part 1 Fundamentals (Chapter 4) Axiomatic Semantics ICS 535.
Represent the following sentences in first-order logic, using a consistent vocabulary
Predicate Calculus.
Dynamic Programming 0-1 Knapsack These notes are taken from the notes by Dr. Steve Goddard at
CPSC 433 Artificial Intelligence CPSC 433 : Artificial Intelligence Tutorials T01 & T02 Andrew “M” Kuipers note: please include.
Introduction to Machine Learning Approach Lecture 5.
Mathematical Induction
NO CALCULATORS!!!!!!!.  Integers are the whole numbers and their opposites (no decimal values!)  Example: -3 is an integer  Example: 4 is an integer.
LDK R Logics for Data and Knowledge Representation Description Logics as query language.
The Relational Model. Review Why use a DBMS? OS provides RAM and disk.
Author: William Tunstall-Pedoe Presenter: Bahareh Sarrafzadeh CS 886 Spring 2015.
Artificial Intelligence Building Knowledge Base Chapter 8.
Understanding PML Paulo Pinheiro da Silva. PML PML is a provenance language (a language used to encode provenance knowledge) that has been proudly derived.
Department of Cognitive Science Michael J. Kalsher PSYC 4310 COGS 6310 MGMT 6969 © 2015, Michael Kalsher Unit 1B: Everything you wanted to know about basic.
WEB SEARCH PERSONALIZATION WITH ONTOLOGICAL USER PROFILES Data Mining Lab XUAN MAN.
Fall 98 Introduction to Artificial Intelligence LECTURE 7: Knowledge Representation and Logic Motivation Knowledge bases and inferences Logic as a representation.
LDK R Logics for Data and Knowledge Representation ClassL (part 3): Reasoning with an ABox 1.
Dr. Shazzad Hosain Department of EECS North South Universtiy Lecture 04 – Part A Knowledge Representation and Reasoning.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
9.4 Mathematical Induction
Markov Logic and Deep Networks Pedro Domingos Dept. of Computer Science & Eng. University of Washington.
How Wikidata helps power projects like Histropedia.
Building taxonomies from the ground-up Prakash Govindarajulu Managing Consultant RealTech Inc
Reputation Network Analysis for Filtering Ravi Emani Ramesh Ravindran.
Devina DesaiF r a m e P r o b l e m What is a Frame Problem Environment for an agent is not static Identifying which things remain static in changing word.
ES component and structure Dr. Ahmed Elfaig The production system or rule-based system has three main component and subcomponents shown in Figure 1. 1.Knowledge.
4.1 Proofs and Counterexamples. Even Odd Numbers Find a property that describes each of the following sets E={…, -4, -2, 0, 2, 4, 6, …} O={…, -3, -1,
Artificial Intelligence 2004 Non-Classical Logics Non-Classical Logics Specific Language Constructs added to classic FOPL Different Types of Logics.
Software Engineering Prof. Dr. Bertrand Meyer Dr. Manuel Oriol Dr. Bernd Schoeller Chair of Software Engineering Lectures 22: Legacy Software.
Adding Integers on a Number Line
Dr. Bhavani Thuraisingham September 18, 2006 Building Trustworthy Semantic Webs Lecture #9: Logic and Inference Rules.
1 © 2005, Daniel Schwabe. Vinicius Almendra – SWPW – ISWC05 Real-world trust policies Vinicius Almendra Daniel Schwabe Dept. of Informatics, PUC-Rio ISWC’05.
Invitation to Computer Science, Java Version, Second Edition 1 Logic Programming Logic programming  Various facts are asserted to be true  On the basis.
Modeling Security-Relevant Data Semantics Xue Ying Chen Department of Computer Science.
Propositional Logic Rather than jumping right into FOL, we begin with propositional logic A logic involves: §Language (with a syntax) §Semantics §Proof.
EEL 5937 Content languages EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.
Daniel Kroening and Ofer Strichman 1 Decision Procedures An Algorithmic Point of View Basic Concepts and Background.
1 Authorization Sec PAL: A Decentralized Authorization Language.
Knowledge Repn. & Reasoning Lecture #9: Propositional Logic UIUC CS 498: Section EA Professor: Eyal Amir Fall Semester 2005.
Section 1.7. Section Summary Mathematical Proofs Forms of Theorems Direct Proofs Indirect Proofs Proof of the Contrapositive Proof by Contradiction.
Artificial Intelligence Logical Agents Chapter 7.
DBMS and SQL.
EA C461 – Artificial Intelligence Logical Agent
Big Data Quality the next semantic challenge
Knowledge Representation
Associative Query Answering via Query Feature Similarity
Catering Services Covent Garden - Manesh Catering Service
Ontology Evolution: A Methodological Overview
KNOWLEDGE REPRESENTATION
Question Answering & Linked Data
Semantic Information Modeling for Federation
CPSC 433 : Artificial Intelligence Tutorials T01 & T02
Learning Probabilistic Graphical Models Overview Learning Problems.
Scalable and Efficient Reasoning for Enforcing Role-Based Access Control
Semantic Similarity Detection
CS246: Information Retrieval
Queries.
Enriching Taxonomies With Functional Domain Knowledge
Artificial Intelligence 2004 Non-Classical Logics
Representations & Reasoning Systems (RRS) (2.2)
Presentation transcript:

Dr Rob Stacey True Knowledge Ltd.

 Open Domain question answering  Semantic query language  Structured and Unstructured knowledge acquisition  >300 million facts  20k+ classes  Billions of inferred facts

 Who was prime minister of the UK when Bernie Ecclestone was a teenager?

 What is the time in Covent Garden now?

 Triple representation [london] [is an instance of] [city]  Temporal knowledge represented by “facts about facts” [fact: [“123”]] [applies for timeperiod] [ ]  Richness within entity representation “parametered” objects  [integer: [“8128”]]  [group: [london]; [san francisco]] * Actually 4 with negative relation

Achieving 96% accuracy with the freetext of Wikipedia

 Accept incoming knowledge  Contradict knowledge  Make knowledge superfluous  Uses user assessments and scoring to determine which facts are believed

 Run a negative version of the query [married] ~[applies to] [madonna]  If the query is unknown the fact is new to the knowledge base  If the result is no then fact is either superfluous or an endorsement  If the result is yes the there is a contradiction

 The assertion may simply be an existing fact – if so more weight is added to the truth of that fact  If the fact is different then it is superfluous to the system, though still valid is it removes the need for inference.

 One of two facts must be wrong  Assessment scoring decides which fact to believe  The loser is contradicted and not believed or used in query processing