From Modal Logic to Deductive Data Bases
Seiten
1989
John Wiley & Sons Ltd (Verlag)
978-0-471-92345-9 (ISBN)
John Wiley & Sons Ltd (Verlag)
978-0-471-92345-9 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
This reference work has been designed specifically for students and researchers in computer sciences and artificial intelligence. It explores the methods of artificial intelligence, and introduces the more elementary aspects of using logic for artificial intelligence purposes.
This volume is an invaluable learning and reference source for students and researchers of computer science and artificial intelligence. It advances the study of the concepts and methods of artificial intelligence taking logic as a guideline. A knowledge of standard logic is required for an understanding of this book but this comprehensive approach to logic used in computer science is complemented by a companion volume, "From Standard Logic to Logic Programming". In this, the more elementary aspects of using logic for artificial intelligence are introduced.
This volume is an invaluable learning and reference source for students and researchers of computer science and artificial intelligence. It advances the study of the concepts and methods of artificial intelligence taking logic as a guideline. A knowledge of standard logic is required for an understanding of this book but this comprehensive approach to logic used in computer science is complemented by a companion volume, "From Standard Logic to Logic Programming". In this, the more elementary aspects of using logic for artificial intelligence are introduced.
Knowledge representation; natural and formal languages; modal logic; intensional logic and Montague's semantics; temporal logic and specification of concurrent programs; revisable reasoning; theory of relational and deductive databases; representation of incomplete information in databases.
| Erscheint lt. Verlag | 28.6.1989 |
|---|---|
| Zusatzinfo | illustrations, tables, index |
| Verlagsort | Chichester |
| Sprache | englisch |
| Maße | 45 x 68 mm |
| Gewicht | 700 g |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-471-92345-1 / 0471923451 |
| ISBN-13 | 978-0-471-92345-9 / 9780471923459 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
REDLINE (Verlag)
CHF 27,95
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …
Buch | Hardcover (2024)
Penguin (Verlag)
CHF 39,20
