Using the KGP Model of Agency to Design Applications

Using the KGP Model of Agency to Design Applications

This paper is a tutorial describing the main features of the KGP (Knowledge-Goals-Plan) model of agency and giving user guidance on how the model can be used to develop applications. The KGP model is based on computational logic. It consists of an abstract component, a computational component and an...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Sadri, Fariba
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Artificial intelligence
Computer science
control theory
systems
Exact sciences and technology
Logical, boolean and switching functions
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 185
container_issue
container_start_page 165
container_title
container_volume
creator Sadri, Fariba
description This paper is a tutorial describing the main features of the KGP (Knowledge-Goals-Plan) model of agency and giving user guidance on how the model can be used to develop applications. The KGP model is based on computational logic. It consists of an abstract component, a computational component and an implementation. This paper concentrates on the abstract component, which consists of formal specifications of a number of different modules, including the knowledge bases, capabilities, transitions and control. For each of these we summarise what is provided by the model, and through the platform implementing the model, and what is left to the users to specify according to the requirements of the applications for which they wish to use the KGP model to design agents.
doi_str_mv 10.1007/11750734_10
format Conference Proceeding
fullrecord <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_19687548</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19687548</sourcerecordid><originalsourceid>FETCH-LOGICAL-p219t-2d51603c4f882a018ec3771825b3f529815a0557efece48e401785fd509602a23</originalsourceid><addsrcrecordid>eNpNkD1PwzAURc2XRCmd-ANeGBgC7_nZsT1WBQqiCAY6R65rh0BIojhL_z1BBYm73OEe3eEwdoFwjQD6BlEr0CQLhAM2s9qQkkBkrdaHbII5YkYk7RE7-xtydcwmQCAyqyWdsllKHzCGMDegJ0yuU9WUfHgP_Gn5yp_bbah5G_m8DI3f8aHltyFVZcPnXVdX3g1V26RzdhJdncLst6dsfX_3tnjIVi_Lx8V8lXUC7ZCJrcIcyMtojHCAJnjSGo1QG4pKWIPKgVI6xOCDNEECaqPiVoHNQThBU3a5_-1c8q6OvWt8lYqur75cvyvQ5kYraUbuas-lcWrK0Bebtv1Mo6XiR1vxTxt9A-zYVnU</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Using the KGP Model of Agency to Design Applications</title><source>Springer Books</source><creator>Sadri, Fariba</creator><contributor>Toni, Francesca ; Torroni, Paolo</contributor><creatorcontrib>Sadri, Fariba ; Toni, Francesca ; Torroni, Paolo</creatorcontrib><description>This paper is a tutorial describing the main features of the KGP (Knowledge-Goals-Plan) model of agency and giving user guidance on how the model can be used to develop applications. The KGP model is based on computational logic. It consists of an abstract component, a computational component and an implementation. This paper concentrates on the abstract component, which consists of formal specifications of a number of different modules, including the knowledge bases, capabilities, transitions and control. For each of these we summarise what is provided by the model, and through the platform implementing the model, and what is left to the users to specify according to the requirements of the applications for which they wish to use the KGP model to design agents.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540339965</identifier><identifier>ISBN: 9783540339960</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540339977</identifier><identifier>EISBN: 3540339973</identifier><identifier>DOI: 10.1007/11750734_10</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Artificial intelligence ; Computer science; control theory; systems ; Exact sciences and technology ; Logical, boolean and switching functions ; Theoretical computing</subject><ispartof>Computational Logic in Multi-Agent Systems, 2006, p.165-185</ispartof><rights>Springer-Verlag Berlin Heidelberg 2006</rights><rights>2007 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11750734_10$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11750734_10$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,779,780,784,789,790,793,4050,4051,27925,38255,41442,42511</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=19687548$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Toni, Francesca</contributor><contributor>Torroni, Paolo</contributor><creatorcontrib>Sadri, Fariba</creatorcontrib><title>Using the KGP Model of Agency to Design Applications</title><title>Computational Logic in Multi-Agent Systems</title><description>This paper is a tutorial describing the main features of the KGP (Knowledge-Goals-Plan) model of agency and giving user guidance on how the model can be used to develop applications. The KGP model is based on computational logic. It consists of an abstract component, a computational component and an implementation. This paper concentrates on the abstract component, which consists of formal specifications of a number of different modules, including the knowledge bases, capabilities, transitions and control. For each of these we summarise what is provided by the model, and through the platform implementing the model, and what is left to the users to specify according to the requirements of the applications for which they wish to use the KGP model to design agents.</description><subject>Applied sciences</subject><subject>Artificial intelligence</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Logical, boolean and switching functions</subject><subject>Theoretical computing</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540339965</isbn><isbn>9783540339960</isbn><isbn>9783540339977</isbn><isbn>3540339973</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNpNkD1PwzAURc2XRCmd-ANeGBgC7_nZsT1WBQqiCAY6R65rh0BIojhL_z1BBYm73OEe3eEwdoFwjQD6BlEr0CQLhAM2s9qQkkBkrdaHbII5YkYk7RE7-xtydcwmQCAyqyWdsllKHzCGMDegJ0yuU9WUfHgP_Gn5yp_bbah5G_m8DI3f8aHltyFVZcPnXVdX3g1V26RzdhJdncLst6dsfX_3tnjIVi_Lx8V8lXUC7ZCJrcIcyMtojHCAJnjSGo1QG4pKWIPKgVI6xOCDNEECaqPiVoHNQThBU3a5_-1c8q6OvWt8lYqur75cvyvQ5kYraUbuas-lcWrK0Bebtv1Mo6XiR1vxTxt9A-zYVnU</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Sadri, Fariba</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2006</creationdate><title>Using the KGP Model of Agency to Design Applications</title><author>Sadri, Fariba</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p219t-2d51603c4f882a018ec3771825b3f529815a0557efece48e401785fd509602a23</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Applied sciences</topic><topic>Artificial intelligence</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Logical, boolean and switching functions</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Sadri, Fariba</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Sadri, Fariba</au><au>Toni, Francesca</au><au>Torroni, Paolo</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Using the KGP Model of Agency to Design Applications</atitle><btitle>Computational Logic in Multi-Agent Systems</btitle><date>2006</date><risdate>2006</risdate><spage>165</spage><epage>185</epage><pages>165-185</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540339965</isbn><isbn>9783540339960</isbn><eisbn>9783540339977</eisbn><eisbn>3540339973</eisbn><abstract>This paper is a tutorial describing the main features of the KGP (Knowledge-Goals-Plan) model of agency and giving user guidance on how the model can be used to develop applications. The KGP model is based on computational logic. It consists of an abstract component, a computational component and an implementation. This paper concentrates on the abstract component, which consists of formal specifications of a number of different modules, including the knowledge bases, capabilities, transitions and control. For each of these we summarise what is provided by the model, and through the platform implementing the model, and what is left to the users to specify according to the requirements of the applications for which they wish to use the KGP model to design agents.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11750734_10</doi><tpages>21</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Computational Logic in Multi-Agent Systems, 2006, p.165-185
issn 0302-9743
1611-3349
language eng
recordid cdi_pascalfrancis_primary_19687548
source Springer Books
subjects Applied sciences
Artificial intelligence
Computer science
control theory
systems
Exact sciences and technology
Logical, boolean and switching functions
Theoretical computing
title Using the KGP Model of Agency to Design Applications
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T19%3A16%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Using%20the%20KGP%20Model%20of%20Agency%20to%20Design%20Applications&rft.btitle=Computational%20Logic%20in%20Multi-Agent%20Systems&rft.au=Sadri,%20Fariba&rft.date=2006&rft.spage=165&rft.epage=185&rft.pages=165-185&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540339965&rft.isbn_list=9783540339960&rft_id=info:doi/10.1007/11750734_10&rft_dat=%3Cpascalfrancis_sprin%3E19687548%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540339977&rft.eisbn_list=3540339973&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true