みなさま，
Imperial College London のRobert A. Kowalski 教授の講演を開催いたします。 どうぞふるってご参加ください。
問い合わせ先： 東条 敏 北陸先端科学技術大学院大学 情報科学研究科 e-mail: [email protected]
------------------------------ ----------------- * JAIST Logic Seminar Series *
Date: Thursday 21 November, 2013, 15:10--16:40
Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html)
Speaker: Robert A. Kowalski (Imperial College London)
Title: Towards a Logic-based Framework for Computing (Joint work with Fariba Sadri)
Abstract: In this talk, I present a logic-based, framework for Computing, inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent’s goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics of the framework, the entire sequence of states and events is contained in a single model-theoretic structure, by associating time stamps with facts and events. But in the operational semantics, facts are updated destructively, without time stamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing time stamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state.
Speaker's bio： Professor Robert A. Kowalski (Emeritus Professor and Distinguished Research Fellow) at Imperial College London. Robert Kowalski studied at the University of Chicago, the University of Bridgeport, Stanford University, the University of Warsaw, and the University of Edinburgh, where he completed his PhD in 1970. Kowalski has been an advisor to the UNDP Knowledge Based Systems Project in India and to DFKI, the German Institute for Artificial Intelligence. He co-ordinated the European Community Basic Research Project, Compulog, and was the founder of the European Compulog Network of Excellence. Since 2009, he has been an advisor to the Department of Immunization, Vaccines and Biologicals, of the World Health Organization in Geneva. Kowalski is a Fellow of the Association for the Advancement of Artificial Intelligence, the European Co-ordinating Committee for Artificial Intelligence, and the Association for Computing Machinery. He received the IJCAI (International Joint Conference of Artificial Intelligence) award for Research Excellence in 2011.
-- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 [email protected] http://www.jaist.ac.jp/~ishihara