1 Default Reasoning Q: How many wheels does John’s car have? A: Four (by default) The conclusion is withdrawn if one is supplied with the information that.

Slides:

Advertisements

Similar presentations

The Important Thing About By. The Important Thing About ******** The important thing about ***** is *****. It is true s/he can *****, *****, and *****.

Advertisements

What is motion? An object is in motion if it changes position over time compared to a reference point.

Uncertainty. environment Uncertain Agent agent ? sensors actuators ? ? ? model.

Limitations of First-Order Logic higher-order logics – quantify over predicates –define reflexive properties: all properties P for which x P(x,x) –induction:

İlk sayfaya geç Many Birds Fly, Some dont Elaborations on a Quantification Approach to the Problem of Qualification.

Representing uncertain knowledge

Introduction to Truth Maintenance Systems A Truth Maintenance System (TMS) is a PS module responsible for: 1.Enforcing logical relations among beliefs.

Argumentation Based on the material due to P. M. Dung, R.A. Kowalski et al.

Logic Programming Automated Reasoning in practice.

Commonsense Reasoning and Argumentation 14/15 HC 9 Structured argumentation (2) Henry Prakken March 4, 2015.

Justification-based TMSs (JTMS) JTMS utilizes 3 types of nodes, where each node is associated with an assertion: 1.Premises. Their justifications (provided.

Truth Maintenance Systems. Outline What is a TMS? Basic TMS model Justification-based TMS.

Assumption-Based Truth Maintenance Systems Meir Kalech.

Commonsense Reasoning and Argumentation 14/15 HC 10: Structured argumentation (3) Henry Prakken 16 March 2015.

Default Reasoning the problem: in FOL, universally-quantified rules cannot have exceptions –  x bird(x)  can_fly(x) –bird(tweety) –bird(opus)  can_fly(opus)

Default Reasoning By Naval Chopra( ) ‏ Pranay Bhatia ( ) ‏ Pradeep Kumar(07D05020) ‏ Siddharth Chinoy(07D05005) ‏ Vaibhav Chhimpa(07D05011)

1 DCP 1172 Introduction to Artificial Intelligence Chang-Sheng Chen Topics Covered: Introduction to Nonmonotonic Logic.

The ancestor problem For the ancestor problem we have the following rules in AnsProlog: anc(X,Y)

Knowledge Representation CPSC 386 Artificial Intelligence Ellen Walker Hiram College.

BIRDS FLY. is a bird Birds fly Tweety is a bird Tweety flies DEFEASIBLE NON-MONOTONIC PRESUMPTIVE?

Knowledge Representation and Reasoning Chapters , 10.6, 10.9 Some material adopted from notes by Andreas Geyer-Schulz and Chuck Dyer.

Knowledge Representation Formalization of facts about the real world Used for reasoning Ad-hoc or systematic? Comprehensiveness Completeness Ease of use.

For Friday Finish chapter 10 No homework (get started on program 2)

Relative Expressiveness of Defeasible Logics II Michael Maher.

Extensions to FOL. When the form of the statements provides useful information Rule-based systems Frame systems When FOL isn’t enough Default reasoning.

Uncertainty Russell and Norvig: Chapter 13 CMCS424 Fall 2003 based on material from Jean-Claude Latombe, Daphne Koller and Nir Friedman.

1 Reasoning in Uncertain Situations 8a 8.0Introduction 8.1Logic-Based Abductive Inference 8.2Abduction: Alternatives to Logic 8.3The Stochastic Approach.

1 Who Stole the Painting? In-class Resolution Refutation Problem N(x) – “x is a knight” K(x) – “x is a knave” R(x) – “x is a regular” N(A) -> ~N(A) = ~N(A)

Strong Two Party Politics in the Industrial Heartland.

Making Generalizations By D. Kyle Kelso Educator.

Intro to AI Fall 2002 © L. Joskowicz 1 Introduction to Artificial Intelligence LECTURE 11: Nonmonotonic Reasoning Motivation: beyond FOL + resolution Closed-world.

KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING Chitta Baral Arizona State University Tempe, AZ

Knowledge Representation and Reasoning University "Politehnica" of Bucharest Department of Computer Science Fall 2010 Adina Magda Florea

NONMONOTONIC LOGIC AHMED SALMAN MALIK. OVERVIEW Monotonic Logic Nonmonotonic Logic Usage and Applications Comparison with other forms of logic Related.

1 CMSC 671 Fall 2010 Class #11 – Monday, October 11.

1 Knowledge Based Systems (CM0377) Lecture 12 (Last modified 2nd May 2002)

Commonsense reasoning Cognitive Science Week 10. Which information is relevant to drawing a conclusion? Which facts are affected by an event? Yale shooting.

Uncertainty1 Uncertainty Russell and Norvig: Chapter 14 Russell and Norvig: Chapter 13 CS121 – Winter 2003.

For Friday Exam 1. For Monday No reading Take home portion of exam due.

Knowledge Representation and Reasoning Chapter 12 Some material adopted from notes by Andreas Geyer-Schulz and Chuck Dyer.

 Anonymous response  No consequences whatsoever.

For Wednesday Read chapter 13 Homework: –Chapter 10, exercise 5 (part 1 only, don’t redo) Progress for program 2 due.

CMSC 471 Spring 2014 Class #22 Thursday, April 17 Knowledge Representation Professor Marie desJardins,

2.4 DEDUCTIVE REASONING Playing the game of logic well.

Section 2-5: Deductive Reasoning Goal: Be able to use the Law of Detachment and the Law of Syllogism. Inductive Reasoning uses _________ to make conclusions.

For Friday Read Homework: –Chapter 10, exercise 22 I strongly encourage you to tackle this together. You may work in groups of up to 4 people.

Uncertainty in AI. Birds can fly, right? Seems like common sense knowledge.

Adding SubtractingMultiplyingDividingMiscellaneous.

For Friday Read Chapter 11, sections 1 and 2 Homework: –Chapter 10, exercises 1 and 5.

1 1 Fallacies UNCLASSIFIED The overall classification of this briefing is UNCLASSIFIED /FOUO.

For Wednesday Read chapter 13 No homework. Program 2 Any questions?

Linear Programming. Example x:x:Number of cars built Define the Variables Does it matter? y:y:Number of trucks built.

“If John studies then he will get an A.” s a s a F F T F T T T T T T F F.

FRIDAY, AUGUST 24, HOMEWORK CHECK Please pass in your write-ups then check your answers to the homework from Wednesday night: p #42-50 even.

On each slide: List interesting facts about the bird. List dangers to the bird. Follow the flying bird to more information about each specimen. Add notes.

Provide a counterexample for each statement Geometry Review Part 1.

Lecture 5 Frames. Associative networks, rules or logic do not provide the ability to group facts into associated clusters or to associate relevant procedural.

Common Sense Inference Let’s distinguish between: Mathematical inference about common sense situations Example: Formalize theory of behavior of liquids.

Section 2-3: Deductive Reasoning Goal: Be able to use the Law of Detachment and the Law of Syllogism. Inductive Reasoning uses _________ to make conclusions.

Limitations of First-Order Logic

Symbolic Reasoning under uncertainty

Reasoning with Uncertainty

Reasoning with Uncertainty Piyush Porwal ( ) Rohit Jhunjhunwala ( ) Srivatsa R. ( ) Under the guidance of Prof. Pushpak Bhattacharyya.

Adding with 9’s.

Adding with 10’s.

Logical reasoning systems

Adding ____ + 10.

Answer Set Programming

Logical reasoning systems

Presentation transcript:

1 Default Reasoning Q: How many wheels does John’s car have? A: Four (by default) The conclusion is withdrawn if one is supplied with the information that one wheel of John’s car has just been stolen. non-monotonicity

2 Default Reasoning Q: Can bird Tweety fly? A: Yes (by default) The conclusion is withdrawn if it is added that Tweety is a penguin. non-monotonicity

3 Default Reasoning Q: How many wheels does John’s car have? A: Four (by default) The conclusion is withdrawn if one is supplied with the information that one wheel of John’s car has just been stolen. car(x)  …  wheel-num(x, 4)

4 Default Reasoning Q: Can bird Tweety fly? A: Yes (by default) The conclusion is withdrawn if it is added that Tweety is a penguin. bird(x)  …  fly(x)

5 Default Reasoning Q: How many wheels does John’s car have? A: Four (by default - CWA) The conclusion is withdrawn if one is supplied with the information that one wheel of John’s car has just been stolen. car(x)   abnormal(x)  wheel-num(x, 4) wheel-stolen(x)  abnormal(x)

6 Default Reasoning Q: Can bird Tweety fly? A: Yes (by default - CWA) The conclusion is withdrawn if it is added that Tweety is a penguin. bird(x)   abnormal(x)  fly(x) penguin(x)  abnormal(x)

7 Default Reasoning Usually, Quakers are pacifist Usually, Republicans are not pacifist Richard Nixon is both a Quaker and a Republican Q: Is Nixon a pacifist?

8 Default Reasoning Usually, Quakers are pacifist Usually, Republicans are not pacifist Richard Nixon is both a Quaker and a Republican Nixon pacifist Quaker Republican Nixon diamond

9 Default Reasoning Usually, Quakers are pacifist Usually, Republicans are not pacifist Richard Nixon is both a Quaker and a Republican quaker(x)   abnormal 1 (x)  pacifist(x) republican(x)   abnormal 2 (x)   pacifist(x) quaker(Nixon) republican(Nixon)

10 Default Reasoning Default consequence: KB  D  iff  is true in every preferred model of KB.

11 Default Reasoning quaker(x)   abnormal 1 (x)  pacifist(x) republican(x)   abnormal 2 (x)   pacifist(x) quaker(Nixon) republican(Nixon) quaker(Nixon) republican(Nixon) abnormal 1 (Nixon)  abnormal 2 (Nixon) … quaker(Nixon) republican(Nixon)  abnormal 1 (Nixon) abnormal 2 (Nixon) … more preferred to Model 1 Model 2

12 Default Reasoning Uncertain reasoning: car(x)  wheel-num(x, 4) [l 1, u 2 ] bird(x)  fly(x) [l 3, u 4 ] quaker(x)  pacifist(x) [l 5, u 6 ] republican(x)   pacifist(x) [l 7, u 8 ] [l, u]: probabilistic or possibilistic intervals