The document discusses a presentation given by Yamaguchiintlab on reasoning. It introduces the presenter and their background in research and education. It then covers different types of reasoning including deduction, induction and abduction. Examples are given to illustrate abductive reasoning. The presentation concludes by recapping the use of IF-THEN statements in computer languages and the three main theories of reasoning.

1. TOYOTA MR-S (SW30)
S-Limited Ver. TOUGE
2009 10 14

2. id:yamaguchiintlab
2009 10 14

3. IF
Reasoning
2009 10 14

4. Agenda
• Presenter Profile
• Reasoning
• Conclusion
2009 10 14

5. Presenter Profile
• ID:yamaguchiintlab
• WORK:Research and Education
• Associate:Toin University of Yokohama
• Title:Assistant Professor
• FIELD: Multiagent, Software Engineering,
Emergence, Intelligent Information...
2009 10 14

6. Today’s Keyword
•Japanese : [Hiragana]
• Japanese : [Katakana]
• Japanese :moshi[Roman Style]
• English : if, reason
2009 10 14

7. if(){}else{}, IF - THEN
• C, C++, Java, sh, PHP, Ruby,
Perl, Fortran, Pascal, COBOL,
BASIC, awk, Prolog, Etc...
• SQL => SELECT
• Assembler, Smalltalk => None
2009 10 14

8. Predicate Logic
•IF - THEN s1 s2 if s1 then s2
•if S1 then s2 TRUE TRUE TRUE
•AND TRUE FALSE FALSE
•OR FALSE TRUE FALSE
2009 10 14
•NOT FALSE FALSE TRUE

9. Reasoning
•
A
Deduction A→B
B
• Induction A, B
A→B
• Abduction B
A→B
A
2009 10 14

10. Reasoning::Abduction
• @yamaguchiintlab
• (Teacher)
• (Absurd)
2009 10 14

11. Reasoning::Abduction
•
• bot
• @sugyan
2009 10 14

12. Reasoning::Abduction
• atcorp or @atcorp
• (Tsukada)
• Modeling
2009 10 14

13. Reasoning::Abduction
2009 10 14

14. Reasoning::Abduction
• Navigator @georz
•Galaxy No.1
• Not General Purpose
2009 10 14

15. Conclusion
•if (IF-THEN)
• Use Computer Language
• Reasoning (Predicate Logic)
• Three Theory Relationship
2009 10 14

16. Thank you
id:yamaguchiintlab
2009 10 14