A-prolog based service discovery in MAS

被引：0
|
作者：
Liu, LY [1 ]
Cao, YD [1 ]
Hu, JJ [1 ]
机构：
[1] Beijing Inst Technol, Dept Comp Sci & Engn, Beijing 100081, Peoples R China
来源：
PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1 | 2004年
关键词：
D O I：
10.1109/CACWD.2004.1349040
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In Multi-agent Systems, middle agents are used to perform service discovery for cooperation. We proposed an A-Prolog based capability matchmaking for service discovery, and through plan checking to determine if an agent has the ability to achieve a given goal.
引用
收藏
页码：324 / 328
页数：5
相关论文
共 50 条
  • [1] A-Prolog based capability matching mechanism in MAS
    Liu, L.-Y., 1600, CIMS (09):
  • [2] Diagnostic reasoning with A-Prolog
    Balduccini, M
    Gelfond, M
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 425 - 461
  • [3] Representing knowledge in A-prolog
    Gelfond, Michael
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2408 (PART2): : 413 - 451
  • [4] 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
  • [5] Debugging in A-prolog: A logical approach
    Osorio, M
    Navarro, JA
    Arrazola, J
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 482 - 483
  • [6] Modeling evacuation planning using A-prolog
    Zepeda, C
    Osorio, M
    Sol, D
    15TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS, PROCEEDINGS, 2005, : 292 - 297
  • [7] Logic programming and knowledge representation - The A-Prolog perspective
    Gelfond, M
    Leone, N
    ARTIFICIAL INTELLIGENCE, 2002, 138 (1-2) : 3 - 38
  • [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] Building business process description and reasoning meta-model Mbp in A-Prolog
    Wan, Hai
    Zheng, Yunxiang
    Chen, Yin
    Li, Lei
    SOFTWARE PROCESS CHANGE, 2006, 3966 : 195 - 203
12345