On fibring semantics for BDI logics

被引：6
|
作者：
Governatori, G [1 ]
Padmanabhan, V
Sattar, A
机构：
[1] Univ Queensland, Sch Informat Technol & Elect Engn, St Lucia, Qld 4067, Australia
[2] Griffith Univ, Knowledge Representat & Reasoning Unit, Sch Informat Technol, Nathan, Qld 4111, Australia
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH | 2002年 / 2424卷
关键词：
D O I：
10.1007/3-540-45757-7_17
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This study examines BDI logics in the context of Gabbay's fibring semantics. We show that dovetailing (a special form of fibring) can be adopted as a semantic methodology to combine BDI logics. We develop a set of interaction axioms that can capture static as well as dynamic aspects of the mental states in BDI systems, using Catach's incestual schema G(a,b,c,d). Further we exemplify the constraints required on fibring function to capture the semantics of interactions among modalities. The advantages of having a fibred approach is discussed in the final section.
引用
收藏
页码：198 / 210
页数：13
相关论文
共 50 条
  • [1] Fibring logics with topos semantics
    Coniglio, ME
    Sernadas, AC
    Sernadas, CS
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (04) : 595 - 624
  • [2] On fibring feature logics with concatenation logics
    Francez, N
    [J]. LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, 1999, 1582 : 200 - 211
  • [3] Fibring of logics as a categorial construction
    Sernadas, A
    Sernadas, C
    Caleiro, C
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (02) : 149 - 179
  • [4] Fibring of logics as a categorial construction
    Departamento de Matemática, IST, Av. Rovisco Pais, 1096 Lisboa, Portugal
    [J]. J Logic Comput, 2 (149-179):
  • [5] On Graph-theoretic Fibring of Logics
    Sernadas, Amilcar
    Sernadas, Cristina
    Rasga, Joao
    Coniglio, Marcelo
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1321 - 1357
  • [6] Fibring Logics, Dov M. Gabbay
    Amílcar Sernadas
    [J]. Journal of Logic, Language and Information, 2000, 9 (4) : 511 - 513
  • [7] Fibring Non-Truth-Functional Logics: Completeness Preservation
    C. Caleiro
    W.A. Carnielli
    M.E. Coniglio
    A. Sernadas
    C. Sernadas
    [J]. Journal of Logic, Language and Information, 2003, 12 (2) : 183 - 211
  • [8] On the Relationship Between BDI Logics and Standard Logics of Concurrency
    Klaus Schild
    [J]. Autonomous Agents and Multi-Agent Systems, 2000, 3 : 259 - 283
  • [9] On the relationship between BDI logics and standard logics of concurrency
    Schild, K
    [J]. INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 47 - 61
  • [10] Decision procedures for BDI logics
    Rao, AS
    Georgeff, MP
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 293 - 343
12345