Book contents
- Frontmatter
- Contents
- Preface
- Summary and plan of the book
- Introduction
- 1 Logic on the Underground
- 2 The psychology of logic
- 3 The fox and the crow
- 4 Search
- 5 Negation as failure
- 6 How to become a British Citizen
- 7 The louse and the Mars explorer
- 8 Maintenance goals as the driving force of life
- 9 The meaning of life
- 10 Abduction
- 11 The Prisoner’s Dilemma
- 12 Motivations matter
- 13 The changing world
- 14 Logic and objects
- 15 Biconditionals
- 16 Computational Logic and the selection task
- 17 Meta-logic
- Conclusions of the book
- A1 The syntax of logical form
- A2 Truth
- A3 Forward and backward reasoning
- A4 Minimal models and negation
- A5 The resolution rule
- A6 The logic of abductive logic programming
- References
- Index
- References
References
Published online by Cambridge University Press: 07 September 2011
Book contents
- Frontmatter
- Contents
- Preface
- Summary and plan of the book
- Introduction
- 1 Logic on the Underground
- 2 The psychology of logic
- 3 The fox and the crow
- 4 Search
- 5 Negation as failure
- 6 How to become a British Citizen
- 7 The louse and the Mars explorer
- 8 Maintenance goals as the driving force of life
- 9 The meaning of life
- 10 Abduction
- 11 The Prisoner’s Dilemma
- 12 Motivations matter
- 13 The changing world
- 14 Logic and objects
- 15 Biconditionals
- 16 Computational Logic and the selection task
- 17 Meta-logic
- Conclusions of the book
- A1 The syntax of logical form
- A2 Truth
- A3 Forward and backward reasoning
- A4 Minimal models and negation
- A5 The resolution rule
- A6 The logic of abductive logic programming
- References
- Index
- References
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.
- Type
- Chapter
- Information
- Computational Logic and Human ThinkingHow to Be Artificially Intelligent, pp. 296 - 302Publisher: Cambridge University PressPrint publication year: 2011
References
1984 Computer aided normalizing and unpacking: some interesting machine-processable transformation of legal rulesComputing Power and Legal ReasoningSt. Paul, MNWest Publishing Company495Google Scholar
2000 Reasoning versus text processing in the Wason selection task: a non-deontic perspective on perspective effectsMemory & Cognition 28 1060CrossRefGoogle ScholarPubMed
1975 Entailment: The logic of relevance and necessity, Vol. IPrinceton, NJPrinceton University PressGoogle Scholar
2001 Symbolic knowledge extraction from trained neural networks: a sound approachArtificial Intelligence 125 155CrossRefGoogle Scholar
2006 The integration of connectionism and first-order knowledge representation and reasoning as a challenge for artificial intelligenceInformation 9Google Scholar
1989 Semantic parallels in natural language and computationLogic Colloquium 1981AmsterdamElsevier Science Publishers331Google Scholar
2003 Query answering in inconsistent databasesLogics for Emerging Applications of DatabasesNew YorkSpringer43Google Scholar
1997 An abstract argumentation-theoretic approach to default reasoningJournal of Artificial Intelligence 93 63CrossRefGoogle Scholar
1991 l
1979
2000 Soft systems methodology: a thirty year retrospectiveSystems Research and Behavioral Science Systems Research 17 S113.0.CO;2-O>CrossRefGoogle Scholar
1987
1992 37
2002 Meta-reasoning: a surveyComputational Logic: Logic Programming and BeyondNew YorkSpringer253CrossRefGoogle Scholar
1985
1989 The logic of social exchange: has natural selection shaped how humans reason? Studies with the Wason selection taskCognition 31 187CrossRefGoogle ScholarPubMed
2005 http://galatea.sourceforge.net
1980 The mathematics of non-monotonic reasoningJournal of Artificial Intelligence 13 73CrossRefGoogle Scholar
1991 Negation as hypothesis: an abductive foundation for logic programmingProceedings of the 8th International Conference on Logic ProgrammingCambridge, MAMIT PressGoogle Scholar
2006 Dialectic proof procedures for assumption-based, admissible argumentationJournal of Artificial Intelligence 170 114CrossRefGoogle Scholar
1989 Abduction compared with negation by failureSixth International Conference on Logic ProgrammingCambridge, MAMIT Press234Google Scholar
1962 Transfinite recursive progressions of axiomatic theoriesJournal of Symbolic Logic 27 259CrossRefGoogle Scholar
1997
1988 1070
1931 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, IMonatshefte für Mathematik und Physik 38 173CrossRefGoogle Scholar
1951 Some basic theorems on the foundations of mathematics and their implicationsCollected works / Kurt GödelOxfordOxford University Press304Google Scholar
1969 Application of theorem proving to problem solvingProceedings of the 1st International Joint Conference on Artificial IntelligenceSan FranciscoMorgan Kaufmann219Google Scholar
1999 Smart Choices – A practical guide to making better decisionsCambridge, MAHarvard Business School PressGoogle Scholar
2007 A dissociation between moral judgments and justificationsMind and Language 22 1CrossRefGoogle Scholar
1971 Procedural embedding of knowledge in plannerProceedings of the 2nd International Joint Conference on Artificial IntelligenceSan FranciscoMorgan KaufmannGoogle Scholar
1998 Meta-programming in logic programmingHandbook of Logic in Artificial Intelligence and Logic ProgrammingOxfordOxford University Press421Google Scholar
1993 The logical content of theories of deductionBehavioral and Brain Sciences 16 353CrossRefGoogle Scholar
2006 Two doors to openMathematical Problems from Applied Logic I: Logics for the XXIst CenturyNew YorkSpringer277CrossRefGoogle Scholar
1994 Toward a new massively parallel computational model for logic programmingProceedings of Workshop on Combining Symbolic and Connectionist Processing, ECAI-94Amsterdam68Google Scholar
2007
2002 Representativeness revisited: attribute substitution in intuitive judgmentHeuristics of Intuitive Judgment: Extensions and ApplicationNew YorkCambridge University PressGoogle Scholar
1998 The role of logic programming in abductionHandbook of Logic in Artificial Intelligence and ProgrammingOxfordOxford University Press235Google Scholar
1974 http://www.doc.ic.ac.uk/~rak/
1992 Database updates in the event calculusJournal of Logic Programming 12 121CrossRefGoogle Scholar
1990 Logic programs with exceptionsProceedings of the Seventh International Conference on Logic ProgrammingCambridge, MAMIT Press598Google Scholar
2010 An agent language with destructive assignment and model-theoretic semanticsCLIMA XI – Computational Logic in Multi-Agent SystemsNew YorkSpringerGoogle Scholar
1987 Soar: an architecture for general intelligenceArtificial Intelligence 33 1CrossRefGoogle Scholar
1989 Building Large Knowledge-Based Systems; Representation and Inference in the Cyc ProjectBostonAddison-Wesley Longman Publishinghttp://www.cyc.com/Google Scholar
2009 Artificial Intelligence, Structures and Strategies for Complex Problem SolvingLondonPearson Education LimitedGoogle Scholar
1988 SATCHMO: A theorem prover implemented in PrologProceedings CADE 1988New YorkSpringer415Google Scholar
1980 Circumscription – a form of non-monotonic reasoningArtificial Intelligence 13 27CrossRefGoogle Scholar
1969 Some philosophical problems from the standpoint of artificial intelligenceMachine Intelligence 4New YorkElsevierGoogle Scholar
2007 Universal moral grammar: theory, evidence, and the futureTrends in Cognitive Sciences 11 143CrossRefGoogle ScholarPubMed
1985 Semantical considerations on nonmonotonic logicArtificial Intelligence 25 75CrossRefGoogle Scholar
1994 Inductive logic programming: theory and methodsJournal of Logic Programming 19 629CrossRefGoogle Scholar
1973 Production systems: models of control structureVisual Information ProcessingNew YorkAcademic Press463CrossRefGoogle Scholar
2006 Common sense reasoning – from Cyc to Intelligent AssistantAmbient Intelligence in Everyday LifeBerlinSpringer1Google Scholar
1989 The Emperor’s New Mind: Concerning Computers, Minds, and The Laws of PhysicsOxfordOxford University PressGoogle Scholar
2007
2009 Modelling morality with prospective logicInternational Journal of Reasoning-based Intelligent Systems (IJRIS) 1 209CrossRefGoogle Scholar
1994 Metalanguages, reflection principles and self-referenceHandbook of Logic in Artificial Intelligence and Logic Programming 2 328Google Scholar
1997 The independent choice logic for modeling multiple agents under uncertaintyArtificial Intelligence 94 7CrossRefGoogle Scholar
1987 Theorist: a logical reasoning system for defaults and diagnosisThe Knowledge Frontier: Essays in the Representation of KnowledgeNew YorkSpringer331CrossRefGoogle Scholar
2010 Artificial Intelligence: Foundations of Computational AgentsCambridgeCambridge University PressCrossRefGoogle Scholar
1943 Formal reductions of the general combinatorial decision problemAmerican Journal of Mathematics 65 197CrossRefGoogle Scholar
1996 A dialectical model of assessing conflicting arguments in legal reasoningJournal of Artificial Intelligence and Law 4Google Scholar
2002 Paraconsistent logicHandbook of Philosophical LogicDordrechtKluwer Academic287CrossRefGoogle Scholar
1988 On the declarative semantics of deductive databases and logic programsFoundations of Deductive Databases and Logic ProgrammingNew YorkMorgan Kaufmann193CrossRefGoogle Scholar
2009 Argumentation in Artificial IntelligenceNew YorkSpringer
1988 97
1965 A machine-oriented logic based on the resolution principleJournal of the ACM 12 23CrossRefGoogle Scholar
1965 Automatic deduction with hyper-resolutionInternational Journal of Computer Mathematics 1 227Google Scholar
1988 A theorem-proving approach to database integrityFoundations of Deductive Databases and Logic ProgrammingNew YorkMorgan Kaufmann313CrossRefGoogle Scholar
1997 Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of InertiaCambridge, MAMIT PressGoogle Scholar
1989 Incompleteness, mechanism, and optimismThe Bulletin of Symbolic Logic 4 273CrossRefGoogle Scholar
2002 Strong completeness of R. Kowalski’s connection graph proof procedureComputational Logic: Logic Programming and BeyondNew YorkSpringer Lecture Notes on AIGoogle Scholar
1999 Production systemsThe MIT Encyclopedia of the Cognitive SciencesCambridge, MAMIT Press676Google Scholar
1968 Reasoning about a ruleThe Quarterly Journal of Experimental Psychology 20 273CrossRefGoogle ScholarPubMed
1996 Active Database Systems: Triggers and Rules for Advanced Database ProcessingSan FranciscoMorgan KaufmannGoogle Scholar
1971