Artificial Intelligence

Slides:

Advertisements

Similar presentations

First-Order Logic Chapter 8.

Advertisements

March 2, 2006AI: Chapter 8: First-Order Logic1 Artificial Intelligence Chapter 8: First-Order Logic Michael Scherger Department of Computer Science Kent.

First-Order Logic: Better choice for Wumpus World Propositional logic represents facts First-order logic gives us Objects Relations: how objects relate.

CS 561, Session Midterm format Date: 10/10/2002 from 11:00am – 12:20 pm Location: THH 101 Credits: 35% of overall grade Approx. 4 problems, several.

First-Order Logic: Better choice for Wumpus World Propositional logic represents facts First-order logic gives us Objects Relations: how objects relate.

First-Order Logic Chapter 8. Problem of Propositional Logic  Propositional logic has very limited expressive power –E.g., cannot say "pits cause breezes.

First-Order Logic Chapter 8. Outline Why FOL? Syntax and semantics of FOL Using FOL Wumpus world in FOL Knowledge engineering in FOL.

Predicate Calculus.

Agents that Reason Logically Logical agents have knowledge base, from which they draw conclusions TELL: provide new facts to agent ASK: decide on appropriate.

Propositional Logic Agenda: Other forms of inference in propositional logic Basics of First Order Logic (FOL) Vision Final Homework now posted on web site.

1 Last time: Logic and Reasoning Knowledge Base (KB): contains a set of sentences expressed using a knowledge representation language TELL: operator to.

First-Order Logic Chapter 8. Outline Why FOL? Syntax and semantics of FOL Using FOL Wumpus world in FOL Knowledge engineering in FOL.

1 First-Order Logic Chapter 8. 2 Why FOL? –How do you say “All students are smart?” –Some students work hard –Hardworking students have good marks –If.

ARTIFICIAL INTELLIGENCE Lecture 3 Predicate Calculus.

© Copyright 2008 STI INNSBRUCK Intelligent Systems Predicate Logic.

Limitation of propositional logic  Propositional logic has very limited expressive power –(unlike natural language) –E.g., cannot say "pits cause breezes.

First-Order Logic Chapter 8. Outline Why FOL? Syntax and semantics of FOL Using FOL Wumpus world in FOL Knowledge engineering in FOL.

Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 11 of 41 Wednesday, 15.

Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 13 of 41 Monday, 20 September.

Computing & Information Sciences Kansas State University Lecture 13 of 42 CIS 530 / 730 Artificial Intelligence Lecture 13 of 42 William H. Hsu Department.

CS 666 AI P. T. Chung First-Order Logic First-Order Logic Chapter 8.

Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 12 Friday, 17 September.

Artificial Intelligence First-Order Logic (FOL). Outline of this Chapter The need for FOL? What is a FOL? Syntax and semantics of FOL Using FOL.

CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Lecture 11 Jim Martin.

First-Order Logic Chapter 8 (not 8.1). Outline Why FOL? Why FOL? Syntax and semantics of FOL Syntax and semantics of FOL Using FOL Using FOL Wumpus world.

First-Order Logic. Outline Why FOL? Syntax and semantics of FOL Using FOL Knowledge engineering in FOL.

First-Order Logic Chapter 8. Outline Why FOL? Syntax and semantics of FOL Using FOL Wumpus world in FOL Knowledge engineering in FOL.

First-Order Logic Reading: C. 8 and C. 9 Pente specifications handed back at end of class.

Computing & Information Sciences Kansas State University Lecture 12 of 42 CIS 530 / 730 Artificial Intelligence Lecture 12 of 42 William H. Hsu Department.

1 First Order Logic CS 171/271 (Chapter 8) Some text and images in these slides were drawn from Russel & Norvig’s published material.

First-Order Logic Chapter 8. Problem of Propositional Logic  Propositional logic has very limited expressive power –E.g., cannot say "pits cause breezes.

CPSC 420 – Artificial Intelligence Texas A & M University Lecture 7 Lecturer: Laurie webster II, M.S.S.E., M.S.E.e., M.S.BME, Ph.D., P.E.

Announcements  Upcoming due dates  Thursday 10/1 in class Midterm  Coverage: everything in lecture and readings except first-order logic; NOT probability.

Computing & Information Sciences Kansas State University Monday, 18 Sep 2006CIS 490 / 730: Artificial Intelligence Lecture 11 of 42 Monday, 18 September.

CS 541: Artificial Intelligence Lecture IV: Logic Agent and First Order Logic.

First-Order Logic Knowledge Representation

First-Order Logic Chapter 8.

First-Order Logic.

Knowledge Representation using First-Order Logic

First Order Logic.

Topics Covered since 1st midterm…

Last time: Logic and Reasoning

First-Order Logic Chapter 8.

Knowledge Representation III First-Order Logic

CS 4700: Foundations of Artificial Intelligence

Artificial Intelligence First Order Logic

EA C461 – Artificial Intelligence Logical Agent

First-Order Logic Knowledge Representation

Artificial Intelligence 1: First-Order Logic

Artificial Intelli-gence 1: logic agents

Artificial Intelligence

CS 188: Artificial Intelligence Spring 2007

First-Order Logic Knowledge Representation

First-Order Logic Knowledge Representation

First-Order Logic Chapter 8.

First-Order Logic Chapter 8.

CSE 4705 Artificial Intelligence

Artificial Intelligence: Agents and First-Order Logic

Introduction to Artificial Intelligence

Artificial Intelligence

Artificial Intelligence: Logic agents

First-Order Logic Chapter 8.

First-order Logic Propositional logic (cont…)

Knowledge Representation using First-Order Logic (Part III)

First-Order Logic Knowledge Representation

EA C461 – Artificial Intelligence Logical Agent

CS 188: Artificial Intelligence

First-Order Logic Chapter 8.

First-Order Logic Chapter 8.

Logical Agents Prof. Dr. Widodo Budiharto 2018

Presentation transcript:

Artificial Intelligence Lecture 10 – First Order Logic Dr. Muhammad Adnan Hashmi 9 April 2019

Pros and Cons of Propositional Logic 9 April 2019

First-Order Logic Syntax: 9 April 2019

Logics in General 9 April 2019

Atomic Sentences 9 April 2019

Complex Sentences 9 April 2019

Truth in FOL 9 April 2019

Models For FOL: Example 9 April 2019

Truth Example 9 April 2019

Universal Quantification A Common Mistake To Avoid: 9 April 2019

Existential Quantification Another Common Mistake To Avoid: 9 April 2019

Properties of Quantifiers 9 April 2019 12

Fun With Sentences Equality: 9 April 2019 13

Interacting with FOL KBs 9 April 2019 14

Knowledge Base for the Wumpus World 9 April 2019 15

Deducing Hidden Properties 9 April 2019 16

Keeping Track of Change 9 April 2019 17

Describing Actions 9 April 2019 18

Making Plans 9 April 2019 19

Questions 9 April 2019 20 20