TOYOTA MR-S (SW30)S-Limited Ver. TOUGE

2009年10月14日水曜日

id:yamaguchiintlab

2009年10月14日水曜日

IFReasoning

2009年10月14日水曜日

Agenda

•Presenter Profile

•Reasoning

•Conclusion

2009年10月14日水曜日

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日水曜日

Today’s Keyword

•Japanese :もし[Hiragana]

•Japanese :モシ[Katakana]

•Japanese :moshi[Roman Style]

•English : if, reason

2009年10月14日水曜日

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日水曜日

Predicate Logic•IF - THEN

•if S1 then s2

•AND

•OR

•NOT

s1 s2 if s1 then s2

TRUE TRUE TRUE

TRUE FALSE FALSE

FALSE TRUE FALSE

FALSE FALSE TRUE

2009年10月14日水曜日

Reasoning

•Deduction

•Induction

•Abduction

AA → B

B

A, BA → B

BA → BA

2009年10月14日水曜日

Reasoning::Abduction

•@yamaguchiintlab

•せんせー (Teacher)

•無茶ぶり (Absurd)2009年10月14日水曜日

Reasoning::Abduction

•全裸•全裸bot

•@sugyan2009年10月14日水曜日

Reasoning::Abduction

•atcorp or @atcorp

•つかだ (Tsukada)

•Modeling2009年10月14日水曜日

Reasoning::Abduction

2009年10月14日水曜日

Reasoning::Abduction

•Navigator @georz

•Galaxy No.1•Not General Purpose

2009年10月14日水曜日

Conclusion

•if (IF-THEN)

•Use Computer Language

•Reasoning (Predicate Logic)

•Three Theory Relationship

2009年10月14日水曜日

Thank youid:yamaguchiintlab

2009年10月14日水曜日