Koofers

Lecture Notes for CMSC 421 - INTRO ARTIFICIAL INTELLI with Nau at Maryland (UMD)

Notes Information

Material Type:Note
Professor:Nau
Class:CMSC 421 - INTRO ARTIFICIAL INTELLI
Subject:Computer Science
University:University of Maryland
Term:--
Keywords:
  • Forward Chaining
  • Formal Structure
  • Propositional
  • Conjunction
  • Characterization
  • Observations
  • Enumeration
  • Conjunctive
  • Consequences
  • Implementation
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

Last update: October 9, 2008 Logical agents CMSC 421: Chapter 7 CMSC 421: Chapter 7 1 Outline } Knowledge-based agents } Wumpus world } Logic in general|models and entailment } Propositional (Boolean) logic } Equivalence, validity, satis ability } Inference rules and theorem proving { forward chaining { backward chaining { resolution CMSC 421: Chapter 7 2 Knowledge bases Inference engine Knowledge base domain?specific content domain?independent algorithms Knowledge base = set of sentences in a formal language Declarative approach to building an agent (or other system): Tell it what it needs to know Then it can Ask itself what to do|answers should follow from the KB Agents can be viewed at the knowledge level i.e., what they know, regardless of how implemented Or at the implementation level i.e., data structures in KB and algorithms that manipulate them CMSC 421: Chapter 7 3 A simple knowledge-based agent function KB-Agent(percept) returns an action static: KB, a knowledge base t...

Related Documents

Performance Measurement Exam
Performance Measurement Notes
Performance Measurement Notes
Definite Truth Values Notes
Organizational Design Notes
Utility Theory Notes
Irrelevant Variables Notes
Feminist Philosophers Notes
Political Realism Notes
Alcoholic Beverage Notes
Good Strategy Exam
Conditions of Exchange Notes
Media Strategy Notes
Motive for Affiliation Notes
Identity Vs. Identity Diffusion Notes
Structured Questions Notes
155, "/var/app/current/tmp/"