[Solomonov Seminar] 137. Solomonov seminar

[Marko Grobelnik]

Vabim vas na 137. Solomonov seminar, ki bo v torek,
3. februarja 2003 ob 13:00 uri v Veliki predavalnici IJS.

Tokrat bo Andrej Bauer podrobneje predstavil formalizem 
za opis multiagentnih sistemov, ki temelji na logiki.
Formalizem je bil npr. uporabljen v sistemu, ki ga je na
preteklem seminarju predstavila Melita Hajdinjak.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Andrej Bauer, Univerza v Ljubljani, FMF:

        Modalna logika in agenti

Modalna logika je obicajna logika razsirjena z operatorji, 
ki dolocajo _nacin_ veljavnosti izjave. Z modalnimi operatorji 
lahko formalno izrazimo dejstva kot so "agent Q verjame, da 
velja A" in "agent Q dopusca moznost, da velja A". Na seminarju 
bom predstavil modalno logiko KT4^n za predstavitev znanja v 
sistemu z vecimi agenti in obravnaval primere, ki ponazarjajo 
njeno uporabo.