Skip to main content Accessibility help
Computational Logic and Human Thinking
  • Cited by 39
  • Export citation
  • Recommend to librarian
  • Buy the print book

Book description

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.


‘[This book] 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 [this book] apart from the technically overwhelming, and all too often largely unintuitive and uninspiring, encyclopedic introductions that currently dominate the field.'

Thomas A. Blackson - Arizona State University

'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.'

Donald Gillies - University College London

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.


Page 1 of 2

Page 1 of 2

Allen, L. E.Saxon, C. S. 1984 Computer aided normalizing and unpacking: some interesting machine-processable transformation of legal rulesComputing Power and Legal ReasoningWalter, C.St. Paul, MNWest Publishing Company495
Almor, A.Sloman, S. 2000 Reasoning versus text processing in the Wason selection task: a non-deontic perspective on perspective effectsMemory & Cognition 28 1060
Anderson, A. R.Belnap, N. 1975 Entailment: The logic of relevance and necessity, Vol. IPrinceton, NJPrinceton University Press
Anderson, J. R.Lebiere, C. 1998 The Atomic Components of ThoughtMahwah, NJErlbaum
d’Avila Garcez, A. S.Broda, K.Gabbay, D. M. 2001 Symbolic knowledge extraction from trained neural networks: a sound approachArtificial Intelligence 125 155
Bader, S.Hitzler, P.Hölldobler, S. 2006 The integration of connectionism and first-order knowledge representation and reasoning as a challenge for artificial intelligenceInformation 9
Baron, J. 2008 Thinking and DecidingCambridgeCambridge University Press
van Benthem, J. 1989 Semantic parallels in natural language and computationLogic Colloquium 1981Ebbinghaus, H.-D.AmsterdamElsevier Science Publishers331
Bertossi, L.Chomicki, J. 2003 Query answering in inconsistent databasesLogics for Emerging Applications of DatabasesChomicki, J.Saake, G.van der Meyden, R.New YorkSpringer43
Bondarenko, A.Dung, P. M.Kowalski, R.Toni, F. 1997 An abstract argumentation-theoretic approach to default reasoningJournal of Artificial Intelligence 93 63
Brooks, R. A. 1991 l
Brown, G.Yule, G. 1983 Discourse AnalysisCambridgeCambridge University Press
Bundy, A.Byrd, L.Luger, G.Mellish, C.Palmer, M. 1979
Byrne, R. M. J. 1989 Suppressing valid inferences with conditionalsCognition 31 61
Carruthers, P. 2004 Practical reasoning in a modular mindMind & Language 19 259
Checkland, P. 2000 Soft systems methodology: a thirty year retrospectiveSystems Research and Behavioral Science Systems Research 17 S11
Cheng, P. W.Holyoak, K. J. 1985 Pragmatic reasoning schemasCognitive Psychology 17 391
Cheng, P. D.Juang, J. Y. 1987
Chisholm, R. 1963 Contrary-to-duty imperatives and deontic logicAnalysis 24 33
Clark, K. L. 1978 Negation by failureLogic and DatabasesGallaire, H.Minker, J.New YorkPlenum Press293
Clark, K. L.Tärnlund, S.-A. 1978 A first-order theory of data and programsProceedings of the 1FIP Congress 77 939
Colmerauer, A.Roussel, P. 1992 37
Costantini, S. 2002 Meta-reasoning: a surveyComputational Logic: Logic Programming and BeyondKakas, A. C.Sadri, F.New YorkSpringer253
Cosmides, L. 1985
Cosmides, L. 1989 The logic of social exchange: has natural selection shaped how humans reason? Studies with the Wason selection taskCognition 31 187
Dávila, J.Uzcátegui, M. 2005
Davis, M. 1980 The mathematics of non-monotonic reasoningJournal of Artificial Intelligence 13 73
Davis, M.Putnam, H. 1960 A computing procedure for quantification theoryJournal of the ACM 7 201
Dennis, L. A.Farwer, B.Bordini, R. H.Fisher, M.Wooldridge, M. A. 2008 Common Semantic Basis for BDI Languages, LICS 4908New YorkSpringer124
De Raedt, L.Frasconi, P.Kersting, K.Muggleton, S. 2008 Probabilistic Inductive Logic ProgrammingNew YorkSpringer
Dung, P. M. 1991 Negation as hypothesis: an abductive foundation for logic programmingProceedings of the 8th International Conference on Logic ProgrammingCambridge, MAMIT Press
Dung, P. M.Kowalski, R.Toni, F. 2006 Dialectic proof procedures for assumption-based, admissible argumentationJournal of Artificial Intelligence 170 114
van Emden, M.Kowalski, R. 1976 The semantics of predicate logic as a programming languageJACM 23 733
Eshghi, K.Kowalski, R. 1989 Abduction compared with negation by failureSixth International Conference on Logic ProgrammingLevi, G.Martelli, M.Cambridge, MAMIT Press234
Feferman, S. 1962 Transfinite recursive progressions of axiomatic theoriesJournal of Symbolic Logic 27 259
Fodor, J. 1975 The Language of ThoughtCambridge, MAHarvard University Press
Fung, T. H.Kowalski, R. 1997
Gardner, H. 1983 Frames of Mind: The Theory of Multiple IntelligencesNew YorkBasic Books
Gelfond, M.Lifschitz, V. 1988 1070
Gillies, D. 1996 Artificial Intelligence and Scientific MethodOxfordOxford University Press
Gödel, K. 1931 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, IMonatshefte für Mathematik und Physik 38 173
Gödel, K. 1951 Some basic theorems on the foundations of mathematics and their implicationsCollected works / Kurt GödelFeferman, S.OxfordOxford University Press304
Green, C. 1969 Application of theorem proving to problem solvingProceedings of the 1st International Joint Conference on Artificial IntelligenceSan FranciscoMorgan Kaufmann219
Grice, H. P. 1989 Studies in the Way of WordsCambridge, MAHarvard University Press
Hammond, J.Keeney, R.Raiffa, H. 1999 Smart Choices – A practical guide to making better decisionsCambridge, MAHarvard Business School Press
Hauser, M.Cushman, F.Young, L.Mikhail, J. 2007 A dissociation between moral judgments and justificationsMind and Language 22 1
Hewitt, C. 1971 Procedural embedding of knowledge in plannerProceedings of the 2nd International Joint Conference on Artificial IntelligenceSan FranciscoMorgan Kaufmann
Hill, P. M.Gallagher, J. 1998 Meta-programming in logic programmingHandbook of Logic in Artificial Intelligence and Logic ProgrammingGabbay, D.Hogger, C. J.Robinson, J. A.OxfordOxford University Press421
Hodges, W. 1993 The logical content of theories of deductionBehavioral and Brain Sciences 16 353
Hodges, W. 2006 Two doors to openMathematical Problems from Applied Logic I: Logics for the XXIst CenturyGabbay, D.Goncharov, S.Zakharyaschev, M.New YorkSpringer277
Hölldobler, S.Kalinke, Y. 1994 Toward a new massively parallel computational model for logic programmingProceedings of Workshop on Combining Symbolic and Connectionist Processing, ECAI-94Amsterdam68
IPCC 2007
Johnson-Laird, P. 1983 Mental ModelsCambridgeCambridge University Press
Johnson-Laird, P. N.Byrne, R. M. J. 1991 DeductionLondonPsychology Press
Kahneman, D.Frederick, S. 2002 Representativeness revisited: attribute substitution in intuitive judgmentHeuristics of Intuitive Judgment: Extensions and ApplicationGilovich, T.Griffin, D.Kahneman, D.New YorkCambridge University Press
Kakas, A.Kowalski, R.Toni, F. 1998 The role of logic programming in abductionHandbook of Logic in Artificial Intelligence and ProgrammingOxfordOxford University Press235
Kowalski, R. 1975 A proof procedure using connection graphsJACM 22 572
Kowalski, R. 1974
Kowalski, R. 1992 Database updates in the event calculusJournal of Logic Programming 12 121
Kowalski, R. 1995 Logic without model theoryWhat is a Logical SystemGabbay, D.OxfordOxford University Press
Kowalski, R.Kuehner, D. 1971 Linear resolution with selection functionArtificial Intelligence 2 227
Kowalski, R. A.Sadri, F. 1990 Logic programs with exceptionsProceedings of the Seventh International Conference on Logic ProgrammingCambridge, MAMIT Press598
Kowalski, R. A.Sadri, F. 2010 An agent language with destructive assignment and model-theoretic semanticsCLIMA XI – Computational Logic in Multi-Agent SystemsDix, J.Governatori, G.Jamroga, W.Leite, J.New YorkSpringer
Kowalski, R.Sergot, M. 1986 A logic-based calculus of eventsNew Generation Computing 4 67Mani, I.Pustejovsky, J.Gaizauskas, R.
Kowalski, R.Toni, F. 1996 Abstract argumentationJournal of Artificial Intelligence and Law 4 275
Kowalski, R.Toni, F.Wetzel, G. 1998 Executing suspended logic programsFundamenta Informatica 34 1
Laird, R.Newell, J.Paul, A. 1987 Soar: an architecture for general intelligenceArtificial Intelligence 33 1
Lenat, D.Guha, R. V. 1989 Building Large Knowledge-Based Systems; Representation and Inference in the Cyc ProjectBostonAddison-Wesley Longman Publishing
Loveland, D. W. 1968 Mechanical theorem-proving by model eliminationJournal of the ACM 15 236
Lucas, J. R. 1959 Minds, machines and GödelPhilosophy XXXVI Sayre, K. M.Crosson, F. J.Anderson, A. R.
Luger, G. 2009 Artificial Intelligence, Structures and Strategies for Complex Problem SolvingLondonPearson Education Limited
Manthey, R.Bry, F. 1988 SATCHMO: A theorem prover implemented in PrologProceedings CADE 1988New YorkSpringer415
Maes, P. 1990 Situated agents can have goalsRobotic and Autonomous Systems 6 49
McCarthy, J. 1980 Circumscription – a form of non-monotonic reasoningArtificial Intelligence 13 27
McCarthy, J.Hayes, P. J. 1969 Some philosophical problems from the standpoint of artificial intelligenceMachine Intelligence 4Michie, D.New YorkElsevier
McDermott, D.Doyle, 1980 Nonmonotonic logic IArtificial Intelligence 13 41
Mikhail, J. 2007 Universal moral grammar: theory, evidence, and the futureTrends in Cognitive Sciences 11 143
Moore, R. C. 1985 Semantical considerations on nonmonotonic logicArtificial Intelligence 25 75
Mueller, E. 2006 Commonsense ReasoningAmsterdamElsevier
Muggleton, S. H.De Raedt, L. 1994 Inductive logic programming: theory and methodsJournal of Logic Programming 19 629
Newell, A. 1973 Production systems: models of control structureVisual Information ProcessingChase, W.New YorkAcademic Press463
Nilsson, N. 1998 Artificial Intelligence: A New SynthesisSan FranciscoMorgan Kaufmann
Nute, D. 1997 Defeasible Deontic LogicDordrechtKluwer Academic
Panton, C.Matuszek, D.Lenat, D.Schneider, M.Witbrock, N. 2006 Common sense reasoning – from Cyc to Intelligent AssistantAmbient Intelligence in Everyday LifeCai, Y.Abascal, J.BerlinSpringer1
Peirce, C. S. 1931 Collected PapersHartshorn, C.Weiss, P.Cambridge, MAHarvard University Press
Penrose, R. 1989 The Emperor’s New Mind: Concerning Computers, Minds, and The Laws of PhysicsOxfordOxford University Press
Pereira, L. M.Saptawijaya, A. 2007 Dershowitz, N.Voronkov, A.
Pereira, L. M.Saptawijaya, A. 2009 Modelling morality with prospective logicInternational Journal of Reasoning-based Intelligent Systems (IJRIS) 1 209Anderson, M.Anderson, S.
Perlis, D.Subrahmanian, V. S. 1994 Metalanguages, reflection principles and self-referenceHandbook of Logic in Artificial Intelligence and Logic Programming 2 Gabbay, D. M.Hogger, C. J.Robinson, J. A.328
Pollock, J. 1995 Cognitive CarpentryCambridge, MAMIT Press
Poole, D. 1997 The independent choice logic for modeling multiple agents under uncertaintyArtificial Intelligence 94 7
Poole, D.Goebel, R.Aleliunas, R. 1987 Theorist: a logical reasoning system for defaults and diagnosisThe Knowledge Frontier: Essays in the Representation of KnowledgeCercone, N.McCalla, G.New YorkSpringer331
Poole, D.Mackworth, A. 2010 Artificial Intelligence: Foundations of Computational AgentsCambridgeCambridge University Press
Post, E. 1943 Formal reductions of the general combinatorial decision problemAmerican Journal of Mathematics 65 197
Prakken, H.Sartor, G. 1996 A dialectical model of assessing conflicting arguments in legal reasoningJournal of Artificial Intelligence and Law 4
Priest, G. 2002 Paraconsistent logicHandbook of Philosophical LogicGabbay, D.Guenthner, F.DordrechtKluwer Academic287
Przymusinski, T. 1988 On the declarative semantics of deductive databases and logic programsFoundations of Deductive Databases and Logic ProgrammingNew YorkMorgan Kaufmann193
Quine, W. V. O. 1963 Two dogmas of empiricismFrom a Logical Point of ViewNew YorkHarper & Row20
Rahwan, I.Simari, G. 2009 Argumentation in Artificial IntelligenceNew YorkSpringer
Reiter, R. 1980 A logic for default reasoningArtificial Intelligence 13 81
Reiter, R. 1988 97
Robinson, J. A. 1965 A machine-oriented logic based on the resolution principleJournal of the ACM 12 23
Robinson, J. 1965 Automatic deduction with hyper-resolutionInternational Journal of Computer Mathematics 1 227
Russell, S. J.Norvig, P. 2010 Artificial Intelligence: A Modern ApproachUpper Saddle River, NJPrentice Hall
Sadri, F.Kowalski, R. 1988 A theorem-proving approach to database integrityFoundations of Deductive Databases and Logic ProgrammingMinker, J.New YorkMorgan Kaufmann313
Sagonas, K.Swift, T.Warren, D. S. 1994 XSB as an efficient deductive database engineSIGMOD Record 23 442
Sergot, M. J.Sadri, F.Kowalski, R. A.Kriwaczek, F.Hammond, P.Cory, H. T. 1986 The British Nationality Act as a logic programCACM 29 370
Shanahan, M. P. 1997 Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of InertiaCambridge, MAMIT Press
Shapiro, S. 1989 Incompleteness, mechanism, and optimismThe Bulletin of Symbolic Logic 4 273
Siekmann, J.Wrightson, G. 2002 Strong completeness of R. Kowalski’s connection graph proof procedureComputational Logic: Logic Programming and BeyondKakas, A.Sadri, F.New YorkSpringer Lecture Notes on AI
Simon, H. A. 1957 Administrative BehaviourNew YorkMacmillan
Simon, H. A. 1960 The New Science of Management DecisionNew YorkHarper & Row
Simon, H. A. 1999 Production systemsThe MIT Encyclopedia of the Cognitive SciencesWilson, R.Keil, F.Cambridge, MAMIT Press676
Sperber, D.Wilson, D. 1986 RelevanceOxfordBlackwell
Sperber, D.Cara, F.Girotto, V. 1995 Relevance theory explains the selection taskCognition 52 3
Stenning, K.van Lambalgen, M. 2008 Human Reasoning and Cognitive ScienceCambridge, MAMIT Press
Thagard, P. 2005 Mind: Introduction to Cognitive ScienceCambridge, MAM.I.T. Press
van Lambalgen, M.Hamm, F. 2005 The Proper Treatment of EventsOxfordBlackwell
Vickers, G. 1965 The Art of JudgmentLondonChapman & Hall
Wang, H. 1974 From Mathematics to PhilosophyLondonRoutledge & Kegan Paul
Wason, P. 1968 Reasoning about a ruleThe Quarterly Journal of Experimental Psychology 20 273
Widom, J.Ceri, S. 1996 Active Database Systems: Triggers and Rules for Advanced Database ProcessingSan FranciscoMorgan Kaufmann
Williams, J. 1990 Style: Toward Clarity and GraceChicagoUniversity of Chicago Press
Winograd, T. 1971
Winograd, T. 1972 Understanding Natural LanguageNew YorkAcademic Press


Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Book summary page views

Total views: 0 *
Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed.