Tanszéki konzulens: 

Strausz György associate professor Szoba: IE423 Tel.: +36 1 463-4394 Email: strausz (*) mit * bme * hu

Az érvelési rendszerek a döntéstámogatás egy viszonylag új formája. A döntéstámogató rendszerek egy adott gyakorlati probléma megoldását elősegítve, a felhasználóktól információkat gyűjtve, segítenek a döntéshozásban. Számos gyakorlati probléma esetén lehet ilyen számítógépes eszközt alkalmazni, ilyen például egy termék vásárlása, jogi vagy adminisztratív kérdések eldöntése, diagnózisok előkészítése. Egy valós probléma kapcsán többféle vélemény merülhet fel, pro és kontra érveket lehet felállítani. Az érvek támadhatóak, új információ bevitelekor az érv konklúziója változhat, ezeknek számítógépes kiértékelése részben különböző logikákkal, részben a vita moderálásával támogathatóak. Tehát a döntéstámogató rendszernek ez az új fajtája a vita és a meggyőzés számítógépes modelljének tekinthető.
Az érvelési rendszerek alapja a dialektika, mely vélemények megvitatásának, az érvelésnek és a meggyőzésnek a filozófiája. Ezek a rendszerek az alap dialektikai elveket alkalmazzák: pro és kontra érvek, javasló és ellenző érdekek, tézis és antitézis szembeállítása. A számítógépes érvelés új vagy ritkán alkalmazott módszereket igényel, mint nem-monoton logikák, számítógépes lingvisztika és dialektika.

Az önálló labor keretében érvelési keretrendszer, portál kidolgozása a feladat.