Találati lista | Tudóstér

001-es BibID:	BIBFORM070082
Első szerző:	Kádek Tamás (programtervező matematikus)
Cím:	Klasszikus állapottér-reprezentációk tisztán matematikai logikai megközelítésben / Kádek Tamás, Kósa Márk, Pánovics János
Dátum:	2016
ISSN:	1842-4546
Megjegyzések:	A mesterséges intelligenciában a problémák formális leírására használt állapottér-reprezentációk bizonyos problémák esetén olyan módon is megfogalmazhatók, hogy a megoldásukhoz ne csak a hagyományos algoritmusok (visszalépéses vagy keresőfával megoldást keresők stb.), hanem a klasszikus logikában használatos modellkeresők (SAT solverek) is alkalmazhatók legyenek. Cikkünkben két klasszikus problémán (n királynő problémája és Kennedy-teszt) keresztül mutatjuk be ezt a megközelítést, megadva ennek az ábrázolási módnak a receptjét.
Tárgyszavak:	Műszaki tudományok Informatikai tudományok előadáskivonat mesterséges intelligencia állapottér-reprezentáció SAT-solver Kennedy-teszt
Megjelenés:	ENELKO 2016 XVII. Nemzetközi Energetika-Elektrotechnika Konferencia, SzámOkt 2016 XXVI. Nemzetközi Számítástechnika és Oktatás Konferencia, Kolozsvár, 2016. október 6-9 / szerk. Biró Károly-Ágoston, Sebestyén-Pál György. - p. 226-230. -
További szerzők:	Kósa Márk (1975-) (programtervező matematikus) Pánovics János (1975-) (programtervező matematikus)
Internet cím:	Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: