# The Logic of Partial Information

• Areski Nait Abdallah
Book

1. Front Matter
Pages I-XXV
2. Areski Nait Abdallah
Pages 1-20
3. Areski Nait Abdallah
Pages 21-55
4. Areski Nait Abdallah
Pages 56-66
5. Areski Nait Abdallah
Pages 67-102
6. Areski Nait Abdallah
Pages 103-157
7. Areski Nait Abdallah
Pages 158-171
8. Areski Nait Abdallah
Pages 172-216
9. Areski Nait Abdallah
Pages 217-262
10. Areski Nait Abdallah
Pages 263-304
11. Areski Nait Abdallah
Pages 305-355
12. Areski Nait Abdallah
Pages 356-365
13. Areski Nait Abdallah
Pages 366-388
14. Areski Nait Abdallah
Pages 389-424
15. Areski Nait Abdallah
Pages 425-452
16. Areski Nait Abdallah
Pages 453-465
17. Areski Nait Abdallah
Pages 466-499
18. Areski Nait Abdallah
Pages 500-505
19. Areski Nait Abdallah
Pages 506-536
20. Areski Nait Abdallah
Pages 537-561
21. Areski Nait Abdallah
Pages 562-623
22. Areski Nait Abdallah
Pages 624-680
23. Areski Nait Abdallah
Pages 681-705
24. Back Matter
Pages 707-718

### Introduction

One must be able to say at all times - in­ stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mathematics has rendered the human race. It has put common sense back where it belongs, on the topmost shelf next to the dusty canister labelled "discarded nonsense. " (Eric T. Bell) This book discusses reasoning with partial information. We investigate the proof theory, the model theory and some applications of reasoning with par­ tial information. We have as a goal a general theory for combining, in a principled way, logic formulae expressing partial information, and a logical tool for choosing among them for application and implementation purposes. We also would like to have a model theory for reasoning with partial infor­ mation that is a simple generalization of the usual Tarskian semantics for classical logic. We show the need to go beyond the view of logic as a geometry of static truths, and to see logic, both at the proof-theoretic and at the model-theoretic level, as a dynamics of processes. We see the dynamics of logic processes bear with classical logic, the same relation as the one existing between classical mechanics and Euclidean geometry.

### Keywords

Artificical Intelligence Künstliche Intelligenz Logik Programmiersprachen Programming Languages Reasoning Semantik algorithms logic nonmonotonic reasoning semantics uncertainty

#### Authors and affiliations

• Areski Nait Abdallah
• 1
1. 1.Middlesex College, Department of Computer ScienceUniversity of Western OntarioLondonCanada

### Bibliographic information

• DOI https://doi.org/10.1007/978-3-642-78160-5
• Copyright Information Springer-Verlag Berlin Heidelberg 1995
• Publisher Name Springer, Berlin, Heidelberg
• eBook Packages
• Print ISBN 978-3-642-78162-9
• Online ISBN 978-3-642-78160-5
• Series Print ISSN 1431-2654
• Buy this book on publisher's site