The 1988 Kyoto Prize Workshops

Logic Artificial Intelligence and Common Sense Reasoning

John McCarthy

/　　Computer Scientist

Advanced Technology

Information Science

Register
Program
Laureates
Related information

1988

11 /12 Sat

13:10 - 17:00

Place： Kyoto International Conference Center

Address：Takaragaike, Sakyo-ku, Kyoto 606-0001 Japan

Finished

Program

13:10

Opening Remarks	Makoto Nagao
Greetings	Kazuo Inamori President, The Inamori Foundation
Greetings	Yoshifumi Sakurai Chairman, Kyoto Prize Screening Committee in Advanced Technology; Vice President, Setsunan University
Introduction of Achievement	Makoto Nagao

13:25

Lecture	John McCarthy Laureate in Advanced Technology “Open Problems in formalizing Common Sense”

14:25

Lecture	Kazuhiro Fuchi Member, Kyoto Prize Screening Committee in Advanced Technology “Logic Machines”

15:05

Intermission

15:30

Lecture	Masahiko Sato Professor, Research Institute of Electrical Communication, Tohoku University “Constructive Mathematics and Lisp”

16:10

Lecture	Ikuo Takeuchi Senior Research Engineer, Supervisor, NTT Software Laboratories “What Does Lisp Bring Us ?”

16:50

Questions and Answers

17:00

Closing

Laureates

John McCarthy

Computer Scientist

Since the genesis of Artificial Intelligence (AI), he has challenged the basic problems of this field as a leader and is called “the Father of Artificial Intelligence.” He has created LISP, a programming language for symbolic processing, considered to be the greatest invention this century in the field of computer science.

＊This field then was Field of Computer Science and Engineering, Artificial Intelligence.

Details

Related information

date: November 12, 1988 13:00-17:00
place: Kyoto International Conference Center
Chairperson: Makoto Nagao Member, Kyoto Prize Screening Committee in Advanced Technology; Professor, Faculty of Engineering, Kyoto University