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
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Book/Text | Use in library | QA76.9.A96 T45 1992 | Off-site |
Details
- Description
- xiii, 239 pages : illustrations; 23 cm
- Series Statement
- Edinburgh information technology series ; 9
- Uniform Title
- Edinburgh information technology series ; 9.
- Subject
- 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