Tractable Reasoning in Aritificial Intelligence
Seiten
1995
|
1995
Springer Berlin (Verlag)
978-3-540-60058-9 (ISBN)
Springer Berlin (Verlag)
978-3-540-60058-9 (ISBN)
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-10 | 3-540-60058-2 / 3540600582 |
| ISBN-13 | 978-3-540-60058-9 / 9783540600589 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …
Buch | Hardcover (2023)
dpunkt Verlag
CHF 48,85
Lean UX und Design Thinking: Teambasierte Entwicklung …
Buch | Hardcover (2022)
dpunkt (Verlag)
CHF 48,85
Wissensverarbeitung - Neuronale Netze
Buch | Hardcover (2023)
Carl Hanser (Verlag)
CHF 48,95
