Devina DesaiF r a m e P r o b l e m What is a Frame Problem Environment for an agent is not static Identifying which things remain static in changing word.

Slides:



Advertisements
Similar presentations
1 Knowledge Representation Introduction KR and Logic.
Advertisements

Geometry Chapter 2 Terms.
Formal Criteria for Evaluating Arguments
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Artificial Intelligence Chapter 21 The Situation Calculus Biointelligence Lab School of Computer Sci. & Eng. Seoul National University.
Logic Use mathematical deduction to derive new knowledge.
The Ramification and Qualification Problems in Temporal Databases Nikos Papadakis & Dimitris Plexousakis University of Crete and.
Andrew Courter Texas Tech University CS5331.  PKS Why PKS? STRIPS The Databases Inference Algorithm Extended Features  PKS Examples  Conclusion and.
Logic in general Logics are formal languages for representing information such that conclusions can be drawn Syntax defines the sentences in the language.
CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Lecture 9 Jim Martin.
Logical Agents Chapter 7. Why Do We Need Logic? Problem-solving agents were very inflexible: hard code every possible state. Search is almost always exponential.
Logical Agents Chapter 7. Why Do We Need Logic? Problem-solving agents were very inflexible: hard code every possible state. Search is almost always exponential.
CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Lecture 8 Jim Martin.
ARTIFICIAL INTELLIGENCE TECHNIQUES Knowledge Processing 1.
Knowledge Representation
Propositional Logic: Logical Agents (Part I) This lecture topic: Propositional Logic (two lectures) Chapter (this lecture, Part I) Chapter 7.5.
Expert Systems.
Bloom’s Critical Thinking Level 1 Knowledge Exhibits previously learned material by recalling facts, terms, basic concepts, and answers.
Artificial Intelligence: Definition “... the branch of computer science that is concerned with the automation of intelligent behavior.” (Luger, 2009) “The.
Knowledge Interchange Format Michael Gruninger National Institute of Standards and Technology
Chapter 3: Methods of Inference
13: Inference Techniques
CS 4100 Artificial Intelligence Prof. C. Hafner Class Notes Jan 19, 2012.
Propositional Logic: Logical Agents (Part I) This lecture topic: Propositional Logic (two lectures) Chapter (this lecture, Part I) Chapter 7.5.
Fall 98 Introduction to Artificial Intelligence LECTURE 7: Knowledge Representation and Logic Motivation Knowledge bases and inferences Logic as a representation.
1 Logical Agents CS 171/271 (Chapter 7) Some text and images in these slides were drawn from Russel & Norvig’s published material.
Logical Agents Logic Propositional Logic Summary
1 Knowledge Representation. 2 Definitions Knowledge Base Knowledge Base A set of representations of facts about the world. A set of representations of.
Control Algorithms 1 Chapter 6 Control Algorithms 1 Chapter 6 Pattern Search.
Question of the Day!  We shared a lot of examples of illogical arguments!  But how do you make a LOGICAL argument? What does your argument need? What.
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.
Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
1 Logical Agents CS 171/271 (Chapter 7) Some text and images in these slides were drawn from Russel & Norvig’s published material.
Philosophical Method  Logic: A Calculus For Good Reason  Clarification, Not Obfuscation  Distinctions and Disambiguation  Examples and Counterexamples.
October 17, 2012Introduction to Artificial Intelligence Lecture 11: Knowledge Representation and Reasoning I 1Semantics In propositional logic, we associate.
Logical Agents Chapter 7. Outline Knowledge-based agents Logic in general Propositional (Boolean) logic Equivalence, validity, satisfiability.
Knowledge Processing 1. Aims of session  Introduce types of reasoning  Deterministic  Propositional logic  Predicate logic.
KNOWLEDGE BASED SYSTEMS
Chapter 2: The Representation of Knowledge
Knowledge Representation
Propositional Logic Predicate Logic
Lecture 8-1CS250: Intro to AI/Lisp FOPL, Part Deux Lecture 8-1 November 16 th, 1999 CS250.
Planning I: Total Order Planners Sections
Inductive and Deductive Reasoning. Notecard 29 Definition: Conjecture: an unproven statement that is based on observations. You use inductive reasoning.
Artificial Intelligence 2004 Planning: Situation Calculus Review STRIPS POP Hierarchical Planning Situation Calculus (John McCarthy) situations.
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.
Inductive and Deductive Reasoning. Notecard 30 Definition: Conjecture: an unproven statement that is based on observations or given information.
Knowledge Repn. & Reasoning Lecture #9: Propositional Logic UIUC CS 498: Section EA Professor: Eyal Amir Fall Semester 2005.
Artificial Intelligence Knowledge Representation.
Definition and Technologies Knowledge Representation.
March 3, 2016Introduction to Artificial Intelligence Lecture 12: Knowledge Representation & Reasoning I 1 Back to “Serious” Topics… Knowledge Representation.
Artificial Intelligence Logical Agents Chapter 7.
Propositional Logic: Logical Agents (Part I)
Knowledge Representation Techniques
Chapter 1 Lessons 1-4 to 1-8.
Introduction to Knowledge-bases
Knowledge Representation
Knowledge Representation
EPISTEMIC LOGIC.
Knowledge Representation and Inference
Logical Agents Chapter 7.
Logic Use mathematical deduction to derive new knowledge.
2-1 Inductive Reasoning.
Back to “Serious” Topics…
Logical Agents Chapter 7.
Expert System Dr. Khoerul Anwar, S.T.,M.T STMIK Pradnya Paramita
Knowledge Representation I (Propositional Logic)
Presentation transcript:

Devina DesaiF r a m e P r o b l e m What is a Frame Problem Environment for an agent is not static Identifying which things remain static in changing word Use of information in Knowledge Base and agent’s conclusion based on that knowledge Discarding negative inferences

Devina DesaiF r a m e P r o b l e m Origin of the Frame Problem Fluents : Values that change over time States :Current view of the environment Predicates : Evaluates to true /false Action : Causes change in state Result : Through which inferences are drawn Frame Axioms : phrases that describe the environment HERE COMES THE PROBLEM OF INFERENCE

Devina DesaiF r a m e P r o b l e m Problems in Frame Problem Frame Problem is a temporal problem Inferential Problem : How to judge the world Raminification Problem : Deviation within the environment Prediction Problem :Uncertainty for positive results Qualification Problem: which rules qualify ? Representation Problem : true knowledge repository

Devina DesaiF r a m e P r o b l e m Resolving Frame Problem Agent must examine current facts Relevant/Irrelevant Changes Representing Facts: –Semantic : word – meaning pairs –Syntactic : structures and patterns –Problems with Fact Representation

Devina DesaiF r a m e P r o b l e m Requirements for Solution Achieving right level of generality/speciality Staying truthful to intuitions Truth and Soundness Concreteness

Devina DesaiF r a m e P r o b l e m Techniques for Solution Some of the methods for resolving : Non-Deductive :emulate human actions Deductive : Based on Logic Frames and Scripts Causal Approach Probabilistic Approach