Computers

Logic Programs Norms and Action

by Alexander Artikis
Publisher: Springer
Release Date: 2012-04-25
Genre: Computers
Pages: 425 pages
ISBN 13: 3642294146
ISBN 10: 9783642294143
Format: PDF, ePUB, MOBI, Audiobooks, Kindle
GET EBOOK

Synopsis : Logic Programs Norms and Action written by Alexander Artikis, published by Springer which was released on 2012-04-25. Download Logic Programs Norms and Action Books now! Available in PDF, EPUB, Mobi Format. In effect, the conditions Ki of the i-th rule implicitly include the negations of all of the conditions of the previous i-1 rules. Actions ai are atomic formulae, representing a primitive action, an invocation of another TR program, ... -- This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s scientific contributions range over many different fields. He has developed a series of novel ideas and formal methods bridging areas including artificial intelligence, computational logic, philosophical logic, legal theory, artificial intelligence and law, multi-agent systems and bioinformatics. By combining his background in logic and computing with his interest in the law, deontic logic, action, and related areas, and applying to all his capacity to understand the subtleties of social interaction and normative reasoning, Professor Sergot has opened up new directions of research, and has been a reference, an inspiration, and a model for many researchers in the fields to which he has contributed. The Festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.