Tractable Reasoning in Aritificial Intelligence
Seiten
Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device.
This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for
This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for
Language restriction: Complexity of minimal reasoning.- Approximation of a logical theory.- Using complexity results for evaluating approximation techniques.- Conclusion.
| Erscheint lt. Verlag | 18.7.1995 |
|---|---|
| Reihe/Serie | Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science |
| Zusatzinfo | X, 286 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 377 g |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
| Schlagworte | algorithmische Komplexität • algorithms • Algorithmus • Artificial Intelligence • Complexity • Computational Complexity • Database • database theory • Datenbanktheorien • Erfüllbarkeitsproblem der Aussagenlogik • Formale Logik • Formal Logic • Hardcover, Softcover / Informatik, EDV/Informatik • Intelligence • Knowledge • Knowledge Representation • Künstliche Intelligenz • Logi • Mathematische Logik • Wissensdarstellung • Wissensrepräsentation |
| ISBN-13 | 9783540600589 / 9783540600589 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Kindersachbuch über die Welt von Morgen
Buch | Hardcover (2025)
Gabriel in der Thienemann-Esslinger Verlag GmbH
CHF 24,90
Wissensverarbeitung - Neuronale Netze
Buch | Hardcover (2023)
Carl Hanser (Verlag)
CHF 48,95
was alle wissen sollten, die Websites und Apps entwickeln
Buch | Hardcover (2024)
Rheinwerk (Verlag)
CHF 55,85
