Kniha Tractable Reasoning in Aritificial Intelligence Marco Cadoli

Tractable Reasoning in Aritificial Intelligence

Autor: Marco Cadoli
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the...

Informace o knize

Autor
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1995
Stránek
286
EAN
9783540600589
ISBN
3540600582
Enbook ID
01565984
Vydavatel
Hmotnost
377
Rozměry
156 x 234 x 14

Kompletní popis

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

Mohlo by vás zajímat

230
404

Big Book of Roblox

Triumph Books
466
371
234
5 079

Hebrew Made Easy

JOSHUA KETTILBY
664
329
256

Jolly Plays

JOLLY LEARNING
714

Arrow Tree

Phyllis Weliver
483

Zákaznicí kteří koupili tuto knihu koupili také

Vorverständnis als Methode.

Alexander Schmitt Glaeser
1 995
2 686
299
130
508

Programa flexible de auditoria

Ana Isabel Barocio Torres
710
1 650

EL LIMONERO REAL

JUAN JOSE SAER
531
887
271