Closing the gap between the stable semantics and extensions of WFS

被引：0
|
作者：
Osorio, M [1 ]
Borja, V [1 ]
Arrazola, J [1 ]
机构：
[1] Univ Las Amer, CENTIA, Puebla 72820, Mexico
来源：
MICAI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE | 2004年 / 2972卷
关键词：
stable semantics; WFS; FOUR; modal logics;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In order to really understand all aspects of logic-based program development of different semantics, it would be useful to have a common solid logical foundation. The stable semantics has one already based on intuitionistic logic I and using the notion of completions. Since S4 expresses I then the stable semantics can be fully represented in S4. We propose the same approach to define extensions of the WFS semantics. We distinguish a particular semantics that we call AS-WFS wich is defined over general propositional theories, can be defined via completions using S4. Interesting AS-WFS seems to satisfy most of the principles of a well behaved semantics. Our general goal is to propose S4 and completions to study the formal behavior of different semantics.
引用
收藏
页码：202 / 211
页数：10
相关论文
共 50 条
  • [41] Closing the gap between popular and luxury cruising
    不详
    NAVAL ARCHITECT, 1999, : 4 - 4
  • [42] CLOSING THE GAP BETWEEN MEDICINE AND PSYCHIATRY - REVISITED
    DORFMAN, W
    PSYCHOSOMATICS, 1981, 22 (02) : 143 - &
  • [43] Closing the Gap between Glia and Neuroblast Proliferation
    Limmer, Stefanie
    Klaembt, Christian
    DEVELOPMENTAL CELL, 2014, 30 (03) : 249 - 250
  • [44] Closing the Awareness Gap Between IT Practice and IT Law
    Mestre, Francois
    Rodriguez-Doncel, Victor
    Casanovas, Pompeu
    KNOWLEDGE OF THE LAW IN THE BIG DATA AGE, 2019, 317 : 41 - 53
  • [45] Closing the Gap between Modelling and Java']Java
    Heidenreich, Florian
    Johannes, Jendrik
    Seifert, Mirko
    Wende, Christian
    SOFTWARE LANGUAGE ENGINEERING, 2010, 5969 : 374 - 383
  • [46] DFM: Closing the GAP between design and manufacturing
    Alexanian, A
    IEEE DESIGN & TEST OF COMPUTERS, 2005, 22 (03): : 204 - 204
  • [47] Closing the gap between knowing and causing the Anthropocene
    Boonstra, Wiebren J.
    AMBIO, 2021, 50 (10) : 1767 - 1773
  • [48] Closing the gap between software modelllng and code
    Wagner, F
    Wagner, T
    Wolstenholme, P
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 52 - 59
  • [49] CLOSING THE GAP BETWEEN SIMULATIONS FOR TRAINING AND WARGAMING
    Erickson, Jeffrey M.
    Heath, Garrett D.
    2019 WINTER SIMULATION CONFERENCE (WSC), 2019, : 2515 - 2523
  • [50] CLOSING GAP BETWEEN MEDICAL RESEARCHER AND LITERATURE
    BARBER, AS
    BARRACLOUGH, ED
    GRAY, WA
    BMJ-BRITISH MEDICAL JOURNAL, 1972, 1 (5796): : 368 - +
12345