logic in action
play

Logic in Action Chapter 3: Syllogistic Reasoning - PowerPoint PPT Presentation

Aug 05, 2023 •307 likes •1.03k views

Logic in Action Chapter 3: Syllogistic Reasoning http://www.logicinaction.org/ ( http://www.logicinaction.org/ ) 1 / 13 Reasoning About Predicates Beyond Propositional Logic How would you decide whether the following inferences are valid or

  1. Logic in Action Chapter 3: Syllogistic Reasoning http://www.logicinaction.org/ ( http://www.logicinaction.org/ ) 1 / 13

  2. Reasoning About Predicates Beyond Propositional Logic How would you decide whether the following inferences are valid or not using the Propositional Logic tools ? ( http://www.logicinaction.org/ ) 2 / 13

  3. Reasoning About Predicates Beyond Propositional Logic How would you decide whether the following inferences are valid or not using the Propositional Logic tools ? All politicians are rich. No student is politician. ? No student is rich. ( http://www.logicinaction.org/ ) 2 / 13

  4. Reasoning About Predicates Beyond Propositional Logic How would you decide whether the following inferences are valid or not using the Propositional Logic tools ? All politicians are rich. No student is politician. ? No student is rich. All politicians are rich. There is a student that is a politician. ? There is a student that is rich. ( http://www.logicinaction.org/ ) 2 / 13

  5. Reasoning About Predicates Beyond Propositional Logic How would you decide whether the following inferences are valid or not using the Propositional Logic tools ? All politicians are rich. No student is politician. ? No student is rich. All politicians are rich. There is a student that is a politician. ? There is a student that is rich. How to deal with individuals and their properties? ( http://www.logicinaction.org/ ) 2 / 13

  6. Reasoning About Predicates Syllogisms A syllogism is a inference with specific characteristics. ( http://www.logicinaction.org/ ) 3 / 13

  7. Reasoning About Predicates Syllogisms A syllogism is a inference with specific characteristics. Only two premises. ( http://www.logicinaction.org/ ) 3 / 13

  8. Reasoning About Predicates Syllogisms A syllogism is a inference with specific characteristics. Only two premises. The premises and conclusion can have only the following forms: ( http://www.logicinaction.org/ ) 3 / 13

  9. Reasoning About Predicates Syllogisms A syllogism is a inference with specific characteristics. Only two premises. The premises and conclusion can have only the following forms: 1 “All A are B ” . ( http://www.logicinaction.org/ ) 3 / 13

  10. Reasoning About Predicates Syllogisms A syllogism is a inference with specific characteristics. Only two premises. The premises and conclusion can have only the following forms: 1 “All A are B ” . 2 “Some A are B ” . ( http://www.logicinaction.org/ ) 3 / 13

  11. Reasoning About Predicates Syllogisms A syllogism is a inference with specific characteristics. Only two premises. The premises and conclusion can have only the following forms: 1 “All A are B ” . 2 “Some A are B ” . 3 “All A are not B ” (i.e., “No A is B ” ). ( http://www.logicinaction.org/ ) 3 / 13

  12. Reasoning About Predicates Syllogisms A syllogism is a inference with specific characteristics. Only two premises. The premises and conclusion can have only the following forms: 1 “All A are B ” . 2 “Some A are B ” . 3 “All A are not B ” (i.e., “No A is B ” ). 4 “Some A are not B ” (i.e., “Not all A are B ” ). ( http://www.logicinaction.org/ ) 3 / 13

  13. Reasoning About Predicates Syllogisms A syllogism is a inference with specific characteristics. Only two premises. The premises and conclusion can have only the following forms: 1 “All A are B ” . 2 “Some A are B ” . 3 “All A are not B ” (i.e., “No A is B ” ). 4 “Some A are not B ” (i.e., “Not all A are B ” ). where A and B are predicates , that is, they represent collection of objects. ( http://www.logicinaction.org/ ) 3 / 13

  14. Reasoning About Predicates Syllogisms A syllogism is a inference with specific characteristics. Only two premises. The premises and conclusion can have only the following forms: 1 “All A are B ” . 2 “Some A are B ” . 3 “All A are not B ” (i.e., “No A is B ” ). 4 “Some A are not B ” (i.e., “Not all A are B ” ). where A and B are predicates , that is, they represent collection of objects. The inference involves just three predicates. ( http://www.logicinaction.org/ ) 3 / 13

  15. Reasoning About Predicates Examples Some mugs are beautiful. All fruit is nutritious. All mugs are useful. All fruit is tasty. Some useful things are beautiful. Some tasty things are nutritious. All schools are buildings. Some travellers are not caucasian. Some schools are tents. None of the tourists is a traveller. No buildings are tents. Some tourists are not caucasian. ( http://www.logicinaction.org/ ) 4 / 13

  16. Reasoning About Predicates Square of opposition ( http://www.logicinaction.org/ ) 5 / 13

  17. Reasoning About Predicates Square of opposition All A are B . ( http://www.logicinaction.org/ ) 5 / 13

  18. Reasoning About Predicates Square of opposition All A are B . Some A are B . ( http://www.logicinaction.org/ ) 5 / 13

  19. Reasoning About Predicates Square of opposition All A are B . Some A are B . All A are not B (No A is B ). ( http://www.logicinaction.org/ ) 5 / 13

  20. Reasoning About Predicates Square of opposition All A are B . Some A are B . All A are not B (No A is B ). Some A are not B (Not all A are B ). ( http://www.logicinaction.org/ ) 5 / 13

  21. Reasoning About Predicates Square of opposition All A are B . Some A are B . All A are not B (No A is B ). Some A are not B (Not all A are B ). All A are B All A are not B Some A are B Some A are not B ( http://www.logicinaction.org/ ) 5 / 13

  22. Sets and Operations on Sets Sets A set is a collection of objects. ( http://www.logicinaction.org/ ) 6 / 13

  23. Sets and Operations on Sets Sets A set is a collection of objects. If object a is in the set A , we write a ∈ A . ( http://www.logicinaction.org/ ) 6 / 13

  24. Sets and Operations on Sets Sets A set is a collection of objects. If object a is in the set A , we write a ∈ A . A set can be defined by a property: { x | ϕ ( x ) } ( http://www.logicinaction.org/ ) 6 / 13

  25. Sets and Operations on Sets Sets A set is a collection of objects. If object a is in the set A , we write a ∈ A . A set can be defined by a property: { x | ϕ ( x ) } Usually there is a domain U from where the objects are taken from. { x ∈ U | ϕ ( x ) } ( http://www.logicinaction.org/ ) 6 / 13

  26. Sets and Operations on Sets Operations on sets: two predicates Domain : Humans P oliticians S tudents ( http://www.logicinaction.org/ ) 7 / 13

  27. Sets and Operations on Sets Operations on sets: two predicates A set : P oliticians P oliticians S tudents P ( http://www.logicinaction.org/ ) 7 / 13

  28. Sets and Operations on Sets Operations on sets: two predicates A set : S tudents P oliticians S tudents S ( http://www.logicinaction.org/ ) 7 / 13

  29. Sets and Operations on Sets Operations on sets: two predicates Complement : No S tudents P oliticians S tudents S ( http://www.logicinaction.org/ ) 7 / 13

  30. Sets and Operations on Sets Operations on sets: two predicates Complement : No P oliticians P oliticians S tudents P ( http://www.logicinaction.org/ ) 7 / 13

  31. Sets and Operations on Sets Operations on sets: two predicates Union : P oliticians or S tudents P oliticians S tudents P ∪ S ( http://www.logicinaction.org/ ) 7 / 13

  32. Sets and Operations on Sets Operations on sets: two predicates Union : S tudents or P oliticians P oliticians S tudents S ∪ P ( http://www.logicinaction.org/ ) 7 / 13

  33. Sets and Operations on Sets Operations on sets: two predicates Intersection : P oliticians and S tudents P oliticians S tudents P ∩ S ( http://www.logicinaction.org/ ) 7 / 13

  34. Sets and Operations on Sets Operations on sets: two predicates Intersection : S tudents and P oliticians P oliticians S tudents S ∩ P ( http://www.logicinaction.org/ ) 7 / 13

  35. Sets and Operations on Sets Operations on sets: two predicates Difference : P oliticians that are no S tudents P oliticians S tudents P \ S ( http://www.logicinaction.org/ ) 7 / 13

  36. Sets and Operations on Sets Operations on sets: two predicates Difference : S tudents that are no P oliticians P oliticians S tudents S \ P ( http://www.logicinaction.org/ ) 7 / 13

  37. Sets and Operations on Sets Operations on sets: three predicates P S R All possible combinations are represented in this diagram. ( http://www.logicinaction.org/ ) 8 / 13

  38. Sets and Operations on Sets Operations on sets: three predicates P S R P ( http://www.logicinaction.org/ ) 8 / 13

  39. Sets and Operations on Sets Operations on sets: three predicates P S R S ( http://www.logicinaction.org/ ) 8 / 13

  40. Sets and Operations on Sets Operations on sets: three predicates P S R R ( http://www.logicinaction.org/ ) 8 / 13

  41. Sets and Operations on Sets Operations on sets: three predicates P S R P ∪ S ∪ R ( http://www.logicinaction.org/ ) 8 / 13

  42. Sets and Operations on Sets Operations on sets: three predicates P S R S ∪ P ( http://www.logicinaction.org/ ) 8 / 13

  43. Sets and Operations on Sets Operations on sets: three predicates P S R P ∩ R ( http://www.logicinaction.org/ ) 8 / 13

  44. Sets and Operations on Sets Operations on sets: three predicates P S R P ∩ ( S ∪ R ) ( http://www.logicinaction.org/ ) 8 / 13

  45. Sets and Operations on Sets Operations on sets: three predicates P S R R \ ( P ∪ S ) ( http://www.logicinaction.org/ ) 8 / 13

Recommend

Proofs: Logic in Action Using Logic Logic is used to deduce results in any (mathematically

Proofs: Logic in Action Using Logic Logic is used to deduce results in any (mathematically

Euclid (300 BC) Proofs: Logic in Action Using Logic Logic is used to deduce results in any (mathematically defined) system Typically a human endeavour (but can be automated if the system is relatively simple) Proof is a means to convince

325 views • 8 slides
1 Discussion And what about processing data? In theory: describing knowledge by logic

1 Discussion And what about processing data? In theory: describing knowledge by logic

3.2 Rule Sets / Production Systems 3.2.1 PROLOG n Focus on operational knowledge: General idea: if condition then action n program descriptively by just stating axioms in a n Uses a logic: logic and asking queries

298 views • 4 slides
1 Discussion And what about processing data? In theory: describing knowledge by logic rules n

1 Discussion And what about processing data? In theory: describing knowledge by logic rules n

3.2 Rule Sets / Production Systems 3.2.1 PROLOG n Focus on operational knowledge: General idea: if condition then action n program descriptively by just stating axioms in a n Uses a logic: logic and asking queries usually propositional

533 views • 4 slides
Logic in Action Chapter 9: Proofs http://www.logicinaction.org/ ( http://www.logicinaction.org/ )

Logic in Action Chapter 9: Proofs http://www.logicinaction.org/ ( http://www.logicinaction.org/ )

Logic in Action Chapter 9: Proofs http://www.logicinaction.org/ ( http://www.logicinaction.org/ ) 1 / 24 Natural Deduction for Propositional Logic Systems revised so far Issues with the tableau method. ( http://www.logicinaction.org/ ) 2 / 24

1.6k views • 114 slides
States and Time in Modal Action Logic Camilla Schwind Laboratoire dInformatique Fondamentale

States and Time in Modal Action Logic Camilla Schwind Laboratoire dInformatique Fondamentale

Introduction The logic D al D al -based Action Systems Example Conclusion States and Time in Modal Action Logic Camilla Schwind Laboratoire dInformatique Fondamentale Marseille June 27, 2007 Camilla Schwind States and Time in Modal

628 views • 30 slides
Logic of Joint Action Natasha Alechina (joint work with Thomas Agotnes) November 2011, St

Logic of Joint Action Natasha Alechina (joint work with Thomas Agotnes) November 2011, St

Logic of Joint Action Natasha Alechina (joint work with Thomas Agotnes) November 2011, St Andrews Workshop in Honour of Roy Dyckhoff Agotnes & Alechina Logic of Joint Action November 2011 1 / 24 Motivation Translate Coalition

459 views • 24 slides
Logic in Action Introduction: IDF and Special Operations History of the IDF and special

Logic in Action Introduction: IDF and Special Operations History of the IDF and special

Logic in Action Introduction: IDF and Special Operations History of the IDF and special operations The Unit Profession: planning What can we learn from their experience? What makes it relevant to other domains such as BS,

987 views • 57 slides
Markov Logic Markov Logic Probability First-Order Logic Propositional Logic Markov Logic

Markov Logic Markov Logic Probability First-Order Logic Propositional Logic Markov Logic

Putting the Pieces Together Markov Logic Markov Logic Probability First-Order Logic Propositional Logic Markov Logic Definition A Markov Logic Network (MLN) is a set of A logical KB is a set of hard constraints pairs (F, w) where on

350 views • 6 slides
Proofs: Logic in Action Poll 0 Did you attend the tutorials? A: None of them B: On

Proofs: Logic in Action Poll 0 Did you attend the tutorials? A: None of them B: On

Euclid (300 BC) Proofs: Logic in Action Poll 0 Did you attend the tutorials? A: None of them B: On Monday only C: On Tuesday only D: On Monday and Tuesday Review Question 1 Consider the following propositions:

460 views • 20 slides
Action Planning The goal of action planning is to choose actions and ordering relations among

Action Planning The goal of action planning is to choose actions and ordering relations among

Action Planning The goal of action planning is to choose actions and ordering relations among these actions to (Where logic-based representation achieve specified goals of knowledge makes search problems Search-based problem solving

555 views • 12 slides
Undecidability in Logic 16-0 Logic Logic is intended to help us study

Undecidability in Logic 16-0 Logic Logic is intended to help us study

Griffith University 3130CIT Theory of Computation (Based on slides by Harald Sndergaard of The University of Melbourne) Undecidability in Logic 16-0 Logic Logic is intended to help us study arguments such as

539 views • 11 slides
Logic Modeling Outline What is a logic model? How to use a logic model How to build a

Logic Modeling Outline What is a logic model? How to use a logic model How to build a

An Introduction to Logic Modeling Outline What is a logic model? How to use a logic model How to build a logic model What is a Logic Model? Brief definition: A logic model is a graphic representation of a program showing

630 views • 61 slides
Gates and Logic: From Transistors to Logic Gates and Logic Circuits Prof. Hakim Weatherspoon CS

Gates and Logic: From Transistors to Logic Gates and Logic Circuits Prof. Hakim Weatherspoon CS

Gates and Logic: From Transistors to Logic Gates and Logic Circuits Prof. Hakim Weatherspoon CS 3410 Computer Science Cornell University [Weatherspoon, Bala, Bracy, and Sirer] Goals for Today From Switches to Logic Gates to Logic

469 views • 43 slides
Gates and Logic: From Transistors to Logic Gates and Logic Circuits Prof. Hakim Weatherspoon CS

Gates and Logic: From Transistors to Logic Gates and Logic Circuits Prof. Hakim Weatherspoon CS

Gates and Logic: From Transistors to Logic Gates and Logic Circuits Prof. Hakim Weatherspoon CS 3410 Computer Science Cornell University [Weatherspoon, Bala, Bracy, and Sirer] Goals for Today From Switches to Logic Gates to Logic

1.04k views • 77 slides
05Predicate Logic CS 5209: Foundation in Logic and AI Martin Henz and Aquinas Hobor February

05Predicate Logic CS 5209: Foundation in Logic and AI Martin Henz and Aquinas Hobor February

Predicate Logic: Motivation, Syntax, Proof Theory Semantics of Predicate Logic Soundness and Completeness of Predicate Logic Undecidability of Predicate Logic 05Predicate Logic CS 5209: Foundation in Logic and AI Martin Henz and Aquinas

1.36k views • 69 slides
Gates and Logic: From Transistors to Logic Gates and Logic Circuits CS 3410: Computer System

Gates and Logic: From Transistors to Logic Gates and Logic Circuits CS 3410: Computer System

Gates and Logic: From Transistors to Logic Gates and Logic Circuits CS 3410: Computer System Organization and Programming [K. Bala, A. Bracy, E. Sirer, and H. Weatherspoon] Goals for Today From Switches to Logic Gates to Logic Circuits

434 views • 25 slides
Logic as a Tool Chapter 3: Understanding First-order Logic 3.2 Semantics of first-order logic

Logic as a Tool Chapter 3: Understanding First-order Logic 3.2 Semantics of first-order logic

Logic as a Tool Chapter 3: Understanding First-order Logic 3.2 Semantics of first-order logic Valentin Goranko Stockholm University October 2016 Goranko Translation from first-order logic to natural language: examples in the structure of real

994 views • 20 slides
Logic? Propositional Logic, Truth Tables (Rosen, Sections 1.1, 1.2, 1.3) TOPICS

Logic? Propositional Logic, Truth Tables (Rosen, Sections 1.1, 1.2, 1.3) TOPICS

Logic? Propositional Logic, Truth Tables (Rosen, Sections 1.1, 1.2, 1.3) TOPICS Propositional Logic Logical Operations Equivalences CS 160, Summer Semester 2016 2 Why logic? To reason about programs, What is logic? e.g. Are

424 views • 9 slides
Hoare logic separation logic. We looked at the concepts separation logic is based on, the new

Hoare logic separation logic. We looked at the concepts separation logic is based on, the new

Introduction In the previous lecture, we saw how reasoning about pointers in Hoare logic was problematic, which motivated introducing Hoare logic separation logic. We looked at the concepts separation logic is based on, the new assertions that

396 views • 14 slides
review CS 540 Yingyu Liang Propositional logic Logic If the rules of the world are

review CS 540 Yingyu Liang Propositional logic Logic If the rules of the world are

Logic and machine learning review CS 540 Yingyu Liang Propositional logic Logic If the rules of the world are presented formally, then a decision maker can use logical reasoning to make rational decisions. Several types of logic:

919 views • 35 slides
First-order logic Whereas propositional logic assumes world contains facts , first-order logic

First-order logic Whereas propositional logic assumes world contains facts , first-order logic

First-order logic Whereas propositional logic assumes world contains facts , first-order logic (like natural language) assumes the world contains First-order logic Objects: people, houses, numbers, theories, Ronald McDonald, colors, baseball

245 views • 6 slides
The logic of learning: The logic of learning: logic and knowledge representation logic and

The logic of learning: The logic of learning: logic and knowledge representation logic and

The logic of learning: The logic of learning: logic and knowledge representation logic and knowledge representation in machine learning in machine learning Peter A. Flach Department of Computer Science University of Bristol

771 views • 59 slides
STRIPS Representation State-based view of time. The actions are external to the logic.

STRIPS Representation State-based view of time. The actions are external to the logic.

STRIPS Representation State-based view of time. The actions are external to the logic. Given a state and an action, the STRIPS representation is used to determine whether the action can be carried out in the state what is true

518 views • 6 slides
The NHS belongs to everyone: A Call to Action What is Call to Action? A Call to Action is an

The NHS belongs to everyone: A Call to Action What is Call to Action? A Call to Action is an

The NHS belongs to everyone: A Call to Action What is Call to Action? A Call to Action is an opportunity for everyone to contribute to the debate about the future of health and care provision in England The aim is to gather views, data

532 views • 17 slides

More recommend