Skip header navigation

University of Stirling

×

Conference Proceeding

The KGP model of agency for global computing: Computational model and prototype implementation

Citation
Bracciali A, Demetriou N, Endriss U, Kakas A, Lu W, Mancarella P, Sadri F, Stathis K, Terreni G & Toni F (2005) The KGP model of agency for global computing: Computational model and prototype implementation. In: Priami C & Quaglia P (eds.) Global Computing. Lecture Notes in Computer Science, 3267. IST/FET International Workshop, GC 2004, Rovereto, Italy, 09.03.2004-12.03.2004. Berlin, Heidelberg: Springer, pp. 340-367. http://www.informatik.uni-trier.de/~ley/db/conf/gc/gc2004.html; https://doi.org/10.1007/978-3-540-31794-4_18

Abstract
We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is seen as an agent developed using Computational Logic tools and techniques. We model a KGP agent by relying upon a collection of capabilities, which are then used to define a collection of transitions, to be used within logically specified, context sensitive control theories, which we call cycle theories. In close relationship to the declarative model, the computational model mirrors the logical architecture by specifying appropriate computational counterparts for the capabilities and using these to give the computational models of the transitions. These computational models and the one specified for the cycle theories are all based on, and are significant extensions of, existing proof procedures for abductive logic programming and logic programming with priorities. We also discuss a prototype implementation of the overall computational model for KGP.

StatusPublished
Author(s)Bracciali, Andrea; Demetriou, Neophytos; Endriss, Ulle; Kakas, Antonis; Lu, Wenjin; Mancarella, Paolo; Sadri, Fariba; Stathis, Kostas; Terreni, Giacomo; Toni, Francesca
Title of seriesLecture Notes in Computer Science
Number in series3267
Publication date31/12/2005
Related URLshttp://www.informatik.uni-trier.de/…f/gc/gc2004.html
PublisherSpringer
Publisher URLhttp://www.informatik.uni-trier.de/…f/gc/gc2004.html
Place of publicationBerlin, Heidelberg
ISSN of series0302-9743
ISBN978-3-540-24101-0
ConferenceIST/FET International Workshop, GC 2004
Conference locationRovereto, Italy
Dates
Scroll back to the top