Tractable Reasoning in Aritificial Intelligence

Name: Tractable Reasoning in Aritificial Intelligence
Brand: Springer, Berlin
SKU: 9783540600589
Price: 212.42 PLN
Availability: InStock

Autor: Marco Cadoli

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.42 zł

Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the...

Informacje o książce

Autor

Marco Cadoli

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1995

strony

286

EAN

9783540600589

ISBN

3540600582

Enbook ID

01565984

Wydawca

Springer, Berlin

Waga

377

Wymiary

156 x 234 x 14

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Tractable Reasoning in Aritificial Intelligence

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również