图 书 馆
时尚逻辑与代理Modalna logika in agenti |
|
| 课程网址: | http://videolectures.net/solomon_bauer_mla/ |
| 主讲教师: | Andrej Bauer |
| 开课单位: | 卢布尔雅那大学 |
| 开课时间: | 2007-02-25 |
| 课程语种: | 英语 |
| 中文简介: |  模态逻辑是由指定语句有效性的_可能_的运算符扩展的通用逻辑。使用模态算子，我们可以正式表达诸如“代理 Q 相信 A 成立”和“代理 Q 允许 A 成立的可能性”等事实。在研讨会上，我将介绍 KT4 ^ n 在多智能体系统中呈现知识的模态逻辑，并讨论说明其用法的示例。 |
| 课程简介: | 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. |
| 关 键 词: | 模态逻辑; 多智能体系统; 模态算子 |
| 课程来源: | 视频讲座网 |
| 数据采集: | 2021-07-15：nkq |
| 最后编审: | 2021-08-28：nkq |
| 阅读次数: | 57 |