【AAMSA 2019 | tutorial】多智能体系统中的认知推理Epistemic Reasoning In Multiagent Systems ,法国雷恩François Schwarzentruber

题目： Epistemic Reasoning In Multiagent Systems

报告简介： 本教程介绍了动态认知逻辑，该逻辑使人们能够及时推理知识及其演化。我们将首先展示如何为认知情况建模。其次，我们将讨论推理任务的算法问题。第三，我们将介绍动态逻辑的扩展。

嘉宾介绍：

Tristan Charrier，博士。研究领域：符号模型，认知计划，用于指定认知情况的语言，认知推理的证明。

François Schwarzentruber是法国雷恩（ENS Rennes）副教授。他目前的研究兴趣主要集中在逻辑理论及其在人工智能，代理和多代理系统以及计算机科学中的应用。他曾是Synthese，Studia Logica和Theoretical Computer Science等期刊的审稿人。自2011年以来，他的研究主要致力于研究动态认知逻辑。

slide简介：

介绍
知识与seeing
知识与时间
动态认知逻辑
基于知识的项目
总结

成为VIP会员查看完整内容

相关内容

TCS

关注 0

它的目的是理解计算的本质，并因此提供更有效的方法。所有介绍或研究数学、逻辑和形式概念和方法的论文都是受欢迎的，前提是它们的动机显然来自计算领域。理论计算机科学发表的论文按其性质分为三个部分。第一部分“算法，自动机，复杂性和游戏”致力于研究算法及其复杂性，使用分析，组合或概率的方法。它包括抽象复杂性的整个领域（即，所有可以使用图灵机器定义的层次结构的结果）、自动机和语言理论的整个领域（包括无限词和无限语言的自动机），整个几何（图形）应用领域和使用统计方法测量系统性能的整个领域。官网链接：https://www.sciencedirect.com/journal/theoretical-computer-science/about/aims-and-scope

经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations

专知会员服务

155+阅读 · 2020年1月29日

【NYU CS-GY 9223I】算法机器学习和数据科学（Algorithmic Machine Learning and Data Science），纽约大学坦顿工程学院计算机科学与工程助理教授 |Christopher Musco

专知会员服务

19+阅读 · 2019年12月24日

【CAAI 2019】自然语言与理解，苏州大学| 周国栋教授

专知会员服务

62+阅读 · 2019年12月1日

清华大学唐杰老师：用于理解、推理和决策的认知图计算

专知会员服务

119+阅读 · 2019年11月30日