Research Catalog

Autologic

Title
Autologic / Neil Tennant.
Author
Tennant, Neil, 1950-
Publication
  • Edinburgh : Edinburgh University Press, [1992]
  • ©1992

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/TextUse in library QA76.9.A96 T45 1992Off-site

Details

Description
xiii, 239 pages : illustrations; 23 cm
Series Statement
Edinburgh information technology series ; 9
Uniform Title
Edinburgh information technology series ; 9.
Subject
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
  • Computer
  • Intuitionistische Logik
  • Künstliche Intelligenz
  • Logik
  • Proposition
  • Logica
  • Bewijstheorie
  • Deductie
Bibliography (note)
  • Includes bibliographical references (p. 227-231) and index.
Contents
1. Introduction. 1.1. Computational logic and Prolog. 1.2. Three well-known systems of logic. 1.3. Computational logic and complexity. 1.4. The choice of minimal logic. 1.5. Relevance -- 2. The Relevance of Relevance. 2.1. Complexity considerations. 2.2. The design of expert systems. 2.3. Relevantising mathematics -- 2. A clash of paradigms -- 3. Logic and Cognitive Science. 3.1. On inference engines. 3.2. Methodological choices. 3.3. Emulation by Simulation. 3.4. A Computational logic and proof theory. 3.5. Compossible constraints. 3.6. 'My program is better than your program' -- 4. From Oracles to Rationauts -- 5. Minimal Logic in Perspective -- 6. Exploring the Rules -- 7. How does one search for proofs? -- 8. Accessibility and Relevance. 8.1. Accessibility. 8.2. Relevance. 8.3. Proof by cases -- 9. Genetic Screening in IR -- 10. How to represent formulae -- 11. How to represent proofs -- 12. How to generate proofs -- 13. Features of a natural proof-finder -- 14. On avoiding loops and blind alleys. 14.1. The Dyckhoff Device. 14.2. Fettering. 14.3. Hobbling. 14.4. Tethering -- 15. Proof Theory and Proof Search. 15.1. Vindication of a proof-theoretic approach. 15.2. Testing proof-finders. 15.3. Looking ahead to IR -- Summary of proof-theoretic results -- Appendix: Deductive Debuggers for Minimal Logic -- Appendix: Pelletier's propositional problems -- Appendix: The Associativity Problems -- Appendix: Some simple Prolog proof-finders.
ISBN
  • 0748603581
  • 9780748603589
LCCN
94223492
OCLC
  • ocm27380063
  • 27380063
  • SCSB-2044597
Owning Institutions
Princeton University Library