A logikai programozás mint szakértő rendszert építő eszköz
A logikai programozás mint szakértő rendszert építő eszköz
Dátum
2006-08-01T12:35:47Z
Szerzők
Rigó, Zsuzsanna
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
A dolgozat célja az, hogy bemutassa a logikai programozást mint ismeretreprezentációs technikát és rezolúciós tételbizonyítást mint következtetőgépet és
azt, hogy hogyan működik mindez egy szakértői rendszer felépítése során. Ehhez
az első fejezetben először áttekintjük a logika, illetve a logikai programozás
elméleti alapjait, azon belül is a fontosabb fogalmakat, tételeket és eljárásokat.
A második fejezetben, a dolgozat magáról a szakértő rendszerekről ad egy
általános ismertetést érintve azok felépítését, működését és alkalmazási körét.
Az utolsó részben ezen ismereteket ötvözzük egy gyakorlati alkalmazás során.
Egy saját banki szakértő rendszert fogunk bemutatni, amely a lakossági hitelezést, azon belül is a lakáshitelekkel kapcsolatosan ad széleskörű tájékoztatást.
Leírás
Kulcsszavak
szakértő rendszer, mesterséges intelligencia, logikai programozás, formula, term, helyettesítés, solved form, SLD-rezolúzió, kalkulus