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 条
  • [41] Elementary principles for representing knowledge
    Jaenecke, P
    KNOWLEDGE ORGANIZATION, 1996, 23 (02): : 88 - 102
  • [42] REPRESENTING KNOWLEDGE OF THE VISUAL WORLD
    HAVENS, W
    MACKWORTH, A
    COMPUTER, 1983, 16 (10) : 90 - 96
  • [43] Representing knowledge about norms
    Kayser, D
    Nouioua, F
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 363 - 367
  • [44] Representing the knowledge of turning machines
    Shin, HS
    Williamson, T
    EPISTEMIC LOGIC AND THE THEORY OF GAMES AND DECISIONS, 1997, 20 : 169 - 190
  • [45] Desiderata for Representing Anatomical Knowledge
    Baud, Robert H.
    Lovis, Christian
    Fabry, Paul
    Geissbuhler, Antoine
    CONNECTING MEDICAL INFORMATICS AND BIO-INFORMATICS, 2005, 116 : 653 - 658
  • [46] REPRESENTING KNOWLEDGE AND EVIDENCE FOR DECISION
    KYBURG, HE
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 286 : 30 - 40
  • [47] FramerD: Representing knowledge in the large
    Haase, K
    IBM SYSTEMS JOURNAL, 1996, 35 (3-4) : 381 - 397
  • [48] Representing strategic design knowledge
    Clibbon, K
    Edmonds, E
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1996, 9 (04) : 349 - 357
  • [49] Representing 'just invalid' knowledge
    Debenham, J
    ADVANCED TOPICS IN ARTIFICIAL INTELLIGENCE, 1999, 1747 : 84 - 95
  • [50] Representing and coordinating ethnobiological knowledge
    Weiskopf, Daniel A.
    STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE PART C-STUDIES IN HISTORY AND PHILOSOPHY OF BIOLOGICAL AND BIOMEDICAL SCIENCES, 2020, 84
12345