# Center for Analysis and Design of Intelligent Agents

### Site Tools

public:t_720_atai:atai-18:lecture_notes

# Differences

This shows you the differences between two versions of the page.

public:t_720_atai:atai-18:lecture_notes [2018/11/01 17:31]
thorisson [Curiosity]
public:t_720_atai:atai-18:lecture_notes [2018/12/13 13:02] (current)
thorisson [Reasoning]
Line 17: Line 17:
|  What It Is  | The establishment of axioms for the world and applying logic to these.    | |  What It Is  | The establishment of axioms for the world and applying logic to these.    |
|  But The World Is Non-Axiomatic !  | Yes. But there is no way to apply logic unless we hypothesize some pseudo-axioms. The only difference between this and mathematics is that in science we must accept that the so-called "laws" of physics may be only conditionally correct (or possibly even completely incorrect, in light of our goal of figuring out the "ultimate" truth about how the universe works).     | |  But The World Is Non-Axiomatic !  | Yes. But there is no way to apply logic unless we hypothesize some pseudo-axioms. The only difference between this and mathematics is that in science we must accept that the so-called "laws" of physics may be only conditionally correct (or possibly even completely incorrect, in light of our goal of figuring out the "ultimate" truth about how the universe works).     |
-|  Deduction  | Results of two statements that logically are necessarily true. \\ //Example: If it's true that all swans are white, and Joe ifIs a swan, then Joe must be white//.    |+|  Deduction  | Results of two statements that logically are necessarily true. \\ //Example: If it's true that all swans are white, and Joe is a swan, then Joe must be white//.    |
|  Abduction  | Reasoning from conclusions to causes. \\ //Example: If the light is on, and it was off just a minute ago, someone must have flipped the switch//.     | |  Abduction  | Reasoning from conclusions to causes. \\ //Example: If the light is on, and it was off just a minute ago, someone must have flipped the switch//.     |
|  Induction  | Generalization from observation. \\ //Example: All the swans I have ever seen have been white, hence I hypothesize that all swans are white//.    | |  Induction  | Generalization from observation. \\ //Example: All the swans I have ever seen have been white, hence I hypothesize that all swans are white//.    |