A logical framework for modelling eMAS

被引：0
|
作者：
Dell'Acqua, P [1 ]
Pereira, LM
机构：
[1] Linkoping Univ, ITN, Dept Sci & Technol, Norrkoping, Sweden
[2] Univ Nova Lisboa, Fac Ciencias & Tecnol, Dept Informat, CENTRIA,Ctr Inteligencia Artificial, P-2829516 Caparica, Portugal
来源：
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS | 2003年 / 2562卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We investigate how to explicitly represent organizational structures in epistemic multi-agent systems (eMAS). We introduce a logical framework F suitable for representing organizational structures for epistemic agents, and provide its declarative and procedural semantics. We show how a number of organizational structures can be represented in F and discuss their properties.
引用
收藏
页码：241 / 255
页数：15
相关论文
共 50 条
  • [1] Modelling evolvable component systems Part I: A logical framework
    Barringer, Howard
    Gabbay, Dov
    Rydeheard, David
    [J]. LOGIC JOURNAL OF THE IGPL, 2009, 17 (06) : 631 - 696
  • [2] BUSINESS PROCESS MODELLING IN HEALTHCARE AND COMPLIANCE MANAGEMENT: A LOGICAL FRAMEWORK
    Amantea, Ilaria Angela
    Robaldo, Livid
    Sulis, Emilio
    Governatori, Guido
    Boella, Guido
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2022, 9 (04): : 1063 - 1086
  • [3] Business process modelling in healthcare and compliance management: a logical framework
    Amantea, Ilaria Angela
    Robaldo, Livio
    Sulis, Emilio
    Governatori, Guido
    Boella, Guido
    [J]. Journal of Applied Logics, 2022, 9 (04): : 1063 - 1086
  • [4] Logical Relations for a Logical Framework
    Rabe, Florian
    Sojakova, Kristina
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (04)
  • [5] Conceptual and computational framework for logical modelling of biological networks deregulated in diseases
    Montagud, Arnau
    Traynard, Pauline
    Martignetti, Loredana
    Bonnet, Eric
    Barillot, Emmanuel
    Zinovyev, Andrei
    Calzone, Laurence
    [J]. BRIEFINGS IN BIOINFORMATICS, 2019, 20 (04) : 1238 - 1249
  • [6] A logical framework
    Nancholas, S
    [J]. HEALTH POLICY AND PLANNING, 1998, 13 (02) : 189 - 193
  • [7] Idioms of logical modelling
    Jackson, Daniel
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2006, 4178 : 14 - 14
  • [8] A logical framework for convention
    Sillari, G
    [J]. SYNTHESE, 2005, 147 (02) : 379 - 400
  • [9] On a logical framework for 'generally'
    Veloso, SRM
    Veloso, PAS
    [J]. LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2001, 7 : 279 - 286
  • [10] A Contextual Logical Framework
    Bock, Peter Brottveit
    Schuermann, Carsten
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 402 - 417
12345