Skip to main content Accessibility help
×
  1. Home
  2. Books
  3. Computational Logic and Human Thinking
  • Cited by 58
      • Show more authors
      • You may already have access via personal or institutional login
    • Select format
    • Publisher:
      Cambridge University Press
      Publication date:
      September 2011
      July 2011
      ISBN:
      9780511984747
      9780521194822
      9780521123365
      DOI:
      https://doi.org/10.1017/CBO9780511984747
      Dimensions:
      (228 x 152 mm)
      Weight & Pages:
      0.66kg, 334 Pages
      Dimensions:
      (228 x 152 mm)
      Weight & Pages:
      0.53kg, 332 Pages
      • Subjects:
      Computer Science, Logic, Philosophy, Artificial Intelligence and Natural Language Processing
    You may already have access via personal or institutional login
    • Selected: Digital
    Add to cart View cart Buy from Cambridge.org
    Subjects:
    Computer Science, Logic, Philosophy, Artificial Intelligence and Natural Language Processing
    Information

    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.

    Reviews

    ‘[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.
    Cancel
    ×

    Contents

    Page 1 of 2

    Contents

    Page 1 of 2

    References
    References
    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 http://galatea.sourceforge.net
    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 http://www.doc.ic.ac.uk/~rak/
    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 Publishinghttp://www.cyc.com/
    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

    Metrics

    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.

    Accessibility standard: Unknown

    Why this information is here

    This section outlines the accessibility features of this content - including support for screen readers, full keyboard navigation and high-contrast display options. This may not be relevant for you.

    Accessibility Information

    Accessibility compliance for the PDF of this book is currently unknown and may be updated in the future.