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 条
  • [1] Representing knowledge in A-Prolog
    Gelfond, M
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2408 : 413 - 451
  • [2] Logic programming and knowledge representation - The A-Prolog perspective
    Gelfond, M
    Leone, N
    ARTIFICIAL INTELLIGENCE, 2002, 138 (1-2) : 3 - 38
  • [3] Diagnostic reasoning with A-Prolog
    Balduccini, M
    Gelfond, M
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 425 - 461
  • [4] Debugging in A-prolog: A logical approach
    Osorio, M
    Navarro, JA
    Arrazola, J
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 482 - 483
  • [5] Modeling evacuation planning using A-prolog
    Zepeda, C
    Osorio, M
    Sol, D
    15TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS, PROCEEDINGS, 2005, : 292 - 297
  • [6] A-prolog based service discovery in MAS
    Liu, LY
    Cao, YD
    Hu, JJ
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1, 2004, : 324 - 328
  • [7] A-Prolog based capability matching mechanism in MAS
    Liu, L.-Y., 1600, CIMS (09):
  • [8] A-Prolog with CR-rules and ordered disjunction
    Balduccini, M
    Mellarkod, V
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON INTELLIGENT SENSING AND INFORMATION PROCESSING, 2004, : 1 - 6
  • [9] Answering Questions from Natural Language Using A-Prolog
    Todorova, Yana
    LOGIC PROGRAMMING, 2009, 5649 : 544 - 546
  • [10] REPRESENTING DOMAIN-STRUCTURE OF MANY-SORTED PROLOG KNOWLEDGE BASES
    GUARINO, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 306 : 168 - 183
12345