Artificial Intelligence 4. Knowledge Representation Course V231 Department of Computing Imperial College, London © Simon Colton.

Slides:



Advertisements
Similar presentations
Artificial Intelligence
Advertisements

1 Knowledge Representation Introduction KR and Logic.
Artificial Intelligence 12. Two Layer ANNs
Artificial Intelligence 4. Knowledge Representation
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Artificial Intelligence in the 21 st Century S. Lucci / D. Kopec Chapter 5: Logic in Artificial Intelligence 1.
Agents That Reason Logically Copyright, 1996 © Dale Carnegie & Associates, Inc. Chapter 7 Spring 2004.
Knowledge Representation
Knowledge Representation
L41 Lecture 2: Predicates and Quantifiers.. L42 Agenda Predicates and Quantifiers –Existential Quantifier  –Universal Quantifier 
Knowledge Representation. Essential to artificial intelligence are methods of representing knowledge. A number of methods have been developed, including:
F22H1 Logic and Proof Week 7 Clausal Form and Resolution.
CSM6120 Introduction to Intelligent Systems Knowledge representation.
Knowledge Representation Methods
Propositional Calculus A propositional calculus formula is composed of atomic propositions, which area simply statements that are either true or false.
Outline Recap Knowledge Representation I Textbook: Chapters 6, 7, 9 and 10.
Logic Programming Languages. Objective To introduce the concepts of logic programming and logic programming languages To introduce a brief description.
Models -1 Scientists often describe what they do as constructing models. Understanding scientific reasoning requires understanding something about models.
1 CA 208 Logic Logic Prof. Josef van Genabith Textbooks:  The Essence of Logic, John Kelly, Prentice Hall, 1997  Prolog Programming, Third Edition, Ivan.
1 Chapter 7 Propositional and Predicate Logic. 2 Chapter 7 Contents (1) l What is Logic? l Logical Operators l Translating between English and Logic l.
Knowledge Representation I (Propositional Logic) CSE 473.
Production Rules Rule-Based Systems. 2 Production Rules Specify what you should do or what you could conclude in different situations. Specify what you.
Let remember from the previous lesson what is Knowledge representation
Copyright © Cengage Learning. All rights reserved.
Knowledge representation methods جلسه سوم. KR is AI bottleneck The most important ingredient in any expert system is knowledge. The power of expert systems.
Review Topics Test 1. Background Topics Definitions of Artificial Intelligence & Turing Test Physical symbol system hypothesis vs connectionist approaches.
Notes for Chapter 12 Logic Programming The AI War Basic Concepts of Logic Programming Prolog Review questions.
 Predicate: A sentence that contains a finite number of variables and becomes a statement when values are substituted for the variables. ◦ Domain: the.
1 Chapter 7 Propositional and Predicate Logic. 2 Chapter 7 Contents (1) l What is Logic? l Logical Operators l Translating between English and Logic l.
LDK R Logics for Data and Knowledge Representation Modeling First version by Alessandro Agostini and Fausto Giunchiglia Second version by Fausto Giunchiglia.
Declarative vs Procedural Programming  Procedural programming requires that – the programmer tell the computer what to do. That is, how to get the output.
Pattern-directed inference systems
Artificial Intelligence Knowledge Representation Logical Agents
Computing & Information Sciences Kansas State University Wednesday, 20 Sep 2006CIS 490 / 730: Artificial Intelligence Lecture 12 of 42 Wednesday, 20 September.
First-Order Logic Introduction Syntax and Semantics Using First-Order Logic Summary.
1 Predicate (Relational) Logic 1. Introduction The propositional logic is not powerful enough to express certain types of relationship between propositions.
Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 13 of 41 Monday, 20 September.
Semantic Nets, Frames, World Representation CS – W February, 2004.
KNOWLEDGE BASED SYSTEMS
Artificial Intelligence Chapter 15 The Predicate Calculus Artificial Intelligence Chapter 15 The Predicate Calculus Biointelligence Lab School of Computer.
Knowledge Representation
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.
1 CSC384: Intro to Artificial Intelligence Lecture 5.  Knowledge Representation.
Programming Errors. Errors of different types Syntax errors – easiest to fix, found by compiler or interpreter Semantic errors – logic errors, found by.
Finite State Machines (FSM) OR Finite State Automation (FSA) - are models of the behaviors of a system or a complex object, with a limited number of defined.
Chapter 7. Propositional and Predicate Logic Fall 2013 Comp3710 Artificial Intelligence Computing Science Thompson Rivers University.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Artificial Intelligence Knowledge Representation Department of Computer Science & Enggineering V. R. Palekar.
Some Thoughts to Consider 5 Take a look at some of the sophisticated toys being offered in stores, in catalogs, or in Sunday newspaper ads. Which ones.
#1 Make sense of problems and persevere in solving them How would you describe the problem in your own words? How would you describe what you are trying.
Artificial Intelligence Knowledge Representation.
Definition and Technologies Knowledge Representation.
Lecture 14. Recap Problem Solving GA Simple GA Examples of Mutation and Crossover Application Areas.
Artificial Intelligence Logical Agents Chapter 7.
Artificial Intelligence 4. Knowledge Representation
Knowledge Representation & Logic
Knowledge Representation Techniques
Chapter 7. Propositional and Predicate Logic
The function of knowledge representation scheme is
Artificial Intelligence (CS 370D)
Knowledge Representation
Knowledge Representation and Inference
KNOWLEDGE REPRESENTATION
Chapter 7. Propositional and Predicate Logic
Knowledge Representation I (Propositional Logic)
Artificial Intelligence 12. Two Layer ANNs
Knowledge Representation
Predicates and Quantifiers
Representations & Reasoning Systems (RRS) (2.2)
Habib Ullah qamar Mscs(se)
Presentation transcript:

Artificial Intelligence 4. Knowledge Representation Course V231 Department of Computing Imperial College, London © Simon Colton

Representation Representation Representation Think about knowledge, rather than data in AI Facts Procedures Meaning – Cannot have intelligence without knowledge Always been very important in AI Choosing the wrong representation – Could lead to a project failing Still a lot of work done on representation issues

Representations for Problem solving techniques For certain problem solving techniques – The “best” representation has already been worked out – Often it is an obvious requirement of the technique – Or a requirement of the programming language (e.g., Prolog) Examples: – First order theorem proving (first order logic) – Inductive logic programming (logic programs) – Neural networks learning (neural networks) But what if you have a new project? – What kind of general representations schemes are there?

Four General Representation Types Logical Representations Semantic Networks Production Rules Frames

4.1 Logical Representations What is a Logic? Lay down some concrete communication rules – In order to give information to agents, and get info Without errors in communication (or at least, fewer) Think of a logic as a language – Many ways to translate from one language to another Expressiveness – How much of natural language (e.g., English) We are able to translate into the logical language Not to be confused with logical reasoning – “Sherlock Holmes used pure logic to solve that…” – This is a process, not a language

Syntax and Semantics of Logics Syntax – How we can construct legal sentences in the logic – Which symbols we can use (English: letters, punctuation) – How we are allowed to write down those symbols Semantics – How we interpret (read) sentences in the logic – i.e., what the meaning of a sentence is Example: “All lecturers are six foot tall” – Perfectly valid sentence (syntax) – And we can understand the meaning (semantics) – This sentence happens to be false (there is a counterexample)

Propositional Logic Syntax – Propositions such as P meaning “it is wet” – Connectives: and, or, not, implies, equivalent – Brackets, T (true) and F (false) Semantics – How to work out the truth of a sentence Need to know how connectives affect truth E.g., “P and Q” is true if and only if P is true and Q is true “P implies Q” is true if P and Q are true or if P is false – Can draw up truth tables to work out the truth of statements

First Order Predicate Logic More expressive logic than propositional – And one we will use a lot in this course Later lecture all about first order predicate logic Syntax allows – Constants, variables, predicates, functions and quantifiers So, we say something is true for all objects (universal) – Or something is true for at least one object (existential) Semantics – Working out the truth of statement This can be done using rules of deduction

Example Sentence In English: – “Every Monday and Wednesday I go to John’s house for dinner” In first order predicate logic: X ((day_of_week(X, monday) day_of_week(X, weds)) (go_to(me, house_of(john) Note the change from “and” to “or” – Translating is problematic eat(me, dinner))).

Higher Order Predicate Logic More expressive than first order predicate logic Allows quantification over functions and predicates, as well as objects For example – We can say that all our polynomials have a zero at 17: f (f(17)=0). Working at the meta-level – Important to AI, but not often used

Other Logics Fuzzy logic – Use probabilities, rather than truth values Multi-valued logics – Assertions other than true and false allowed E.g., “unknown” Modal logics – Include beliefs about the world Temporal logics – Incorporate considerations of time

Why Logic is a Good Representation Some of many reasons are: – It’s fairly easy to do the translation when possible – There are whole tracts of mathematics devoted to it – It enables us to do logical reasoning – Programming languages have grown out of logics Prolog uses logic programs (a subset of predicate logic)

Semantic Networks Logic is not the only fruit Humans draw diagrams all the time, e.g., – E.g. causal relationships: – And relationships between ideas:

Graphical Representations Graphs are very easy to store inside a computer For information to be of any use – We must impose a formalism on the graphs – Jason is 15, Bryan is 40, Arthur is 70, Jim is 74 – How old is Julia?

Better Graphical Representation Because the formalism is the same – We can guess that Julia’s age is similar to Bryan’s Limited the syntax to impose formalism

Semantic Network Formalisms Used a lot for natural language understanding – Represent two sentences by graphs Sentences with same meaning have exactly same graphs Conceptual Dependency Theory – Roger Schank’s brainchild – Concepts are nodes, relationships are edges – Narrow down labels for edges to a very few possibilities – Problem: Not clear whether reduction to graphs can be automated for all sentences in a natural language

Conceptual Graphs John Sowa Each graph represents a single proposition Concept nodes can be: – Concrete (visualisable) such as restaurant, my dog spot – Abstract (not easily visualisable) such as anger Edges do not have labels – Instead, we introduce conceptual relation nodes Many other considerations in the formalism – See Russell and Norvig for details

Example Conceptual Graph Advantage: – Single relationship between multiple concepts is easily representable

Production Rule Representations Consists of pairs Agent checks if a condition holds – If so, the production rule “fires” and the action is carried out – This is a recognize-act cycle Given a new situation (state) – Multiple production rules will fire at once – Call this the conflict set – Agent must choose from this set Call this conflict resolution Production system is any agent – Which performs using recognize-act cycles

Example Production Rule As reported in Doug Lenat’s PhD thesis 102. After creating a new generalization G of Concept C – Consider looking for non-examples of G This was paraphrased – In general, we have to be more concrete About exactly when to fire and what to do

Frame Representations Information retrieval when facing a new situation – The information is stored in frames with slots – Some of the slots trigger actions, causing new situations Frames are templates – Which are to be filled-in in a situation – Filling them in causes an agent to Undertake actions and retrieve other frames Frames are extensions of record datatype in databases – Also very similar to objects in OOP

Flexibility in Frames Slots in a frame can contain – Information for choosing a frame in a situation – Relationships between this and other frames – Procedures to carry out after various slots filled – Default information to use where input is missing – Blank slots - left blank unless required for a task – Other frames, which gives a hierarchy

Example Frame