资源分类
》 资源 》论文》Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

2019-11-20 | |  34 |   40 |   0
Abstract In this paper, we overview the recently introduced general framework of Description Logic Based Dynamic Systems, which leverages Levesque’s functional approach to model systems that evolve the extensional part of a description logic knowledge base by means of actions. This framework is parametric w.r.t. the adopted description logic and the progression mechanism. In this setting, we discuss verification and adversarial synthesis for specifications expressed in a variant of first-order µ-calculus, with a controlled form of quantification across successive states and present key decidability results under the natural assumption of state-boundedness.

上一篇：When Are Description Logic Knowledge Bases Indistinguishable?

下一篇：Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Extended Abstract) ?

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

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