Coherence-based computational agency

• Autores: Sindhu Joseph
• Directores de la Tesis: Josep Puyol Gruart (dir. tes.) , Carles Sierra García (dir. tes.) , Wernher Marco Schorlemmer (dir. tes.)
• Lectura: En la Universitat Autònoma de Barcelona ( España ) en 2010
• Idioma: inglés
• Tribunal Calificador de la Tesis: Rosaria Conte (presid.) , Pablo Cayetano Noriega Blanco-Vigil (secret.) , Núria Agell Jané (voc.)
• Enlaces
  • Tesis en acceso abierto en: TESEO
• Resumen

  • En la present tesi es tracta el problema de la introducció de flexibilitat i adaptabilitat en el disseny d'agents autònoms en el context d'agents situats en entorns regulats, Es discuteix el fet que les arquitectures cognitives, com les basades en la teoria BDI quedin curtes per realitzar el raonament autònom dels agents. Una de les raons importants, és la carència de motivacions clares per escollir un objectiu o una acció a perseguir. En comptes de la filosofia dirigida per les intencions en una arquitectura BDI, necessitem un formalisme que seleccioni dinàmicament les metes i les intencions considerades com a restriccions entre els elements cognitius. Per tant, l'element central en aquesta tesi, es refereix a la necessitat que les arquitectures d'agent incorporin un criteri de motivació que pugui ser calculat en termes dels seus elements cognitius, mentre preservi les característiques formals que fan actractives les arquitectures BDI. Aquesta tesi proposa la teoria cognitiva de la coherència com un criteri de motivació per tal que els agents raonin i prenguin decisions autònomes.

    Ens basem en la teoria cognitiva de la coherència proposada per en Paul Thagard. El terme coherència es defineix com la qualitat o l'estat ser coherent, especialment com a relació entre les parts que sigui lògica, ordenada i estèticament compatible. Un sistema coherent és interdependent, cadascun dels seus fragments d'informació contribueix en la coherència. Considerem la proposta de la coherència d'en Thagard per maximitzar la satisfacció de les restriccions entre els fragments d'informació i, la utilitzem, en el disseny d'agents autònoms. Aquesta tesis avança l'estat de la qüestió proposant una formalització computacional de la coherència que inclou un mecanisme per calcular el seu valor entre parells de fragments d'informació formalitzant una coherència deductiva.

    La part central de la tesis proposa una arquitectura basada en la coherència de l'agent que amplia una arquitectura BDI d'acord amb el concepte de coherència. Aquesta arquitectura, preservant les característiques formals de les arquitectures basades en BDI, incorpora coherència com a impuls motivacional central i raona sota incertesa. D'acord amb l'evaluació experimental, demostrem la viabilitat dels agents dirigits per la coherència. S'amplia més enllà l'arquitectura basada en la coherència per a agents normatius, per tal de raonar sobre les normes i la seva interacció en un entorn normatiu. D'aquesta manera, es demostra que els agents normatius dirigits per la coherència es poden utilitzar en l'evolució del comportament dels agents i en l'evolució dels continguts del sistema regulador. Finalment, la coherència com a criteri de motivació es contrasta amb altres teories motivacionals d'agència.