Наредни састанак Семинара биће одржан онлајн у среду, 1. јуна 2022, од 19-20 часова.
Предавач: Проф. Драган Додер, Utrecht University Netherlands
Наслов предавања: ГРАДУАЛНЕ СЕМАНТИКЕ ЗА ТЕЖИНСКЕ ГРАФОВЕ АУГМЕНТАЦИЈЕ
Апстракт: Формална аргументација је област симболичке вештачке интелигенције која се користи за решавање различитих проблема, укључујући доношење одлука, расуђивање са непотпуним информацијама и класификацију. Најпопуларнији формализам аргументације је обичан усмерени граф, у коме чворови представљају аргументе, а ивице представљају нападе између аргумената. Градуална семантика је метод евалуације снаге аргумената у графовима, чији је циљ да сваком аргументу додели нумеричку вредност која представља његову снагу. У овом излагању, представићу општи приступ за дефинисање градуалних семантика за тежинске графове. Показаћу да се већина постојећих градуалних семантика може дефинисати коришћењем овог приступа, као и да се он може користити за конструисање неколико нових семантика. Приступ ће такође бити анализиран у односу на скуп принципа из литературе.
У предавању ће бити изложени неки резултати из следећих радова:
[1] Leila Amgoud, Dragan Doder, Srdjan Vesic: Evaluation of argument strength in attack graphs: Foundations and semantics. Artif. Intell. 302: 103607 (2022)
[2] Leila Amgoud, Dragan Doder: Gradual Semantics Accounting for Varied-Strength Attacks. AAMAS 2019: 1270-1278
[3] Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic: Acceptability Semantics for Weighted Argumentation frameworks. IJCAI 2017: 56-62
Напомена: Регистрациона форма за учешће је доступна на линку:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz