资源分类
》 资源 》论文》Hintikka’s World: Agents with Higher-order Knowledge Franc?ois Schwarzentruber

Hintikka’s World: Agents with Higher-order Knowledge Franc?ois Schwarzentruber

2019-11-06 | |  67 |   67 |   0
Abstract In this demonstration paper, we present a pedagogical tool called Hintikka’s world for showing how artificial agents can reason about higher-order knowledge (an agent knows that another agent knows that...). The system provides famous AI examples such as Muddy children and Russian cards. The system also allows to implement user’s own examples via the description of a Kripke model or via its generation by the generic tableau method prover MetTeL2.

上一篇：Data-Driven Inventory Management and Dynamic Pricing Competition on Online Marketplaces

下一篇：IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...