Material Detail

Modalna logika in agenti

This video was recorded at Solomon seminar. 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.... Show More

Keywords:: videolectures, ocwc, oec

Disciplines:

Mathematics and Statistics / Mathematics

Go to Material

Bookmark / Add to Course ePortfolio

Create a Learning Exercise

Add Accessibility Information

Rate

Add a Comment

Quality

User Rating
Comments
Learning Exercises
Bookmark Collections
Course ePortfolios
Accessibility Info

Report Broken Link
Report as Inappropriate

More about this material

Material Type:: Presentation
Date Added to MERLOT:: February 10, 2015
Date Modified in MERLOT:: February 10, 2015
Author:: Andrej Bauer, Faculty of Mathematics and Physics, University of Ljubljana
Submitter:: The Open Education Consortium
Primary Audience:: College General Ed, College Lower Division, College Upper Division
Technical Format:: Video

Mobile Compatibility:: Not specified at this time
Language:: Slovenian
Cost Involved:: No
Source Code Available:: No
Creative Commons:: This work is licensed under a Attribution-NonCommercial-NoDerivs 3.0 United States