Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorMancarella, P.en
dc.contributor.authorSadri, F.en
dc.contributor.authorStathis, Kostasen
dc.contributor.authorToni, F.en
dc.contributor.editorde Mantaras R.L.en
dc.contributor.editorSaitta L.en
dc.creatorKakas, Antonis C.en
dc.creatorMancarella, P.en
dc.creatorSadri, F.en
dc.creatorStathis, Kostasen
dc.creatorToni, F.en
dc.description.abstractThis paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture with a highly modular structure that synthesises various reasoning and sensing capabilities of the agent in an open and dynamic environment. The novel features of the model include: its innovative use of Computational Logic (CL) in a way that facilitates both the formal analysis of the model and its computational realisability directly from the high-level specification of the agents (a first prototype for the development of KGP agents exists, based upon a correct computational counterpart of the model), the modular separation of concerns and fiexibility afforded by the model in designing heterogeneous agents and in developing independently the various components of an agent, and the declarative agent control provided through a context-sensitive cycle CL theory component that regulates the agent's operational behaviour, according to the current circumstances of operation, thus breaking away from the conventional one-size-fits-all control of operation.en
dc.source16th European Conference on Artificial Intelligence, ECAI 2004en
dc.subjectArtificial intelligenceen
dc.subjectComputation theoryen
dc.subjectIntelligent systemsen
dc.subjectLogic programmingen
dc.subjectSeparation of concernsen
dc.subjectDynamic environmentsen
dc.subjectComputational logicen
dc.subjectAgent architecturesen
dc.subjectHeterogeneous agentsen
dc.subjectDeclarative agent controlen
dc.subjectComputational realisabilityen
dc.subjectDeep neural networksen
dc.subjectHigh level specificationen
dc.titleThe KGP model of agencyen
dc.description.endingpage32 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.description.notesConference code: 126946</p>en
dc.source.abbreviationFront. Artif. Intell. Appl.en
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record