## New project : How to do it with CLOUT (Computational Logic for Use in Teaching)

This is a new project, led by Fariba Sadri, to support the teaching of computing and logic in secondary school. The first stage (October 2016 – March 2017) will develop an open-source, web-based prototype of the computer language LPS (Logic-based Production System), together with motivating educational examples. Some of the theoretical underpinnings of LPS are presented in the papers Programming in Logic without Logic Programming and Reactive Computing as Model Generation and in the book Computational Logic and Human Thinking: How to be Artificially Intelligent on this webpage. These slides present a gentler introduction.

The current, incomplete version of LPS, implemented in Prolog, is now available for trial. However, we aim to have an easy-to-use, web-based version in December 2016, with an introductory workshop at Imperial College in January 2017 and a follow-up workshop in March or April 2017. If you are interested either in the current implementation or in attending the future workshops, please email me (rak at doc dot ic dot ac dot uk) with a copy to Fariba Sadri (fs at doc dot ic dot ac dot uk).

## New paper: Obligation as Optimal Goal Satisfaction (old title: Obligations as Goals + Preferences) with Ken Satoh, revised 11 October 2016

Formalising deontic notions, such as obligation, prohibition and permission, is notoriously difficult. Among the many problems are both the problem of reasoning with conflicting obligations, and the related problem of reasoning with contrary-to-duty obligations, which arise when the violation of a primary obligation p is compensated by a secondary obligation q.

In this paper we propose a formalisation in which obligations are interpreted as goals in abductive logic programming (ALP), and satisfying a goal p is understood as generating a classical, non-modal model that makes p true, where some models may be better than others. To say that p is obligatory, is to require that p be true in all best models. To say that p is obligatory, but may be violated, resulting in a less than ideal situation q, means that the real goal is p or q (equivalently if not p then q), and that models in which p is true are better than models in which q is true.

We argue that the ALP approach to the representation of obligations has the advantage that it does not require the invention of a special-purpose logic, but is a general approach, which is suitable for many other applications, including abductive explanations, non-monotonic reasoning, combinatorial optimisation, and reactive systems of the production system variety.

## Recent paper: Programming in Logic without Logic Programming with Fariba Sadri, Theory and Practice of Logic Programming, volume 16, issue 03, pp. 269-295 (2016)

In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states. In this model-theoretic semantics, reactive rules are the driving force, and logic programs play only a supporting role.

In the canonical model, states, actions and other events are represented with timestamps. But in the operational semantics, for the sake of efficiency, timestamps are omitted and only the current state is maintained. State transitions are performed reactively by executing actions to make the consequents of rules true whenever the antecedents become true. This operational semantics is sound, but incomplete. It cannot make reactive rules true by preventing their antecedents from becoming true, or by proactively making their consequents true before their antecedents become true.

In this paper, we characterize the notion of reactive model, and prove that the operational semantics can generate all and only such models. In order to focus on the main issues, we omit the logic programming component of the framework.

## Recent paper: Reactive Computing as Model Generation with Fariba Sadri, New Generation Computing, 2015, Volume 33, Issue 1, pp 33-67

In this paper we propose a logic-based, framework 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, the entire sequence of states and events are combined into a single model-theoretic structure, by associating timestamps with facts and events. But in the operational semantics, facts are updated destructively, without timestamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing timestamps. 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.

## Recent paper: History of Logic Programming Volume 9, Computational Logic (Joerg Siekmann, editor). In the History of Logic series, edited by Dov Gabbay and John Woods, Elsevier, 2014, pp 523-569.

This history covers some of the highlights of the development of logic programming from the late 1960s into the 21st century. It focuses on a number of issues that continue to be important today:

the difference between solving a goal by theorem-proving and solving it by model generation,
the difference between solving a goal top-down and solving it bottom-up, and
the relationship between declarative and procedural representations.

## Computational Logic and Human Thinking: How to be Artificially Intelligent

This earlier draft of a book of the same title, published in July 2011 by Cambridge University Press, presents the principles of Computational Logic, so that they can be applied in everyday life.  I have written the main part of the book informally, both to reach a wider audience and to argue more convincingly that Computational Logic is useful for human thinking. However, I have also included a number of additional, more formal chapters for the more advanced reader.

Here are some extracts from the reviews:

By Thomas A. Blackson, Arizona State University, on the back cover:
"Computational Logic and Human Thinking is a superb introduction both to AI from within a computational logic framework and to its application to human rationality and reasoning. Nothing else comes close. Kowalski writes with philosophical insight and just the right level of technical expertise. He puts the excitement back in AI. This sets Computational Logic and Human Thinking apart from the technically overwhelming, and all too often largely unintuitive and uninspiring, encyclopedic introductions that currently dominate the field.

By Donald Gillies, University College London, on the back cover:
"Artificial Intelligence (or AI) tries to program computers so that they can think intelligently like humans. In this book, one of the pioneers of AI suggests something new and original, namely to use the results of AI to improve human thinking ... Anyone who wants to reason better and more effectively in everyday life should study Robert Kowalski's book."

By Alan Bundy, Artificial Intelligence, June-July 2013:
"Computational Logic and Human Thinking might make an excellent basis for a course on AI for non-science students. It covers a wide range of AI techniques in an accessible form and within a uniform framework, with more technical details available as optional extensions. Moreover, Kowalski's enthusiasm for and dedication to his subject shines through on every page."

By George Luger, Computing in Science and Engineering, July/August 2012:
"In this serious and enjoyable book, Kowalski proposes a specific, utilitarian, and sufficient model, in the scientific sense, of human subject/world communications. And, as Aristotle suggested long ago, the sufficiency of this logic-based representational effort could offer insights that can lead to more coherent reasoning, writing, discussions, and arguments by human agents."

By Corrado Mencar, Computing Reviews, October, 2012:
"In sum, this book could be of greatest value to computer science students and professionals who want to improve their computational thinking and have come to see topical discipline to be applied to everyday problems and situations."

By Luis Moniz Pereira, Association of Logic Programming Newsletter, January 2012:
"The book is within clear grasp of a general higher-educated audience, because of the adept and informal naturalness with which it addresses, explains and exemplifies nevertheless non-trivial issues in knowledge representation and reasoning. It is also a treasure trove for teachers and researchers alike, as it admirably integrates the author's longstanding groundbreaking and fertile research efforts, and expounds with clarity and simplicity the unifying epistemological virtues of the Computational Logic paradigm - one that is supported by a vast community of researchers."

From amazon.com:
"A job well done." "An interesting book." "An excellent book and deserves a wide readership!"

From amazon.de:
"6 von 5 sternen"

By Lornz Demey, Tijdschrift voor Filosofie vol:75 issue:2 pages:395-397:
"Samenvattend kan gesteld worden dat Kowalski erin geslaagd is een boek te schrijven dat zowel de geïnteresseerde leek als de meer gespecialiseerde lezer zal (blijven) boeien."

According to Google translate: In summary we can say that Kowalski has managed to write a book that will facinate both the interested layman as well as the more specialized reader.

## Logic for Problem Solving

The book was originally published in 1979 and based on lecture notes written in 1974. The preface describes the goals of the book in the following terms:

This book investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be appropriate therefore as an introduction to

• logic
• the theory of problem-solving, and
• computer programming
Please note that this is a complete copy of the book. However, chapters 10-13 have been inserted between chapters 1 and 2.

## New book: Logic for Problem Solving, Revisited

As it says, "In this extended edition, Robert Kowalski revisits his classic text in the light of subsequent developments in a substantial commentary of fifty pages."

## WUENIC:

I worked with WHO and UNICEF from 2009 to 2013, helping to develop, implement and deploy a set of logical rules to assist in estimating global, country by country, infant immunization coverage. The problem is to reconcile inconsistencies when different sources of data conflict - for example when government reported data is inconsistent with survey data. The purpose of the logical rules is to make the reconciliation and estimation process more transparent and more consistent.

The rules have been implemented in XSB Prolog as a purely declarative logic program, and have been used to assist in making the annual estimates since 2010. In addition to helping to ensure transparency and consistency, the Prolog implementation has also proved useful in providing detailed documentation of the rationale for each of the estimates.

There are two articles describing our work. The first, published in the online journal PLOS-ONE, describes our work for a general audience with little or no computing background. The second, presented at JURISIN 2011, describes the work for a more academic audience and compares it with previous work on the logical formalisation of the British Nationality Act.

## Selected bibliography:

Early papers on theorem-proving, logic programming and knowledge representation:

• Kowalski, R.
In JACM Vol. 22, No. 4, 1975, pp. 572-595.

• van Emden, M. and Kowalski, R. In JACM , Vol. 23, No. 4, 1976, pp. 733-742.

• Deliyanni, A. and Kowalski, R.
In CACM, Vol. 22, No. 3, 1979, pp. 184-192.

• Kowalski, R.
In CACM, Vol. 22, No. 7, 1979, pp. 424-436. Reprinted in Programming Languages: A Grand Tour, Third Edition,      (ed. E. Horwitz), Computer Science Press, Maryland, 1986, pp. 480-492.

• Kowalski, R. In Phil. Trans. R. Soc. Lond. A, Vol 312, 1984, pp. 345-361.

• Kowalski, R.  In Proceedings of ACM Computer Science Conference, 1986, pp 7-13. Revised version in Proceedings of SEAS, Heidelberg, 1986, pp. 1-13. Also in Knowledge Base Management Systems, (eds. C. Thanos and J. W. Schmidt), Springer-Verlag, pp. 477-489.

• Kowalski, R., Sadri, F. and Soper, P. In Proceedings of VLDB, Morgan Kaufmann, Los Altos, Ca., 1987, pp. 61-69.

• Kowalski, R. In CACM, 1988, Vol. 31, No. 1, pp. 38-43.

Logic and Education

• Kowalski, R. Logic as a Computer Language for Children,   In Proceedings of European Conference on Artificial Intelligence, Orsay, France, July 1982. Reprinted in New Horizons in Educational Computing, (ed. M. Yazdani), Ellis Horwood Ltd., Chichester, 1984, pp. 121-144. Reprinted in Progress in Artificial Intelligence, (eds. L. Steel and J. A. Campbell), Ellis Horwood Ltd., Chichester.

• Kowalski, R. A Proposal for an Undergraduate Degree in Uses of Logic, In Proceedings of the Prague Unesco Symposium on Artificial Intelligence and Higher Education. (eds. V. Marik, O. Stepankova, and Z. Zdahal), Springer-Verlag, 1990, pp. 94-97.

• Kowalski, R. An Undergraduate Degree in Practical Reasoning, Editorial, Journal of Logic and Computation, Vol. 3, No. 3, 1993, pp. 227-229.

Legal reasoning and argumentation

• Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., and Cory,T.
In CACM, Vol. 29, No. 5, 1986, pp. 370-386.

• Kowalski, R.
In Proceedings of Second International Conference on AI and Law, (ed. E. Rissland) Vancouver, Canada, ACM Press, 1989, pp. 11-15.

• R. Kowalski, Legislation as Logic Programs
In: Logic Programming in Action (eds. G. Comyn , N. E. Fuchs, M. J. Ratcliffe), Springer Verlag, pages 203-230 (1992)

• R. Kowalski, F. Toni, Argument and Reconciliation ,
In: International Symposium on Fifth Generation Computer Systems '94, Workshop on Legal Reasoning, Tokyo, pages 9-16 (1994)

• R. Kowalski, F. Toni, Abstract Argumentation ,
In: Artificial Intelligence and Law Journal 4(3-4), Special Issue on Logical Models of Argumentation, H. Prakken and G. Sartor, eds., Kluwer Academic Publishers, pages 275-296 (1996)

Metalogic programming

• Kowalski, R. and Kim, J. S.
In Artificial Intelligence and Mathematical Theory of Computation (ed. V. Lifschitz), Academic Press, 1991, pp. 231-246.

• R. Kowalski, Logic without Model Theory,
In: What is a logical system?, D. Gabbay ed., Oxford University Press (1995)

Event Calculus

• Kowalski, R. and Sergot, M.
In New Generation Computing, Vol. 4, No.1, February 1986, pp. 67-95. Also in Knowledge Base Management-Systems, (eds. C. Thanos and J. W. Schmidt), Springer-Verlag, pp. 23-51. Also in The Language of Time: A Reader (eds. Inderjeet Mani, J. Pustejovsky, and R. Gaizauskas) Oxford University Press. 2005.

• Kowalski, R.
In Journal of Logic Programming, 1992, Vol. 12, No. 162, pp. 121-146.

Abductive Logic Programming

• Fung, T.H. and  Kowalski, R. Journal of Logic Programming, 1997.

• A. C. Kakas, R. Kowalski, F. Toni, The Role of Abduction in Logic Programming , In: Handbook of Logic in Artificial Intelligence and Logic Programming 5, pages 235-324, D.M. Gabbay, C.J. Hogger and J.A. Robinson eds., Oxford University Press  (1998)

From Abduction to Argumentation

• Dung, P. M., Kowalski, R., and Toni, F.  Journal of Artificial Intelligence 170(2), February 2006, pp. 114-159

• Dung, P. M., Kowalski, R., and Toni, F. Assumption-Based Argumentation. In Argumentation in Artificial Intelligence edited by I. Rahwan and G. Simari) Springer, 2009.

Intelligent Agents

• Kowalski, R., Logic-based Open Systems, Department of Computing, Imperial College, 1985. In Representation and Reasoning. Jakob ph. Hoepelman (Hg.) Max Niemeyer Verlag, Tübingen 1988, pp. 125-134.

• In Proceedings of CLIMA V (eds. F. Toni and P. Torroni) Springer Verlag, LNAI, 2006, pp. 1-22
• R. Kowalski and F. Sadri, Teleo-Reactive Abductive Logic Programs
In Festschrift for Marek Sergot.(eds: Alexander Artikis, Robert Craven, Nihan Kesim, Babak Sadighi, and Kostas Stathis), Springer, 2012.

Miscellaneous papers

• R. Kowalski, Logic Programming
MIT Encyclopaedia of Cognitive Science (eds. R A Wilson and F C Keil) MIT Press (1999)

• R.A. Kowalski,
In: Reasoning, Action and Interaction in AI Theories and Systems - Festschrift in Honor of Luigia Carlucci Aiello. (eds. O. Stock, M. Schaerf)
Springer Verlag, LNAI, 2006.

Updated 11 October 2016