Logic for problem solving
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Livre papier |
| Jezik: | Anglais |
| Izdano: |
New York ; Amsterdam ; Oxford :
North-Holland
C 1979.
|
| Serija: | Artificial intelligence series
7 The Computer science library |
| Teme: | |
| Bilješka: |
Autre tirage : 1983 |
| Autres localisations: | Voir dans le Sudoc |
Sadržaj:
- 1, Introduction
- 2, Representation in clausal form
- 3, Top-down and bottom-up horn clause proof procedures
- 4, Horn clause problem-solving
- 5, The procedural interpretation of Horn clause
- 6, Plan-formation and the frame problem
- 7, Resolution
- 8, The connection graph proof procedure
- 9, Global problem-solving strategies
- 10, Comparison of clausal form with standard form
- 11, If-and-only-if
- 12, Formalisation of provability
- 13, Logic, change and contradiction