Representing knowledge in A-prolog

被引：0
|
作者：
Gelfond, Michael [1 ]
机构：
[1] Department of Computer Science, Texas Tech University, Lubbock, TX 79409, United States
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2002年 / 2408卷 / PART2期
关键词：
Logic programming - PROLOG (programming language) - Computer circuits;
D O I：
10.1007/3-540-45632-5_16
中图分类号：
学科分类号：
摘要：
In this paper, we review some recent work on declarative logic programming languages based on stable models/answer sets semantics of logic programs. These languages, gathered together under the name of A-Prolog, can be used to represent various types of knowledge about the world. By way of example we demonstrate how the corresponding representations together with inference mechanisms associated with A-Prolog can be used to solve various programming tasks. © Springer-Verlag Berlin Heidelberg 2002.
引用
收藏
页码：413 / 451
相关论文
共 50 条
  • [31] PSN - A PROLOG DECLARATIVE MODEL OF CONCEPTUAL KNOWLEDGE
    GREENBAUM, J
    REVLIN, R
    BEHAVIOR RESEARCH METHODS INSTRUMENTS & COMPUTERS, 1989, 21 (01): : 15 - 23
  • [32] A new logical view of knowledge manipulation with PROLOG
    Jacquenet, F
    Foucherot, I
    ANZIIS 96 - 1996 AUSTRALIAN NEW ZEALAND CONFERENCE ON INTELLIGENT INFORMATION SYSTEMS, PROCEEDINGS, 1996, : 2 - 5
  • [33] A PROLOG KNOWLEDGE BASE FOR DRUG-INTERACTIONS
    GARDNER, D
    RIZACK, M
    COMPUTERS AND BIOMEDICAL RESEARCH, 1990, 23 (02): : 139 - 152
  • [34] COMMERCIAL APPLICATIONS OF LARGE PROLOG KNOWLEDGE BASES
    MOSS, C
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 32 - 40
  • [35] Representing knowledge gaps effectively
    Belasco, A
    Curtis, J
    Kahlert, RC
    Klein, C
    Mayans, C
    Reagan, P
    PRACTICAL ASPECTS OF KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2004, 3336 : 159 - 164
  • [36] A KNOWLEDGE BASE APPROACH TO LEARNING TO PROGRAM IN PROLOG
    KAMINSKI, DM
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 602 : 332 - 342
  • [37] Representing expressed design knowledge
    Ursu, MF
    Hammond, P
    ASSOCIATION FOR INFORMATION SYSTEMS PROCEEDINGS OF THE AMERICAS CONFERENCE ON INFORMATION SYSTEMS, 1998, : 393 - 395
  • [38] Representing Software Engineering Knowledge
    Mylopoulos J.
    Borgida A.
    Yu E.
    Automated Software Engineering, 1997, 4 (3) : 291 - 317
  • [39] REPRESENTING OPERATIONAL PLANNING KNOWLEDGE
    LOBERG, G
    POWELL, GM
    OREFICE, A
    ROBERTS, JD
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1986, 16 (06): : 774 - 787
  • [40] Representing and Retrieving Knowledge Artifacts
    Weber, Rosina
    Gunawardena, Sid
    Abraham, George
    PRACTICAL ASPECTS OF KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2008, 5345 : 86 - 97
12345