Reasoning about conversation protocols in a logic-based agent language (2003)
| Venue: | in: AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, eds. A. Cappelli and F. Turini, Lecture Notes in Computer Science |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Baldoni03reasoningabout,
author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti},
title = {Reasoning about conversation protocols in a logic-based agent language},
booktitle = {in: AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, eds. A. Cappelli and F. Turini, Lecture Notes in Computer Science},
year = {2003},
pages = {300--311},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We present an approach to reasoning about conversations within the framework of a logic-based agent language. Our agent theory isbasedonamodallogicofactionsandbeliefsandpermitstherepresentation of communicative acts and conversation protocols, allowing agents to reason about them before their execution. The work is framed in a world wide web context, in which we show how reasoning about the interaction with web service providers can be exploited for personalizing the service fruition. 1
