Modalna logika in agenti

author: Andrej Bauer, Faculty of Mathematics and Physics, University of Ljubljana
published: Feb. 25, 2007,   recorded: February 2003,   views: 388
Categories

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.
Lecture popularity: You need to login to cast your vote.
  Delicious Bibliography

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:

make sure you have javascript enabled or clear this field: