The Logic of Knowledge Bases
A szimbolikus vagy "jó öreg" mesterséges intelligencia (GOFAI) középpontjában a tudásbázis gondolata áll. Egy tudásalapú rendszer.
Úgy dönt arról, hogy hogyan cselekedjen, hogy formális következtetési eljárásokat futtat le egy explicit módon reprezentált tudáshalmazon, a tudásbázisán. A rendszer.
Nem programozzák be konkrét feladatokra; inkább megmondják neki, hogy mit kell tudnia, és elvárják, hogy a többit kikövetkeztesse.
Ez a könyv az ilyen tudásbázisok logikájáról szól. Részletesen leírja a tudás szimbolikus reprezentációi és az absztrakt tudásállapotok közötti kapcsolatot, és eközben feltárja a tudás alapjait, a tudásbázisokat, a tudásalapú rendszereket, valamint a tudás reprezentációját és a következtetést. A könyv az elsőrendű predikátumlogikában való némi jártasságot feltételezve a tudás olyan szigorú matematikai modelljét kínálja, amely általános és kifejező, ugyanakkor a gyakorlatban jobban alkalmazható, mint a korábbi modellek.
A könyv első kiadása 2000-ben jelent meg, és azóta a tudásmodelljét számos módon alkalmazták és bővítették.
Ez a második kiadás számos új eredményt tartalmaz a tudásbázisok logikájával kapcsolatban, beleértve az alapértelmezett érvelést, a cselekvésről való érvelést.
És változás, valamint a követhető érvelés.
Hector Levesque a Torontói Egyetem Számítástudományi Tanszékének nyugalmazott professzora. Gerhard Lakemeyer az RWTH Aachen Egyetem Számítástudományi Tanszékének professzora és elnöke, valamint a Torontói Egyetem Számítástudományi Tanszékének professzora (csak professzori státuszban).
© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)