1 / 16

Wumpus World Description

Wumpus World Description. Let’s play another game. Review : Knowledge Bases. Review:Knowledge-Based Agent. Logic. When we have too many states, we want a convenient way of dealing with sets of states. The sentence “It’s sunny” stands for all the states of the world in which it is sunny.

noelani-jeremiah
Download Presentation

Wumpus World Description

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Wumpus World Description

  2. Let’s play another game

  3. Review : Knowledge Bases

  4. Review:Knowledge-Based Agent

  5. Logic • When we have too many states, we want a convenient way of dealing with sets of states. • The sentence “It’s sunny” stands for all the states of the world in which it is sunny. • Logic provides a way of manipulating big collections of sets by manipulating short descriptions instead. • Instead of thinking about all the ways a world could be, we’re going to work in a language of expressions that describe those sets.

  6. What is a logic? • A formal language • Syntax – what expressions are legal • Semantics – what legal expressions mean • Proof system – a way of manipulating syntactic expressions to get other syntactic expressions (which will tell us something new) • Why proofs? Two kinds of inferences an agent might want to make: • Multiple percepts  conclusions about the world • Current state & operator  properties of next state

  7. Logic in general

  8. Entailment

  9. Models

  10. Types of logic

  11. Propositional logic: syntax

  12. Propositional logic: semantics

  13. Truth tables • Truth value: whether a statement is true or false. • Truth table: complete list of truth values for a statement given all possible values of the individual atomic expressions. Example: P Q P V Q T T T T F T F T T F F F

  14. Truth tables for basic connectives Note that implication is not “causality”, if P is f then P -> Q is t

  15. Standard Logical Equivalences

  16. Inference rules

More Related