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