A-Prolog based capability matching mechanism in MAS

Li Yun Liu; Yuan Da Cao; Jing Jing Hu

A-Prolog based capability matching mechanism in MAS

Li Yun Liu^*
, Yuan Da Cao
, Jing Jing Hu

^*此作品的通讯作者

计算机学院

Beijing Institute of Technology

科研成果: 期刊稿件 › 文章 › 同行评审

摘要

An answer set programming (ASP) based capability-matching mechanism for service discovery is proposed. The plan checking mechanism is employed to determine whether an agent has the ability to achieve a given goal. A middle-agent employing such matching mechanism is implemented.

源语言	英语
页（从-至）	136-139
页数	4
期刊	Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS
卷	9
期	SUPPL.
出版状态	已出版 - 12月 2003

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{b7934e0a49dd4952a78560772c2ce14a,

title = "A-Prolog based capability matching mechanism in MAS",

abstract = "An answer set programming (ASP) based capability-matching mechanism for service discovery is proposed. The plan checking mechanism is employed to determine whether an agent has the ability to achieve a given goal. A middle-agent employing such matching mechanism is implemented.",

keywords = "A-Prolog, Logic programming, Nonmonotonic reasoning, Planning",

author = "Liu, \{Li Yun\} and Cao, \{Yuan Da\} and Hu, \{Jing Jing\}",

year = "2003",

month = dec,

language = "English",

volume = "9",

pages = "136--139",

journal = "Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS",

issn = "1006-5911",

publisher = "CIMS",

number = "SUPPL.",

}

TY - JOUR

T1 - A-Prolog based capability matching mechanism in MAS

AU - Liu, Li Yun

AU - Cao, Yuan Da

AU - Hu, Jing Jing

PY - 2003/12

Y1 - 2003/12

N2 - An answer set programming (ASP) based capability-matching mechanism for service discovery is proposed. The plan checking mechanism is employed to determine whether an agent has the ability to achieve a given goal. A middle-agent employing such matching mechanism is implemented.

AB - An answer set programming (ASP) based capability-matching mechanism for service discovery is proposed. The plan checking mechanism is employed to determine whether an agent has the ability to achieve a given goal. A middle-agent employing such matching mechanism is implemented.

KW - A-Prolog

KW - Logic programming

KW - Nonmonotonic reasoning

KW - Planning

UR - https://www.scopus.com/pages/publications/1642618311

M3 - Article

AN - SCOPUS:1642618311

SN - 1006-5911

VL - 9

SP - 136

EP - 139

JO - Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS

JF - Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS

IS - SUPPL.

ER -

A-Prolog based capability matching mechanism in MAS

摘要

其它文件与链接

学术指纹

引用此