Agent Design Consistency Checking via Planning

IJCAI, pp. 458-464, 2017.

Cited by: 2|Bibtex|Views5
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

In this work we present a novel approach to check the consistency of agent designs (prior to any implementation) with respect to the requirements specifications via automated planning. This checking is essentially a search problem which makes planning technology an appropriate solution. We focus our work on BDI agent systems and the Prome...More

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments