TY - GEN
T1 - Semantic representations of agent plans and planning problem domains
AU - Freitas, Artur
AU - Schmidt, Daniela
AU - Pannison, Alison R.
AU - Meneguzzi, Felipe
AU - Vieira, Renata
AU - Bordini, Rafael H.
N1 - © 2014 Springer International Publishing Switzerland
PY - 2014
Y1 - 2014
N2 - Integrating knowledge representation approaches with agent programming and automated planning is still an open research challenge. To explore the combination of those techniques, we present a semantic model of planning domains that can be converted to both agent programming plans as well as planning problem definitions. Our approach allows the representation of agent plans using ontologies, enabling the integration of different formalisms since the knowledge in the ontology can be reused by several systems and applications. Ontologies enable the use of semantic reasoning in planning and agent systems, and such semantic web technologies are significant current research trends. This paper presents our planning ontology, exemplify its use with an instantiation, and shows how to translate between ontology, agent code, and planning specifications. Algorithms to convert between these formalisms are shown, and we also discuss future directions towards the integration of semantic representation, automated planning, and agent programming.
AB - Integrating knowledge representation approaches with agent programming and automated planning is still an open research challenge. To explore the combination of those techniques, we present a semantic model of planning domains that can be converted to both agent programming plans as well as planning problem definitions. Our approach allows the representation of agent plans using ontologies, enabling the integration of different formalisms since the knowledge in the ontology can be reused by several systems and applications. Ontologies enable the use of semantic reasoning in planning and agent systems, and such semantic web technologies are significant current research trends. This paper presents our planning ontology, exemplify its use with an instantiation, and shows how to translate between ontology, agent code, and planning specifications. Algorithms to convert between these formalisms are shown, and we also discuss future directions towards the integration of semantic representation, automated planning, and agent programming.
U2 - 10.1007/978-3-319-14484-9_18
DO - 10.1007/978-3-319-14484-9_18
M3 - Published conference contribution
SN - 978-3-319-14483-2
VL - 8758
T3 - Lecture Notes in Computer Science
SP - 351
EP - 366
BT - International Workshop on Engineering Multi-Agent Systems
PB - Springer
ER -