References

Robert Kowalski

doi:10.1017/CBO9780511984747.028

References

Published online by Cambridge University Press: 07 September 2011

Robert Kowalski

Show author details

Robert Kowalski: Affiliation:
Imperial College London

Book contents

Get access

Summary

A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Type: Chapter
Information: Computational Logic and Human Thinking
How to Be Artificially Intelligent
, pp. 296 - 302

DOI: https://doi.org/10.1017/CBO9780511984747.028 [Opens in a new window]

Publisher: Cambridge University Press

Print publication year: 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

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 Company495Google Scholar

Almor, A.Sloman, S. 2000 Reasoning versus text processing in the Wason selection task: a non-deontic perspective on perspective effectsMemory & Cognition 28 1060CrossRef Google Scholar PubMed

Anderson, A. R.Belnap, N. 1975 Entailment: The logic of relevance and necessity, Vol. IPrinceton, NJPrinceton University PressGoogle Scholar

Anderson, J. R.Lebiere, C. 1998 The Atomic Components of ThoughtMahwah, NJErlbaumGoogle Scholar

d’Avila Garcez, A. S.Broda, K.Gabbay, D. M. 2001 Symbolic knowledge extraction from trained neural networks: a sound approachArtificial Intelligence 125 155CrossRef Google Scholar

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 9Google Scholar

Baron, J. 2008 Thinking and DecidingCambridgeCambridge University PressGoogle Scholar

van Benthem, J. 1989 Semantic parallels in natural language and computationLogic Colloquium 1981Ebbinghaus, H.-D.AmsterdamElsevier Science Publishers331Google Scholar

Bertossi, L.Chomicki, J. 2003 Query answering in inconsistent databasesLogics for Emerging Applications of DatabasesChomicki, J.Saake, G.van der Meyden, R.New YorkSpringer43Google Scholar

Bondarenko, A.Dung, P. M.Kowalski, R.Toni, F. 1997 An abstract argumentation-theoretic approach to default reasoningJournal of Artificial Intelligence 93 63CrossRef Google Scholar

Brooks, R. A. 1991 l

Brown, G.Yule, G. 1983 Discourse AnalysisCambridgeCambridge University PressCrossRef Google Scholar

Bundy, A.Byrd, L.Luger, G.Mellish, C.Palmer, M. 1979

Byrne, R. M. J. 1989 Suppressing valid inferences with conditionalsCognition 31 61CrossRef Google Scholar PubMed

Carruthers, P. 2004 Practical reasoning in a modular mindMind & Language 19 259CrossRef Google Scholar

Checkland, P. 2000 Soft systems methodology: a thirty year retrospectiveSystems Research and Behavioral Science Systems Research 17 S113.0.CO;2-O>CrossRef Google Scholar

Cheng, P. W.Holyoak, K. J. 1985 Pragmatic reasoning schemasCognitive Psychology 17 391CrossRef Google Scholar PubMed

Cheng, P. D.Juang, J. Y. 1987

Chisholm, R. 1963 Contrary-to-duty imperatives and deontic logicAnalysis 24 33CrossRef Google Scholar

Clark, K. L. 1978 Negation by failureLogic and DatabasesGallaire, H.Minker, J.New YorkPlenum Press293Google Scholar

Clark, K. L.Tärnlund, S.-A. 1978 A first-order theory of data and programsProceedings of the 1FIP Congress 77 939Google Scholar

Colmerauer, A.Roussel, P. 1992 37

Costantini, S. 2002 Meta-reasoning: a surveyComputational Logic: Logic Programming and BeyondKakas, A. C.Sadri, F.New YorkSpringer253CrossRef Google Scholar

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 187CrossRef Google Scholar PubMed

Dávila, J.Uzcátegui, M. 2005 http://galatea.sourceforge.net

Davis, M. 1980 The mathematics of non-monotonic reasoningJournal of Artificial Intelligence 13 73CrossRef Google Scholar

Davis, M.Putnam, H. 1960 A computing procedure for quantification theoryJournal of the ACM 7 201CrossRef Google Scholar

Dennis, L. A.Farwer, B.Bordini, R. H.Fisher, M.Wooldridge, M. A. 2008 Common Semantic Basis for BDI Languages, LICS 4908New YorkSpringer124Google Scholar

De Raedt, L.Frasconi, P.Kersting, K.Muggleton, S. 2008 Probabilistic Inductive Logic ProgrammingNew YorkSpringerCrossRef

Dung, P. M. 1991 Negation as hypothesis: an abductive foundation for logic programmingProceedings of the 8th International Conference on Logic ProgrammingCambridge, MAMIT PressGoogle Scholar

Dung, P. M.Kowalski, R.Toni, F. 2006 Dialectic proof procedures for assumption-based, admissible argumentationJournal of Artificial Intelligence 170 114CrossRef Google Scholar

van Emden, M.Kowalski, R. 1976 The semantics of predicate logic as a programming languageJACM 23 733CrossRef Google Scholar

Eshghi, K.Kowalski, R. 1989 Abduction compared with negation by failureSixth International Conference on Logic ProgrammingLevi, G.Martelli, M.Cambridge, MAMIT Press234Google Scholar

Feferman, S. 1962 Transfinite recursive progressions of axiomatic theoriesJournal of Symbolic Logic 27 259CrossRef Google Scholar

Fodor, J. 1975 The Language of ThoughtCambridge, MAHarvard University PressGoogle Scholar

Fung, T. H.Kowalski, R. 1997

Gardner, H. 1983 Frames of Mind: The Theory of Multiple IntelligencesNew YorkBasic BooksGoogle Scholar

Gelfond, M.Lifschitz, V. 1988 1070

Gillies, D. 1996 Artificial Intelligence and Scientific MethodOxfordOxford University PressGoogle Scholar

Gödel, K. 1931 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, IMonatshefte für Mathematik und Physik 38 173CrossRef Google Scholar

Gödel, K. 1951 Some basic theorems on the foundations of mathematics and their implicationsCollected works / Kurt GödelFeferman, S.OxfordOxford University Press304Google Scholar

Green, C. 1969 Application of theorem proving to problem solvingProceedings of the 1st International Joint Conference on Artificial IntelligenceSan FranciscoMorgan Kaufmann219Google Scholar

Grice, H. P. 1989 Studies in the Way of WordsCambridge, MAHarvard University PressGoogle Scholar

Hammond, J.Keeney, R.Raiffa, H. 1999 Smart Choices – A practical guide to making better decisionsCambridge, MAHarvard Business School PressGoogle Scholar

Hauser, M.Cushman, F.Young, L.Mikhail, J. 2007 A dissociation between moral judgments and justificationsMind and Language 22 1CrossRef Google Scholar

Hewitt, C. 1971 Procedural embedding of knowledge in plannerProceedings of the 2nd International Joint Conference on Artificial IntelligenceSan FranciscoMorgan KaufmannGoogle Scholar

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 Press421Google Scholar

Hodges, W. 1993 The logical content of theories of deductionBehavioral and Brain Sciences 16 353CrossRef Google Scholar

Hodges, W. 2006 Two doors to openMathematical Problems from Applied Logic I: Logics for the XXIst CenturyGabbay, D.Goncharov, S.Zakharyaschev, M.New YorkSpringer277CrossRef Google Scholar

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-94Amsterdam68Google Scholar

IPCC 2007

Johnson-Laird, P. 1983 Mental ModelsCambridgeCambridge University PressGoogle Scholar

Johnson-Laird, P. N.Byrne, R. M. J. 1991 DeductionLondonPsychology PressGoogle Scholar

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 PressGoogle Scholar

Kakas, A.Kowalski, R.Toni, F. 1998 The role of logic programming in abductionHandbook of Logic in Artificial Intelligence and ProgrammingOxfordOxford University Press235Google Scholar

Kowalski, R. 1975 A proof procedure using connection graphsJACM 22 572CrossRef Google Scholar

Kowalski, R. 1974 http://www.doc.ic.ac.uk/~rak/

Kowalski, R. 1992 Database updates in the event calculusJournal of Logic Programming 12 121CrossRef Google Scholar

Kowalski, R. 1995 Logic without model theoryWhat is a Logical SystemGabbay, D.OxfordOxford University PressGoogle Scholar

Kowalski, R.Kuehner, D. 1971 Linear resolution with selection functionArtificial Intelligence 2 227CrossRef Google Scholar

Kowalski, R. A.Sadri, F. 1990 Logic programs with exceptionsProceedings of the Seventh International Conference on Logic ProgrammingCambridge, MAMIT Press598Google Scholar

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 YorkSpringerGoogle Scholar

Kowalski, R.Sergot, M. 1986 A logic-based calculus of eventsNew Generation Computing 4 67Mani, I.Pustejovsky, J.Gaizauskas, R.CrossRef Google Scholar

Kowalski, R.Toni, F. 1996 Abstract argumentationJournal of Artificial Intelligence and Law 4 275CrossRef Google Scholar

Kowalski, R.Toni, F.Wetzel, G. 1998 Executing suspended logic programsFundamenta Informatica 34 1Google Scholar

Laird, R.Newell, J.Paul, A. 1987 Soar: an architecture for general intelligenceArtificial Intelligence 33 1CrossRef Google Scholar

Lenat, D.Guha, R. V. 1989 Building Large Knowledge-Based Systems; Representation and Inference in the Cyc ProjectBostonAddison-Wesley Longman Publishinghttp://www.cyc.com/Google Scholar

Loveland, D. W. 1968 Mechanical theorem-proving by model eliminationJournal of the ACM 15 236CrossRef Google Scholar

Lucas, J. R. 1959 Minds, machines and GödelPhilosophy XXXVI Sayre, K. M.Crosson, F. J.Anderson, A. R.Google Scholar

Luger, G. 2009 Artificial Intelligence, Structures and Strategies for Complex Problem SolvingLondonPearson Education LimitedGoogle Scholar

Manthey, R.Bry, F. 1988 SATCHMO: A theorem prover implemented in PrologProceedings CADE 1988New YorkSpringer415Google Scholar

Maes, P. 1990 Situated agents can have goalsRobotic and Autonomous Systems 6 49CrossRef Google Scholar

McCarthy, J. 1980 Circumscription – a form of non-monotonic reasoningArtificial Intelligence 13 27CrossRef Google Scholar

McCarthy, J.Hayes, P. J. 1969 Some philosophical problems from the standpoint of artificial intelligenceMachine Intelligence 4Michie, D.New YorkElsevierGoogle Scholar

McDermott, D.Doyle, 1980 Nonmonotonic logic IArtificial Intelligence 13 41CrossRef Google Scholar

Mikhail, J. 2007 Universal moral grammar: theory, evidence, and the futureTrends in Cognitive Sciences 11 143CrossRef Google Scholar PubMed

Moore, R. C. 1985 Semantical considerations on nonmonotonic logicArtificial Intelligence 25 75CrossRef Google Scholar

Mueller, E. 2006 Commonsense ReasoningAmsterdamElsevierGoogle Scholar

Muggleton, S. H.De Raedt, L. 1994 Inductive logic programming: theory and methodsJournal of Logic Programming 19 629CrossRef Google Scholar

Newell, A. 1973 Production systems: models of control structureVisual Information ProcessingChase, W.New YorkAcademic Press463CrossRef Google Scholar

Nilsson, N. 1998 Artificial Intelligence: A New SynthesisSan FranciscoMorgan KaufmannGoogle Scholar

Nute, D. 1997 Defeasible Deontic LogicDordrechtKluwer AcademicCrossRef Google Scholar

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.BerlinSpringer1Google Scholar

Peirce, C. S. 1931 Collected PapersHartshorn, C.Weiss, P.Cambridge, MAHarvard University PressGoogle Scholar

Penrose, R. 1989 The Emperor’s New Mind: Concerning Computers, Minds, and The Laws of PhysicsOxfordOxford University PressGoogle Scholar

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.CrossRef Google Scholar

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.328Google Scholar

Pollock, J. 1995 Cognitive CarpentryCambridge, MAMIT PressGoogle Scholar

Poole, D. 1997 The independent choice logic for modeling multiple agents under uncertaintyArtificial Intelligence 94 7CrossRef Google Scholar

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 YorkSpringer331CrossRef Google Scholar

Poole, D.Mackworth, A. 2010 Artificial Intelligence: Foundations of Computational AgentsCambridgeCambridge University PressCrossRef Google Scholar

Post, E. 1943 Formal reductions of the general combinatorial decision problemAmerican Journal of Mathematics 65 197CrossRef Google Scholar

Prakken, H.Sartor, G. 1996 A dialectical model of assessing conflicting arguments in legal reasoningJournal of Artificial Intelligence and Law 4Google Scholar

Priest, G. 2002 Paraconsistent logicHandbook of Philosophical LogicGabbay, D.Guenthner, F.DordrechtKluwer Academic287CrossRef Google Scholar

Przymusinski, T. 1988 On the declarative semantics of deductive databases and logic programsFoundations of Deductive Databases and Logic ProgrammingNew YorkMorgan Kaufmann193CrossRef Google Scholar

Quine, W. V. O. 1963 Two dogmas of empiricismFrom a Logical Point of ViewNew YorkHarper & Row20Google Scholar

Rahwan, I.Simari, G. 2009 Argumentation in Artificial IntelligenceNew YorkSpringer

Reiter, R. 1980 A logic for default reasoningArtificial Intelligence 13 81CrossRef Google Scholar

Reiter, R. 1988 97

Robinson, J. A. 1965 A machine-oriented logic based on the resolution principleJournal of the ACM 12 23CrossRef Google Scholar

Robinson, J. 1965 Automatic deduction with hyper-resolutionInternational Journal of Computer Mathematics 1 227Google Scholar

Russell, S. J.Norvig, P. 2010 Artificial Intelligence: A Modern ApproachUpper Saddle River, NJPrentice HallGoogle Scholar

Sadri, F.Kowalski, R. 1988 A theorem-proving approach to database integrityFoundations of Deductive Databases and Logic ProgrammingMinker, J.New YorkMorgan Kaufmann313CrossRef Google Scholar

Sagonas, K.Swift, T.Warren, D. S. 1994 XSB as an efficient deductive database engineSIGMOD Record 23 442CrossRef Google Scholar

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 370CrossRef Google Scholar

Shanahan, M. P. 1997 Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of InertiaCambridge, MAMIT PressGoogle Scholar

Shapiro, S. 1989 Incompleteness, mechanism, and optimismThe Bulletin of Symbolic Logic 4 273CrossRef Google Scholar

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 AIGoogle Scholar

Simon, H. A. 1957 Administrative BehaviourNew YorkMacmillanGoogle Scholar

Simon, H. A. 1960 The New Science of Management DecisionNew YorkHarper & RowCrossRef Google Scholar

Simon, H. A. 1999 Production systemsThe MIT Encyclopedia of the Cognitive SciencesWilson, R.Keil, F.Cambridge, MAMIT Press676Google Scholar

Sperber, D.Wilson, D. 1986 RelevanceOxfordBlackwellGoogle Scholar

Sperber, D.Cara, F.Girotto, V. 1995 Relevance theory explains the selection taskCognition 52 3Google Scholar

Stenning, K.van Lambalgen, M. 2008 Human Reasoning and Cognitive ScienceCambridge, MAMIT PressGoogle Scholar

Thagard, P. 2005 Mind: Introduction to Cognitive ScienceCambridge, MAM.I.T. PressGoogle Scholar

van Lambalgen, M.Hamm, F. 2005 The Proper Treatment of EventsOxfordBlackwellCrossRef Google Scholar

Vickers, G. 1965 The Art of JudgmentLondonChapman & HallGoogle Scholar

Wang, H. 1974 From Mathematics to PhilosophyLondonRoutledge & Kegan PaulGoogle Scholar

Wason, P. 1968 Reasoning about a ruleThe Quarterly Journal of Experimental Psychology 20 273CrossRef Google Scholar PubMed

Widom, J.Ceri, S. 1996 Active Database Systems: Triggers and Rules for Advanced Database ProcessingSan FranciscoMorgan KaufmannGoogle Scholar

Williams, J. 1990 Style: Toward Clarity and GraceChicagoUniversity of Chicago PressGoogle Scholar

Winograd, T. 1971

Winograd, T. 1972 Understanding Natural LanguageNew YorkAcademic PressGoogle Scholar

Book contents

References

Summary

Access options

References

Save book to Kindle

Save book to Dropbox

Save book to Google Drive