CS 4700: Artificial Intelligence
|
|
- Gregory Farmer
- 6 years ago
- Views:
Transcription
1 CS 4700: Foundations of Artificial Intelligence Fall 2017 Instructor: Prof. Haym Hirsh Lecture 14
2 Today Knowledge Representation and Reasoning (R&N Ch 7-9) Prelim, Statler Auditorium Tuesday, March 21 Thursday, March 23 Knowledge Representation and Reasoning (R&N Ch 8-9)
3 Resolution Example: Rules KB: P Q L M P B L M A P L A B L A B KB P Q?
4 Resolution Example: Rules KB: P Q L M P B L M A P L A B L A B KB P Q? Is the following CNF unsatisfiable? ( P Q) ( L M P) ( B L M) ( A P L) ( A B L) A B ( P Q)
5 Horn Clause Logic KB: P Q L M P B L M A P L A B L A B KB P Q? Is the following CNF unsatisfiable? ( P Q) ( L M P) ( B L M) ( A P L) ( A B L) A B ( P Q)
6 Horn Clause Logic Horn clauses: A sentence in CNF where each clause (disjunction) has at most one unnegated literal Typically arises when KB is a set of implications whose antecedents are conjunctions of unnegated literals Inference methods: Forward chaining: Start from unnegated literal facts, add new facts from rules whose antecedents are true, apply recursively
7 Horn Clause Logic Forward chaining example: A [6] B [7] KB: 1. P Q 2. L M P 3. B L M 4. A P L 5. A B L 6. A 7. B
8 Horn Clause Logic Forward chaining example: A [6] B [7] L [5] KB: 1. P Q 2. L M P 3. B L M 4. A P L 5. A B L 6. A 7. B
9 Horn Clause Logic Forward chaining example: A [6] B [7] L [5] M [3] KB: 1. P Q 2. L M P 3. B L M 4. A P L 5. A B L 6. A 7. B
10 Horn Clause Logic Forward chaining example: A [6] B [7] L [5] M [3] P [2] KB: 1. P Q 2. L M P 3. B L M 4. A P L 5. A B L 6. A 7. B
11 Horn Clause Logic Forward chaining example: A [6] B [7] L [5] M [3] P [2] Q [1] KB: 1. P Q 2. L M P 3. B L M 4. A P L 5. A B L 6. A 7. B
12 Horn Clause Logic Which facts to combine with which rules? This is a search problem: States: Sets of facts Operators: The set of rules If the given state contains all the facts necessary for a rule, add the rule s consequence to the set of facts to create a new state Initial state: Starting facts Goal: One or more facts that are being asked about
13 Horn Clause Logic Example: Initial state: {A,B} Operators: {A B L, A P L, } Result of applying A B L to initial state: {A,B,L} Goal state: A state containing P and Q
14 Horn Clause Logic Horn clauses: A sentence in CNF where each clause (disjunction) has at most one unnegated literal Typically arises when KB is a set of implications whose antecedents are conjunctions of unnegated literals Inference methods: Forward chaining: Start from unnegated literal facts, add new facts from rules whose antecedents are true, apply recursively
15 Horn Clause Logic Horn clauses: A sentence in CNF where each clause (disjunction) has at most one unnegated literal Typically arises when KB is a set of implications whose antecedents are conjunctions of unnegated literals Inference methods: Forward chaining: Start from unnegated literal facts, add new facts from rules whose antecedents are true, apply recursively Backward chaining: Start from goal, find rule that concludes it, apply recursively to antecedents (this is the core of what the Prolog programming language does)
16 Horn Clause Logic Horn clauses: A sentence in CNF where each clause (disjunction) has at most one unnegated literal Typically arises when KB is a set of implications whose antecedents are conjunctions of unnegated literals Inference methods: Forward chaining: Start from unnegated literal facts, add new facts from rules whose antecedents are true, apply recursively Backward chaining: Start from goal, find rule that concludes it, apply recursively to antecedents (this is the core of what the Prolog programming language does) There is a linear time algorithm for satisfiability of Horn clauses
17 Satisfiability At one extreme: Tautology: Sentence is true no matter what truth assignments are given to the propositional variables At the other extreme: Unsatisfiable: The sentence is never true no matter what truth assignments are given to the propositional variables Satisfiability: Is the sentence true for any truth assignment? What truth assignment makes the sentence true?
18 Example: N-Queens Encode in propositional logic Qij: There is a queen in position (i,j) One queen in each row, column, diagonal: (Qi1 Qi2 QiN) for i {1,,N} (Q1j Q2j QNj) for i {1,,N} (Q11 Q22 QNN) etc. for each diagonal No two attacking queens: (Qab Qac) for all b c (Qab Qdb) for all a d (Qij Qkl) for all k=i m, l=j m, m 0 (Qij Qkl) for all i+j = k+l, i k
19 Example: N-Queens Unsatisfiable: Means there is no placement of the queens (N=2, 3) Satisfiable: Means there is a placement of the queens (N > 3) Don t just want to be told there is a placement, want an actual placement!
20 Searching for Truth Assignments Brute-force search: Assign a variable True or False Is any clause violated? If not, go on to another variable If yes, backtrack to most recent variable assignment and flip it If both options have been tried and failed, backtrack to the next most recent assignment Complete Davis-Putnam: Backtracking exploiting some additional observations that simplify the problem in certain cases Further efficiency: Grab bag of clever ideas
21 Searching for Truth Assignments Hill climbing: Surprisingly effective Pick random assignment If it doesn t satisfy the sentence, flip whichever one most increases the number of satisfied terms and repeat If there are none, restart
22 First Order Logic Sentence AtomicSentence ComplexSentence AtomicSentence Predicate Predicate(Arguments) Term = Term Arguments Term Term,Arguments Term Function(Arguments) Constant Variable ComplexSentence (Sentence) [Sentence] Sentence Sentence Sentence Sentence Sentence Sentence Sentence Quantifiers Sentence Quantifiers Quantifier Variables Quantifier Variables Quantifiers Quantifier Constant/Predicate/Function <strings starting with upper case letters> Variables Variable Variable,Variables Variable <strings comprised of lower case letters>
23 Examples Mother(Alice,Charlie) Father(Bob,Charlie)
24 Examples Mother(Alice,Charlie) Father(Bob,Charlie) x,y Mother(x,y) Parent(x,y) x,y Father(x,y) Parent(x,y)
25 Examples Mother(Alice,Charlie) Father(Bob,Charlie) x,y Mother(x,y) Parent(x,y) x,y Father(x,y) Parent(x,y) x,y Parent(x,y) Ancestor(x,y)
26 Examples Mother(Alice,Charlie) Father(Bob,Charlie) x,y Mother(x,y) Parent(x,y) x,y Father(x,y) Parent(x,y) x,y Parent(x,y) Ancestor(x,y) x,y,z Ancestor(x,y) Ancestor(y,z) Ancestor(x,z)
27 Examples Mother(Alice,Charlie) Father(Bob,Charlie) x,y Mother(x,y) Parent(x,y) x,y Father(x,y) Parent(x,y) x,y Parent(x,y) Ancestor(x,y) x,y,z Ancestor(x,y) Ancestor(y,z) Ancestor(x,z) x y Mother(y,x) x y Father(y,x)
28 Examples Mother(Alice,Charlie) Father(Bob,Charlie) x,y Mother(x,y) Parent(x,y) x,y Father(x,y) Parent(x,y) x,y Parent(x,y) Ancestor(x,y) x,y,z Ancestor(x,y) Ancestor(y,z) Ancestor(x,z) x y Mother(y,x) x y Father(y,x) x y Mother(x,y)
29 Inference in First Order Logic First-order Horn clauses are an analogous subset of first-order logic They have analogs of forward chaining and backward chaining Prolog is a programming language based on backward chaining on first-order Horn clauses There is a conjunctive normal form for First-Order Logic There is a resolution inference rule for First-Order Logic
30 CNF Replace α β with α β everywhere [no more ] Replace (α β) with α β [push inward until Replace (α β) with α β you can t any more] Replace α with α [ only before prop symbols] Distribute over : Rewrite α (β γ) as (α β) (α γ)
31 CNF Replace α β with α β everywhere Replace (α β) with α β Replace (α β) with α β Replace α with α Distribute over : Rewrite α (β γ) as (α β) (α γ)
32 CNF Replace α β with α β everywhere Replace (α β) with α β Replace (α β) with α β Replace α with α Distribute over : Rewrite α (β γ) as (α β) (α γ)
33 CNF Replace α β with α β everywhere Replace (α β) with α β Replace (α β) with α β Replace α with α Replace x with x Replace x with x Distribute over : Rewrite α (β γ) as (α β) (α γ)
34 CNF Replace α β with α β everywhere Replace (α β) with α β Replace (α β) with α β Replace α with α Replace x with x Replace x with x Distribute over : Rewrite α (β γ) as (α β) (α γ)
35 CNF Replace α β with α β everywhere Replace (α β) with α β Replace (α β) with α β Replace α with α Replace x with x Replace x with x Standardize variables: If the same variable name is used in multiple places with multiple quantifiers, rename them so there is no duplication x P(x) x Q(x) becomes x P(x) z Q(z) [where z is new] Distribute over : Rewrite α (β γ) as (α β) (α γ)
36 CNF Replace α β with α β everywhere Replace (α β) with α β Replace (α β) with α β Replace α with α Replace x with x Replace x with x Standardize variables: If the same variable name is used in multiple places with multiple quantifiers, rename them so there is no duplication x P(x) x Q(x) becomes x P(x) z Q(z) [where z is new] Distribute over : Rewrite α (β γ) as (α β) (α γ)
37 CNF Replace α β with α β everywhere Replace (α β) with α β Replace (α β) with α β Replace α with α Replace x with x Replace x with x Standardize variables: If the same variable name is used in multiple places with multiple quantifiers, rename them so there is no duplication x P(x) x Q(x) becomes x P(x) z Q(z) [where z is new] Skolemization Distribute over : Rewrite α (β γ) as (α β) (α γ)
38 CNF Replace α β with α β everywhere Replace (α β) with α β Replace (α β) with α β Replace α with α Replace x with x Replace x with x Standardize variables: If the same variable name is used in multiple places with multiple quantifiers, rename them so there is no duplication x P(x) x Q(x) becomes x P(x) z Q(z) [where z is new] Skolemization Distribute over : Rewrite α (β γ) as (α β) (α γ)
39 CNF Replace α β with α β everywhere Replace (α β) with α β Replace (α β) with α β Replace α with α Replace x with x Replace x with x Standardize variables: If the same variable name is used in multiple places with multiple quantifiers, rename them so there is no duplication x P(x) x Q(x) becomes x P(x) z Q(z) [where z is new] Skolemization Drop universal quantifiers Distribute over : Rewrite α (β γ) as (α β) (α γ)
40 Skolemization x P(x) becomes P(A) where A is a constant that is new
41 Skolemization x P(x) becomes P(A) where A is a new constant x,y z P(z) becomes P(F(x,y)) where F is a new function
42 Skolemization x P(x) becomes P(A) where A is a new constant x,y z P(z) becomes P(F(x,y)) where F is a new function Replace existentially quantified variables with Skolem functions new functions whose arguments are all universally quantified variables of higher scope
43 Resolution in First Order Logic Recall: (l α 1 α k ) where each α i and β j are propositional ( l β 1 β n ) symbols or their negations and l is a (α 1 α k β 1 β n ) propositional symbol
44 Resolution in First Order Logic Here: (l α 1 α k ) [l and l can be made identical by ( l β 1 β n ) substituting variables with terms] Subst(ѳ, α 1 α k β 1 β n ) [the necessary substitution] where ѳ = Unify(l, l )
CS 4700: Artificial Intelligence
CS 4700: Foundations of Artificial Intelligence Fall 2017 Instructor: Prof. Haym Hirsh Lecture 12 Prelim Tuesday, March 21 8:40-9:55am Statler Auditorium Homework 2 To be posted on Piazza 4701 Projects:
More informationEE562 ARTIFICIAL INTELLIGENCE FOR ENGINEERS
EE562 ARTIFICIAL INTELLIGENCE FOR ENGINEERS Lecture 10, 5/9/2005 University of Washington, Department of Electrical Engineering Spring 2005 Instructor: Professor Jeff A. Bilmes Logical Agents Chapter 7
More informationIntelligent Agents. Pınar Yolum Utrecht University
Intelligent Agents Pınar Yolum p.yolum@uu.nl Utrecht University Logical Agents (Based mostly on the course slides from http://aima.cs.berkeley.edu/) Outline Knowledge-based agents Wumpus world Logic in
More informationTitle: Logical Agents AIMA: Chapter 7 (Sections 7.4 and 7.5)
B.Y. Choueiry 1 Instructor s notes #12 Title: Logical Agents AIMA: Chapter 7 (Sections 7.4 and 7.5) Introduction to Artificial Intelligence CSCE 476-876, Fall 2018 URL: www.cse.unl.edu/ choueiry/f18-476-876
More informationLecture 9: Search 8. Victor R. Lesser. CMPSCI 683 Fall 2010
Lecture 9: Search 8 Victor R. Lesser CMPSCI 683 Fall 2010 ANNOUNCEMENTS REMEMBER LECTURE ON TUESDAY! EXAM ON OCTOBER 18 OPEN BOOK ALL MATERIAL COVERED IN LECTURES REQUIRED READINGS WILL MOST PROBABLY NOT
More informationCOMP9414: Artificial Intelligence Propositional Logic: Automated Reasoning
COMP9414, Monday 26 March, 2012 Propositional Logic 2 COMP9414: Artificial Intelligence Propositional Logic: Automated Reasoning Overview Proof systems (including soundness and completeness) Normal Forms
More informationKnowledge base (KB) = set of sentences in a formal language Declarative approach to building an agent (or other system):
Logic Knowledge-based agents Inference engine Knowledge base Domain-independent algorithms Domain-specific content Knowledge base (KB) = set of sentences in a formal language Declarative approach to building
More informationInference in first-order logic
CS 2710 Foundations of AI Lecture 15 Inference in first-order logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Logical inference in FOL Logical inference problem: Given a knowledge base KB
More informationIntroduction to Artificial Intelligence. Logical Agents
Introduction to Artificial Intelligence Logical Agents (Logic, Deduction, Knowledge Representation) Bernhard Beckert UNIVERSITÄT KOBLENZ-LANDAU Winter Term 2004/2005 B. Beckert: KI für IM p.1 Outline Knowledge-based
More informationProof Methods for Propositional Logic
Proof Methods for Propositional Logic Logical equivalence Two sentences are logically equivalent iff they are true in the same models: α ß iff α β and β α Russell and Norvig Chapter 7 CS440 Fall 2015 1
More informationLogical Agents. Chapter 7
Logical Agents Chapter 7 Outline Knowledge-based agents Wumpus world Logic in general - models and entailment Propositional (Boolean) logic Equivalence, validity, satisfiability Inference rules and theorem
More informationCS 771 Artificial Intelligence. Propositional Logic
CS 771 Artificial Intelligence Propositional Logic Why Do We Need Logic? Problem-solving agents were very inflexible hard code every possible state E.g., in the transition of 8-puzzle problem, knowledge
More informationCOMP219: Artificial Intelligence. Lecture 20: Propositional Reasoning
COMP219: Artificial Intelligence Lecture 20: Propositional Reasoning 1 Overview Last time Logic for KR in general; Propositional Logic; Natural Deduction Today Entailment, satisfiability and validity Normal
More informationClass Assignment Strategies
Class Assignment Strategies ì Team- A'ack: Team a'ack ì Individualis2c: Search for possible ì Poli2cal: look at others and make decision based on who is winning, who is loosing, and conversa;on ì Emo2on
More informationCSC384: Intro to Artificial Intelligence Knowledge Representation II. Required Readings: 9.1, 9.2, and 9.5 Announcements:
CSC384: Intro to Artificial Intelligence Knowledge Representation II Required Readings: 9.1, 9.2, and 9.5 Announcements: 1 Models Examples. Environment A Language (Syntax) Constants: a,b,c,e Functions:
More informationArtificial Intelligence Chapter 7: Logical Agents
Artificial Intelligence Chapter 7: Logical Agents Michael Scherger Department of Computer Science Kent State University February 20, 2006 AI: Chapter 7: Logical Agents 1 Contents Knowledge Based Agents
More information1 FUNDAMENTALS OF LOGIC NO.10 HERBRAND THEOREM Tatsuya Hagino hagino@sfc.keio.ac.jp lecture URL https://vu5.sfc.keio.ac.jp/slide/ 2 So Far Propositional Logic Logical connectives (,,, ) Truth table Tautology
More informationAdvanced Topics in LP and FP
Lecture 1: Prolog and Summary of this lecture 1 Introduction to Prolog 2 3 Truth value evaluation 4 Prolog Logic programming language Introduction to Prolog Introduced in the 1970s Program = collection
More informationChapter 7 R&N ICS 271 Fall 2017 Kalev Kask
Set 6: Knowledge Representation: The Propositional Calculus Chapter 7 R&N ICS 271 Fall 2017 Kalev Kask Outline Representing knowledge using logic Agent that reason logically A knowledge based agent Representing
More informationCS 380: ARTIFICIAL INTELLIGENCE PREDICATE LOGICS. Santiago Ontañón
CS 380: RTIFICIL INTELLIGENCE PREDICTE LOGICS Santiago Ontañón so367@drexeledu Summary of last day: Logical gents: The can reason from the knowledge they have They can make deductions from their perceptions,
More informationCS 380: ARTIFICIAL INTELLIGENCE
CS 380: RTIFICIL INTELLIGENCE PREDICTE LOGICS 11/8/2013 Santiago Ontañón santi@cs.drexel.edu https://www.cs.drexel.edu/~santi/teaching/2013/cs380/intro.html Summary of last day: Logical gents: The can
More informationLogic. Knowledge Representation & Reasoning Mechanisms. Logic. Propositional Logic Predicate Logic (predicate Calculus) Automated Reasoning
Logic Knowledge Representation & Reasoning Mechanisms Logic Logic as KR Propositional Logic Predicate Logic (predicate Calculus) Automated Reasoning Logical inferences Resolution and Theorem-proving Logic
More informationThe Wumpus Game. Stench Gold. Start. Cao Hoang Tru CSE Faculty - HCMUT
The Wumpus Game Stench Stench Gold Stench Start 1 The Wumpus Game Stench in the square containing the wumpus and in the directly adjacent squares in the squares directly adjacent to a pit Glitter in the
More informationKecerdasan Buatan M. Ali Fauzi
Kecerdasan Buatan M. Ali Fauzi Artificial Intelligence M. Ali Fauzi Logical Agents M. Ali Fauzi In which we design agents that can form representations of the would, use a process of inference to derive
More informationLogical Agents (I) Instructor: Tsung-Che Chiang
Logical Agents (I) Instructor: Tsung-Che Chiang tcchiang@ieee.org Department of Computer Science and Information Engineering National Taiwan Normal University Artificial Intelligence, Spring, 2010 編譯有誤
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard, Maren Bennewitz, and Marco Ragni Albert-Ludwigs-Universität Freiburg Contents 1 Agents
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Joschka Boedecker and Wolfram Burgard and Bernhard Nebel Albert-Ludwigs-Universität Freiburg May 17, 2016
More informationInference Methods In Propositional Logic
Lecture Notes, Artificial Intelligence ((ENCS434)) University of Birzeit 1 st Semester, 2011 Artificial Intelligence (ENCS434) Inference Methods In Propositional Logic Dr. Mustafa Jarrar University of
More informationLogic Programming (PLP 11) Predicate Calculus, Horn Clauses, Clocksin-Mellish Procedure
Logic Programming (PLP 11) Predicate Calculus, Horn Clauses, Clocksin-Mellish Procedure Carlos Varela Rennselaer Polytechnic Institute November 7, 2016 C. Varela 1 An Early (1971) Conversation USER: Cats
More informationLogical Inference. Artificial Intelligence. Topic 12. Reading: Russell and Norvig, Chapter 7, Section 5
rtificial Intelligence Topic 12 Logical Inference Reading: Russell and Norvig, Chapter 7, Section 5 c Cara MacNish. Includes material c S. Russell & P. Norvig 1995,2003 with permission. CITS4211 Logical
More informationCS 188: Artificial Intelligence Spring 2007
CS 188: Artificial Intelligence Spring 2007 Lecture 8: Logical Agents - I 2/8/2007 Srini Narayanan ICSI and UC Berkeley Many slides over the course adapted from Dan Klein, Stuart Russell or Andrew Moore
More informationAgenda. Artificial Intelligence. Reasoning in the Wumpus World. The Wumpus World
Agenda Artificial Intelligence 10. Propositional Reasoning, Part I: Principles How to Think About What is True or False 1 Introduction Álvaro Torralba Wolfgang Wahlster 2 Propositional Logic 3 Resolution
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Joschka Boedecker and Wolfram Burgard and Frank Hutter and Bernhard Nebel Albert-Ludwigs-Universität Freiburg
More informationPropositional Logic: Methods of Proof. Chapter 7, Part II
Propositional Logic: Methods of Proof Chapter 7, Part II Inference in Formal Symbol Systems: Ontology, Representation, ti Inference Formal Symbol Systems Symbols correspond to things/ideas in the world
More informationPropositional Logic: Methods of Proof (Part II)
Propositional Logic: Methods of Proof (Part II) This lecture topic: Propositional Logic (two lectures) Chapter 7.1-7.4 (previous lecture, Part I) Chapter 7.5 (this lecture, Part II) (optional: 7.6-7.8)
More informationCS:4420 Artificial Intelligence
CS:4420 Artificial Intelligence Spring 2018 Propositional Logic Cesare Tinelli The University of Iowa Copyright 2004 18, Cesare Tinelli and Stuart Russell a a These notes were originally developed by Stuart
More informationInference Methods In Propositional Logic
Lecture Notes, Advanced Artificial Intelligence (SCOM7341) Sina Institute, University of Birzeit 2 nd Semester, 2012 Advanced Artificial Intelligence (SCOM7341) Inference Methods In Propositional Logic
More informationAn Early (1971) Conversation. Logic Programming (PLP 11.3) Horn Clauses Introduction to Prolog: Resolution, Unification.
Logic Programming (PLP 11.3) Horn Clauses Introduction to Prolog: Resolution, Unification Carlos Varela Rennselaer Polytechnic Institute November 9, 2006 C. Varela 1 An Early (1971) Conversation Cats kill
More informationLogical Agents. Outline
Logical Agents *(Chapter 7 (Russel & Norvig, 2004)) Outline Knowledge-based agents Wumpus world Logic in general - models and entailment Propositional (Boolean) logic Equivalence, validity, satisfiability
More information7. Propositional Logic. Wolfram Burgard and Bernhard Nebel
Foundations of AI 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard and Bernhard Nebel Contents Agents that think rationally The wumpus world Propositional logic: syntax and semantics
More informationPredicate Logic: Sematics Part 1
Predicate Logic: Sematics Part 1 CS402, Spring 2018 Shin Yoo Predicate Calculus Propositional logic is also called sentential logic, i.e. a logical system that deals with whole sentences connected with
More informationTautologies, Contradictions, and Contingencies
Section 1.3 Tautologies, Contradictions, and Contingencies A tautology is a proposition which is always true. Example: p p A contradiction is a proposition which is always false. Example: p p A contingency
More informationLogic and Inferences
Artificial Intelligence Logic and Inferences Readings: Chapter 7 of Russell & Norvig. Artificial Intelligence p.1/34 Components of Propositional Logic Logic constants: True (1), and False (0) Propositional
More informationCS 730/730W/830: Intro AI
CS 730/730W/830: Intro AI 1 handout: slides 730W journal entries were due Wheeler Ruml (UNH) Lecture 9, CS 730 1 / 16 Logic First-Order Logic The Joy of Power Wheeler Ruml (UNH) Lecture 9, CS 730 2 / 16
More informationCS 730/830: Intro AI. 3 handouts: slides, asst 6, asst 7. Wheeler Ruml (UNH) Lecture 12, CS / 16. Reasoning.
CS 730/830: Intro AI 3 handouts: slides, asst 6, asst 7 Wheeler Ruml (UNH) Lecture 12, CS 730 1 / 16 Logic First-Order Logic The Joy of Power in First-order Logic Wheeler Ruml (UNH) Lecture 12, CS 730
More informationLogic: Propositional Logic (Part I)
Logic: Propositional Logic (Part I) Alessandro Artale Free University of Bozen-Bolzano Faculty of Computer Science http://www.inf.unibz.it/ artale Descrete Mathematics and Logic BSc course Thanks to Prof.
More informationOutline First-order logic. First-order Logic. Introduction. Recall: 4-Queens problem. First-order Logic. First-order Logic Syntax.
First-order Logic CS 486/686 Sept 25, 2008 University of Waterloo Outline First-order logic Syntax and semantics Inference Propositionalization with ground inference Lifted resolution 1 2 Introduction
More informationLecture 10: Even more on predicate logic" Prerequisites for lifted inference: Skolemization and Unification" Inference in predicate logic"
CS440/ECE448: Intro to Artificial Intelligence Lecture 10: Even more on predicate logic Prof. Julia Hockenmaier juliahmr@illinois.edu http://cs.illinois.edu/fa11/cs440 Inference in predicate logic All
More informationLogic in AI Chapter 7. Mausam (Based on slides of Dan Weld, Stuart Russell, Dieter Fox, Henry Kautz )
Logic in AI Chapter 7 Mausam (Based on slides of Dan Weld, Stuart Russell, Dieter Fox, Henry Kautz ) Knowledge Representation represent knowledge in a manner that facilitates inferencing (i.e. drawing
More informationPropositional logic II.
Lecture 5 Propositional logic II. Milos Hauskrecht milos@cs.pitt.edu 5329 ennott quare Propositional logic. yntax yntax: ymbols (alphabet) in P: Constants: True, False Propositional symbols Examples: P
More informationArtificial Intelligence
Artificial Intelligence Propositional Logic Marc Toussaint University of Stuttgart Winter 2015/16 (slides based on Stuart Russell s AI course) Outline Knowledge-based agents Wumpus world Logic in general
More informationSelf-assessment due: Monday 3/18/2019 at 11:59pm (submit via Gradescope)
CS 188 Spring 2019 Introduction to Artificial Intelligence Written HW 6 Sol. Self-assessment due: Monday 3/18/2019 at 11:59pm (submit via Gradescope) Instructions for self-assessment: Take your original
More informationAgents that reason logically
Artificial Intelligence Sanguk Noh Logical Agents Agents that reason logically A Knowledge-Based Agent. function KB-Agent (percept) returns an action Tell(KB, Make-Percept-Sentence(percept,t)) action Ask(KB,
More informationPropositional Logic: Methods of Proof (Part II)
Propositional Logic: Methods of Proof (Part II) You will be expected to know Basic definitions Inference, derive, sound, complete Conjunctive Normal Form (CNF) Convert a Boolean formula to CNF Do a short
More informationRevised by Hankui Zhuo, March 21, Logical agents. Chapter 7. Chapter 7 1
Revised by Hankui Zhuo, March, 08 Logical agents Chapter 7 Chapter 7 Outline Wumpus world Logic in general models and entailment Propositional (oolean) logic Equivalence, validity, satisfiability Inference
More informationLogical Agents. Santa Clara University
Logical Agents Santa Clara University Logical Agents Humans know things Humans use knowledge to make plans Humans do not act completely reflexive, but reason AI: Simple problem-solving agents have knowledge
More informationArtificial Intelligence
Artificial Intelligence Propositional Logic Marc Toussaint University of Stuttgart Winter 2016/17 (slides based on Stuart Russell s AI course) Motivation: Most students will have learnt about propositional
More informationcse 311: foundations of computing Fall 2015 Lecture 6: Predicate Logic, Logical Inference
cse 311: foundations of computing Fall 2015 Lecture 6: Predicate Logic, Logical Inference quantifiers x P(x) P(x) is true for every x in the domain read as for all x, P of x x P x There is an x in the
More informationLogic in AI Chapter 7. Mausam (Based on slides of Dan Weld, Stuart Russell, Subbarao Kambhampati, Dieter Fox, Henry Kautz )
Logic in AI Chapter 7 Mausam (Based on slides of Dan Weld, Stuart Russell, Subbarao Kambhampati, Dieter Fox, Henry Kautz ) 2 Knowledge Representation represent knowledge about the world in a manner that
More informationLogic. proof and truth syntacs and semantics. Peter Antal
Logic proof and truth syntacs and semantics Peter Antal antal@mit.bme.hu 10/9/2015 1 Knowledge-based agents Wumpus world Logic in general Syntacs transformational grammars Semantics Truth, meaning, models
More informationPropositional Logic. Logic. Propositional Logic Syntax. Propositional Logic
Propositional Logic Reading: Chapter 7.1, 7.3 7.5 [ased on slides from Jerry Zhu, Louis Oliphant and ndrew Moore] Logic If the rules of the world are presented formally, then a decision maker can use logical
More information7 LOGICAL AGENTS. OHJ-2556 Artificial Intelligence, Spring OHJ-2556 Artificial Intelligence, Spring
109 7 LOGICAL AGENS We now turn to knowledge-based agents that have a knowledge base KB at their disposal With the help of the KB the agent aims at maintaining knowledge of its partially-observable environment
More informationPropositional Calculus: Formula Simplification, Essential Laws, Normal Forms
P Formula Simplification, Essential Laws, Normal Forms Lila Kari University of Waterloo P Formula Simplification, Essential Laws, Normal CS245, Forms Logic and Computation 1 / 26 Propositional calculus
More informationLecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)
Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or
More informationTDT4136 Logic and Reasoning Systems
TDT436 Logic and Reasoning Systems Chapter 7 - Logic gents Lester Solbakken solbakke@idi.ntnu.no Norwegian University of Science and Technology 06.09.0 Lester Solbakken TDT436 Logic and Reasoning Systems
More informationInference in first-order logic
CS 57 Introduction to AI Lecture 5 Inference in first-order logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Logical inference in FOL Logical inference problem: Given a knowledge base KB (a
More information7. Logical Agents. COMP9414/ 9814/ 3411: Artificial Intelligence. Outline. Knowledge base. Models and Planning. Russell & Norvig, Chapter 7.
COMP944/984/34 6s Logic COMP944/ 984/ 34: rtificial Intelligence 7. Logical gents Outline Knowledge-based agents Wumpus world Russell & Norvig, Chapter 7. Logic in general models and entailment Propositional
More information1.1 Language and Logic
c Oksana Shatalov, Fall 2017 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,
More informationIntroduction to Artificial Intelligence Propositional Logic & SAT Solving. UIUC CS 440 / ECE 448 Professor: Eyal Amir Spring Semester 2010
Introduction to Artificial Intelligence Propositional Logic & SAT Solving UIUC CS 440 / ECE 448 Professor: Eyal Amir Spring Semester 2010 Today Representation in Propositional Logic Semantics & Deduction
More informationLogical agents. Chapter 7. Chapter 7 1
Logical agents Chapter 7 Chapter 7 Outline Knowledge-based agents Wumpus world Logic in general models and entailment Propositional (Boolean) logic Equivalence, validity, satisfiability Inference rules
More informationLogical Agent & Propositional Logic
Logical Agent & Propositional Logic Berlin Chen Department of Computer Science & Information Engineering National Taiwan Normal University References: 1. S. Russell and P. Norvig. Artificial Intelligence:
More informationPropositional Logic: Models and Proofs
Propositional Logic: Models and Proofs C. R. Ramakrishnan CSE 505 1 Syntax 2 Model Theory 3 Proof Theory and Resolution Compiled at 11:51 on 2016/11/02 Computing with Logic Propositional Logic CSE 505
More informationLogical Agent & Propositional Logic
Logical Agent & Propositional Logic Berlin Chen 2005 References: 1. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Chapter 7 2. S. Russell s teaching materials Introduction The representation
More informationLogical Agents. Chapter 7
Logical Agents Chapter 7 Outline Knowledge-based agents Wumpus world Logic in general - models and entailment Propositional (Boolean) logic Equivalence, validity, satisfiability Inference rules and theorem
More informationInf2D 06: Logical Agents: Knowledge Bases and the Wumpus World
Inf2D 06: Logical Agents: Knowledge Bases and the Wumpus World School of Informatics, University of Edinburgh 26/01/18 Slide Credits: Jacques Fleuriot, Michael Rovatsos, Michael Herrmann Outline Knowledge-based
More informationThe Calculus of Computation: Decision Procedures with Applications to Verification. Part I: FOUNDATIONS. by Aaron Bradley Zohar Manna
The Calculus of Computation: Decision Procedures with Applications to Verification Part I: FOUNDATIONS by Aaron Bradley Zohar Manna 1. Propositional Logic(PL) Springer 2007 1-1 1-2 Propositional Logic(PL)
More informationPropositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic.
Propositional Logic Winter 2012 Propositional Logic: Section 1.1 Proposition A proposition is a declarative sentence that is either true or false. Which ones of the following sentences are propositions?
More informationPropositions. c D. Poole and A. Mackworth 2010 Artificial Intelligence, Lecture 5.1, Page 1
Propositions An interpretation is an assignment of values to all variables. A model is an interpretation that satisfies the constraints. Often we don t want to just find a model, but want to know what
More informationINF5390 Kunstig intelligens. Logical Agents. Roar Fjellheim
INF5390 Kunstig intelligens Logical Agents Roar Fjellheim Outline Knowledge-based agents The Wumpus world Knowledge representation Logical reasoning Propositional logic Wumpus agent Summary AIMA Chapter
More informationDeliberative Agents Knowledge Representation I. Deliberative Agents
Deliberative Agents Knowledge Representation I Vasant Honavar Bioinformatics and Computational Biology Program Center for Computational Intelligence, Learning, & Discovery honavar@cs.iastate.edu www.cs.iastate.edu/~honavar/
More informationInference in Propositional Logic
Inference in Propositional Logic Deepak Kumar November 2017 Propositional Logic A language for symbolic reasoning Proposition a statement that is either True or False. E.g. Bryn Mawr College is located
More information3. The Logic of Quantified Statements Summary. Aaron Tan August 2017
3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,
More informationLogical Agents. Soleymani. Artificial Intelligence: A Modern Approach, 3 rd Edition, Chapter 7
Logical Agents CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2016 Soleymani Artificial Intelligence: A Modern Approach, 3 rd Edition, Chapter 7 Knowledge-based agents
More informationLogical Agents. Course material: Artificial Intelligence: A Modern Approach, 3 rd Edition, Chapter 7
Logical Agents CE417: Introduction to Artificial Intelligence Sharif University of Technology Soleymani In which we design agents that can form representations of a complex world, use a process of inference
More informationOutline. Logical Agents. Logical Reasoning. Knowledge Representation. Logical reasoning Propositional Logic Wumpus World Inference
Outline Logical Agents ECE57 Applied Artificial Intelligence Spring 007 Lecture #6 Logical reasoning Propositional Logic Wumpus World Inference Russell & Norvig, chapter 7 ECE57 Applied Artificial Intelligence
More informationDescription Logics. Foundations of Propositional Logic. franconi. Enrico Franconi
(1/27) Description Logics Foundations of Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/27) Knowledge
More informationAI Programming CS S-09 Knowledge Representation
AI Programming CS662-2013S-09 Knowledge Representation David Galles Department of Computer Science University of San Francisco 09-0: Overview So far, we ve talked about search, which is a means of considering
More informationFoundations of Artificial Intelligence
Foundations of Artificial Intelligence 31. Propositional Logic: DPLL Algorithm Malte Helmert and Gabriele Röger University of Basel April 24, 2017 Propositional Logic: Overview Chapter overview: propositional
More information2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic
CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares
More informationLogic: First Order Logic
Logic: First Order Logic Raffaella Bernardi bernardi@inf.unibz.it P.zza Domenicani 3, Room 2.28 Faculty of Computer Science, Free University of Bolzano-Bozen http://www.inf.unibz.it/~bernardi/courses/logic06
More informationPropositional Logic Part 1
Propositional Logic Part 1 Yingyu Liang yliang@cs.wisc.edu Computer Sciences Department University of Wisconsin, Madison [Based on slides from Louis Oliphant, Andrew Moore, Jerry Zhu] slide 1 5 is even
More informationPropositional Logic: Bottom-Up Proofs
Propositional Logic: Bottom-Up Proofs CPSC 322 Logic 3 Textbook 5.2 Propositional Logic: Bottom-Up Proofs CPSC 322 Logic 3, Slide 1 Lecture Overview 1 Recap 2 Bottom-Up Proofs 3 Soundness of Bottom-Up
More informationKnowledge-based Agents. CS 331: Artificial Intelligence Propositional Logic I. Knowledge-based Agents. Outline. Knowledge-based Agents
Knowledge-based Agents CS 331: Artificial Intelligence Propositional Logic I Can represent knowledge And reason with this knowledge How is this different from the knowledge used by problem-specific agents?
More informationCS 331: Artificial Intelligence Propositional Logic I. Knowledge-based Agents
CS 331: Artificial Intelligence Propositional Logic I 1 Knowledge-based Agents Can represent knowledge And reason with this knowledge How is this different from the knowledge used by problem-specific agents?
More informationCS 4700: Foundations of Artificial Intelligence
CS 4700: Foundations of Artificial Intelligence Bart Selman selman@cs.cornell.edu Module: Knowledge, Reasoning, and Planning Part 2 Logical Agents R&N: Chapter 7 1 Illustrative example: Wumpus World (Somewhat
More informationLogical Agents: Propositional Logic. Chapter 7
Logical Agents: Propositional Logic Chapter 7 Outline Topics: Knowledge-based agents Example domain: The Wumpus World Logic in general models and entailment Propositional (Boolean) logic Equivalence, validity,
More informationIntroduction to Intelligent Systems
Logical Agents Objectives Inference and entailment Sound and complete inference algorithms Inference by model checking Inference by proof Resolution Forward and backward chaining Reference Russel/Norvig:
More informationIntroduction to Intelligent Systems
Logical Agents Objectives Inference and entailment Sound and complete inference algorithms Inference by model checking Inference by proof Resolution Forward and backward chaining Reference Russel/Norvig:
More informationAnnouncements. CS311H: Discrete Mathematics. Propositional Logic II. Inverse of an Implication. Converse of a Implication
Announcements CS311H: Discrete Mathematics Propositional Logic II Instructor: Işıl Dillig First homework assignment out today! Due in one week, i.e., before lecture next Wed 09/13 Remember: Due before
More information7.5.2 Proof by Resolution
137 7.5.2 Proof by Resolution The inference rules covered so far are sound Combined with any complete search algorithm they also constitute a complete inference algorithm However, removing any one inference
More information