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 条

[1] Closing the gap between analog and digital
Saab, K
Ben Hamida, N
Kaminska, B
37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 774 - 779
[2] Closing the Gap Between School and College
Odom, Charles L.
OCCUPATIONS-THE VOCATIONAL GUIDANCE MAGAZINE, 1941, 20 (03): : 194 - 197
[3] Closing the gap between genotype and phenotype
Peter K Gregersen
Nature Genetics, 2009, 41 : 958 - 959
[4] Closing the gap between research and practice
Tang, WN
BRITISH JOURNAL OF PSYCHIATRY, 1998, 172 : 188 - 188
[5] CLOSING THE GAP BETWEEN SCIENCE AND HUMANITIES
TAYLOR, D
MYERS, M
AMERICAN BIOLOGY TEACHER, 1994, 56 (08): : 456 - 459
[6] CLOSING THE GAP BETWEEN GPS AND HOSPITALS
ROLLS, RL
BRITISH MEDICAL JOURNAL, 1980, 280 (6214): : 650 - 650
[7] Closing the gap between strategy and execution
Sull, Donald N.
MIT SLOAN MANAGEMENT REVIEW, 2007, 48 (04) : 30 - +
[8] Closing the gap between genotype and phenotype
Gregersen, Peter K.
NATURE GENETICS, 2009, 41 (09) : 958 - 959
[9] CLOSING THE GAP BETWEEN LEARNING AND INSTRUCTION
NUNAN, D
TESOL QUARTERLY, 1995, 29 (01) : 133 - 158
[10] Closing the gap between Antony and Evagrius
O'Laughlin, M
ORIGENIANA SEPTIMA: ORIGEN IN ANALYSES OF THE FOURTH CENTURY, 1999, (137): : 345 - 354

← 1 2 3 4 5 →