Modalna logika je običajna logika razširjena z operatorji, ki določajo način veljavnosti izjave. Z modalnimi operatorji lahko formalno izrazimo dejstva kot so "agent Q verjame, da velja A" in "agent Q dopušča možnost, da velja A". Na seminarju bom predstavil modalno logiko KT4^n za predstavitev znanja v sistemu z večimi agenti in obravnaval primere, ki ponazarjajo njeno uporabo.
Attribution: The Open Education Consortium
http://www.ocwconsortium.org/courses/view/b0a53bc695ac0b19d956d22bbc7703e6/
Course Home http://videolectures.net/solomon_bauer_mla/
