Robert Kowalski
Robert Kowalski | |
---|---|
Born | Bridgeport, Connecticut, U.S. | 15 May 1941
Nationality | British |
Alma mater | University of Chicago University of Bridgeport (BA) Stanford University (MSc) University of Warsaw University of Edinburgh (PhD) |
Known for | Logic programming Prolog Horn clause Event calculus |
Awards | IJCAI Award for Research Excellence (2011) |
Scientific career | |
Fields | Logic Computer science |
Institutions | University of Edinburgh Imperial College London |
Thesis | Studies in the Completeness and Efficiency of Theorem-Proving by Resolution (1970) |
Doctoral advisor | Bernard Meltzer |
Doctoral students |
Robert Anthony Kowalski (born 15 May 1941) is an American-British
Education
He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970).[1]
Career
He was a research fellow at the University of Edinburgh (1970–75) and has been at the Department of Computing, Imperial College London since 1975, attaining a chair in Computational logic in 1982 and becoming Emeritus Professor in 1999.[1]
He began his research in the field of
With Marek Sergot, he developed both the
Kowalski was one of the developers of
In his 1979 book, Logic for Problem Solving,[15] Kowalski argues that logical inference provides a simple and powerful model of problem solving that can be used by both humans and computers. In his 2011 book, Computational Logic and Human Thinking - How to be Artificially Intelligent,[16] he argues that the use of computational logic can help ordinary people to improve their natural language communication skills, and that in combination with decision theory, it can be used to improve their practical problem-solving abilities.
In joint work with Fariba Sadri, he has developed the logic and computer language LPS,[17] (Logic Production Systems), which integrates much of his previous work on computational logic. He has continued his interest in the development of artificial intelligence.[18]
Honours and awards
Kowalski was elected a Fellow of the
Books
- Logic for Problem Solving, North-Holland, Elsevier, 1979.
- Computational Logic and Human Thinking: How to be Artificially Intelligent, Cambridge University Press, 2011.
See also
References
- ^ a b c d "Interview with Robert (Bob) Kowalski". Archives IT. Retrieved 3 August 2023.
- Springer-Verlag, 1983, pp. 542–577.
- ^ Kowalski, R., "A Proof Procedure Using Connection Graphs", in Journal of the ACM Vol. 22, No. 4, 1975, pp. 572–595.
- IEEE Computer Society Press, Los Angeles, 1986, pp. 68–73.
- ^ van Emden, M. and Kowalski, R., "The Semantics of Predicate Logic as a Programming Language", in Journal of the ACM, Vol. 23, No. 4, 1976, pp. 733–742.
- ^ Kowalski, R. and Sergot, M., "A Logic-based Calculus of Events", 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.
- ^ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., and Cory, T., "The British Nationality Act as a Logic Program", in Communications of the ACM, Vol. 29, No. 5, 1986, pp. 370–386.
- ^ Kowalski, R., "Legislation as Logic Programs", in Logic Programming in Action (eds. G. Comyn, N. E. Fuchs, M. J. Ratcliffe), Springer-Verlag, 1992, pp. 203–230.
- ^ Kowalski, R., "Using Metalogic to Reconcile Reactive with Rational Agents". In Meta-Logics and Logic Programming (K. Apt and F. Turini, eds.), MIT Press, 1995.
- ^ Kowalski, R. and Sadri, F., "From Logic Programming towards Multi-agent Systems", Annals of Mathematics and Artificial Intelligence, Volume 25 (1999), pp. 391–419.
- ^ Eshghi, K., and Kowalski, R., "Abduction through deduction". Department of Computing, Imperial College, 1988.
- ^ Kakas, T., Kowalski, K. and Toni, F., "Abductive Logic Programming". Journal of Logic and Computation, 1992, Vol. 2 No. 6, pp. 719–770.
- ^ Bondarenko, A., Dung, P. M., Kowalski, R., and Toni, F. " An Abstract Argumentation-theoretic Approach to Default Reasoning". Journal of Artificial Intelligence, 93(1–2), 1997, pp 63–101.
- ^ Dung, P. M., Kowalski, R., and Toni, F. "Dialectic proof procedures for assumption-based, admissible argumentation". Journal of Artificial Intelligence, 170(2), February 2006, pp. 114–159.
- ^ Kowalski, R.A., 1979. [1] Logic for Problem Solving, Elsevier, North Holland.
- ^ Kowalski, R.A., 2011. [2] Computational Logic and Human Thinking - How to be Artificially Intelligent, Cambridge University Press.
- ^ "LPS | Logic Production Systems". UK: Imperial College London.
- ^ "'Can AI help humans to be more intelligent?' with Robert Kowalski". Art-AI. UK. 20 June 2023. Retrieved 3 August 2023.
- ^ "Book review: Computational Logic and Human Thinking: How to be Artificially Intelligent – Association for Logic Programming".
- ^ "JSPS awards for eminent scientists". www.jsps.go.jp.
- ^ "New CodeX Prize Awarded to Computational Law Pioneers During 9th Annual CodeX FutureLaw Conference". Stanford Law School. 8 April 2021.