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 条
  • [21] Design knowledge representation in Prolog/Rex
    Vranes, S
    Stanojevic, M
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1999, 12 (02) : 221 - 228
  • [22] Knowledge engineering for business rules in PROLOG
    Ostermayer, Ludwig
    Seipel, Dietmar
    26th Workshop on Logic Programming, WLP 2012 - Proceedings, 2012, : 61 - 73
  • [23] Representing knowledge of accessibility
    Zhukov, SY
    PROGRAMMING AND COMPUTER SOFTWARE, 1999, 25 (03) : 122 - 130
  • [24] Formalisms of Representing Knowledge
    Patel, Archana
    Jain, Sarika
    6TH INTERNATIONAL CONFERENCE ON SMART COMPUTING AND COMMUNICATIONS, 2018, 125 : 542 - 549
  • [25] Representing geometrical knowledge
    Anderson, JADW
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES B-BIOLOGICAL SCIENCES, 1997, 352 (1358) : 1129 - 1139
  • [26] Representing Knowledge Nonlinguistically
    Marzano, Robert J.
    EDUCATIONAL LEADERSHIP, 2010, 67 (08) : 84 - 86
  • [27] THE MECHANICS OF REPRESENTING KNOWLEDGE
    SIMMONS, DB
    ESCAMILLA, TD
    PROCEEDINGS OF THE HUMAN FACTORS SOCIETY 33RD ANNUAL MEETING, VOL 1: PERSPECTIVES, 1989, : 361 - 365
  • [28] LOGIC AND KNOWLEDGE REPRESENTATION IN PROLOG.
    Butrick, Richard
    Dr. Dobb's journal of software tools for the professional programmer, 1987, 12 (07): : 30 - 32
  • [29] A PROLOG EXTENSION FOR HANDLING NEGATIVE KNOWLEDGE
    AIDA, H
    TANAKA, H
    MOTOOKA, T
    NEW GENERATION COMPUTING, 1983, 1 (01) : 87 - 91
  • [30] A MODULARIZATION APPROACH FOR PROLOG KNOWLEDGE BASES
    MOILY, JP
    MURRAY, TJ
    INFORMATION SYSTEMS, 1993, 18 (06) : 405 - 417
12345