A kényszerkielégítés alapjai: A klasszikus szöveg

Olvasói vélemények

A könyvről szóló kritikák merőben ellentétesek. Az egyik felhasználó dicséri, hogy kiváló állapotban van, és remek vétel egy stanfordi kurzuson használt tankönyvhöz képest, míg egy másik felhasználó erősen kritizálja egy adott utánnyomást, mert rosszul készült, számos hibával és nem megfelelő formázással.

A könyvet kiváló állapotban, rendezett oldalakkal kapták meg. Emellett nagyon kedvező árú, 5 dollár körüli összeggel, így a diákok számára jó ár-érték arányú.

A „Books on Demand” újranyomását kritizálják, mert új hibákat, rossz matematikai jelöléseket és nem megfelelő betűtípusokat tartalmaz, ami komoly tanulmányokhoz használhatatlanná és pénzkidobássá teszi.

(2 olvasói vélemény alapján)

Eredeti címe:

Foundations of Constraint Satisfaction: The Classic Text

Könyv tartalma:

A számítástechnika e korszakalkotó műve, a téma legtöbbet idézett könyve most először kapható papírkötésben. A korlátok kielégítése olyan döntési probléma, amely véges számú választási lehetőséget tartalmaz.

Mindenütt jelen van. A cél az, hogy olyan értékeket találjunk a változók egy halmazának, amelyek kielégítik a korlátok adott halmazát. A mesterséges intelligencia számos alkalmazásának középpontjában áll, és számos területen, például a tervezésben és az ütemezésben is megtalálta az alkalmazását.

Általánossága miatt a legtöbb mesterséges intelligenciával foglalkozó kutató számára előnyös lehet, ha jól ismeri az e területen alkalmazott technikákat. Az eredetileg 1993-ban megjelent, ma már klasszikus könyv volt az első kísérlet a kényszerkielégítés hatókörének meghatározására.

A könyv a téma elméleti és végrehajtási aspektusait egyaránt tárgyalja. Keretet ad a terület tanulmányozásához, összefüggésbe hozza a különböző kutatásokat, és feloldja a szakirodalomban szereplő számos fogalom és algoritmus kétértelműségét. Ez a korszakalkotó szöveg vitathatatlanul a terület legszigorúbb könyve.

Minden fontosabb fogalmat az Első rendű predikátumszámításban definiáltak. Az így definiált fogalmak pontosak és egyértelműek.