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

^*Corresponding author for this work

School of Computer Science and Technology

Beijing Institute of Technology

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	136-139
Number of pages	4
Journal	Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS
Volume	9
Issue number	SUPPL.
Publication status	Published - Dec 2003

Keywords

A-Prolog
Logic programming
Nonmonotonic reasoning
Planning

Cite this

@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 = "Computer Integrated Manufacturing Systems",

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 - http://www.scopus.com/inward/record.url?scp=1642618311&partnerID=8YFLogxK

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

Abstract

Keywords

Other files and links

Fingerprint

Cite this