Modalna logika in agenti
author: Andrej Bauer,
Faculty of Mathematics and Physics, University of Ljubljana
published: Feb. 25, 2007, recorded: February 2003, views: 4596
published: Feb. 25, 2007, recorded: February 2003, views: 4596
Related content
Report a problem or upload files
If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Description
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.
Link this page
Would you like to put a link to this lecture on your homepage?Go ahead! Copy the HTML snippet !
Write your own review or comment: