Autologic

by Tennant, Neil

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Autologic / Neil Tennant.

Edition Statements

Publication Date:©1992

Publication Statements

Publisher(s):Edinburgh University Press
Place of Publication:Edinburgh
Language:eng
Publication Date:©1992

The Physical Object

Description:xiii, 239 pages : : illustrations ; : 23 cm

Edition Identifiers

ISBN:0748603581, 9780748603589
oclc:ocm27380063
LC Classification:QA76.9.A96
Dewey Decimal:511.3

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…

Subjects

Automatic theorem proving Bewijstheorie Computer Deductie Intuitionistische Logik Künstliche Intelligenz Logic Logic, Symbolic and mathematical logica Logik Logique symbolique et mathématique Proposition Théorèmes -- Démonstration automatique