情報科学研究科セミナーテーマ「Towards a Science of Computing」 Professor Robert A. Kowalski, Emeritus Professor and Distinguished Research Fellow, Imperial College London 日時：平成 26 年１0 月 28 日（火）15：10～16：40 場所：情報科学研究科講義棟大講義室講演要旨： As a scientific discipline, the field of Computing today lacks a unifying framework. It consists, instead, of diverse languages, tools and techniques in the mostly disjoint areas of programming, databases, and artificial intelligence. But, despite this diversity, it is possible to identify a number of similar features lying beneath the surface. These features include such notions as states and state transitions, declarative and procedural representations, external events and internally generated actions, active versus goal-oriented behavior, and hierarchical organization of structures and procedures. In my talk, I will highlight some of these similarities, in such different frameworks for Computing as logic programming, production systems, agent-oriented programming, active databases, action languages in AI, abstract state machines and other models of computation. I will argue that it is possible to unify many of the most important features of these frameworks, and to combine them in a single logic-based framework that can be applied to all areas of Computing. 講演者略歴： 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. 参。い。さいださくだしく越しお越にお場に会場接会直接。直す。です要で不要は不約は予約・予込・申込加申参加お）：iiss--sseeccrr）（EE--mmaaiill：係（二係第二務第事務通事共通課共理課管理務管事務通事共通：共先：せ先合せ問合お問