• Login
    Ver ítem 
    •   RID-UNS
    • Repositorio Institucional Digital de la Biblioteca Central "Profesor Nicolás Matijevic" de la Universidad Nacional del Sur
    • Tesis de postgrado
    • Ver ítem
    •   RID-UNS
    • Repositorio Institucional Digital de la Biblioteca Central "Profesor Nicolás Matijevic" de la Universidad Nacional del Sur
    • Tesis de postgrado
    • Ver ítem
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Formalismos de argumentación en especificación de agentes autónomos

    Thumbnail
    Ver/
    Tesis de Doctor en Ciencias de la Computación - Texto completo (4.643Mb)
    Fecha
    2012
    Autor
    Gottifredi, Sebastian
    Director
    García, Alejandro Javier
    Colaborador
    Simari, Guillermo R.
    Palabras clave
    Ciencias de la computación; Inteligencia artificial; Argumentación; Agentes autónomos
    Metadatos
    Mostrar el registro completo del ítem
    Resumen
    En esta tesis se propone un lenguaje de programación de agentes cognitivos racionales y formalismos de argumentación basados en la noción de tipo de argumento. Estos formalis-mos argumentativos extenderán a aproximaciones existentes en la literatura de manera tal que permitan representar argu-mentos tipados y definir relaciones de conflicto, herencia y preferencia entre los tipos de argumento. En particular, el primero de estos formalismos se basará en los Marcos Argu-mentativos Abstractos, mientras que el segundo constituirá una extensión de la Programación en Lógica Rebatible (DeLP). El lenguaje de programación de agentes propuesto en esta tesis permitirá la especificación declarativa de agentes a tra-vés de sus componentes mentales, y estará provisto de una semántica formal. A diferencia de otros lenguajes de la litera-tura, el lenguaje propuesto también permitirá especificar dife-rentes clases de metas y representar creencias y metas que pueden estar conflicto. Para tal fin, empleará los formalismos argumentativos desarrollados en esta tesis, en particular, utili-zando los tipos de argumento para identificar los diferentes componentes mentales de un agente. Por lo tanto, un agente razonará con argumentos para sus percepciones, creencias, y las diferentes clases de metas que puede especificar para decidir, ante la presencia de conflictos, qué información preva-lecerá. Los formalismos argumentativos presentados en esta tesis propondrán un mecanismo novedoso y general para modelar sistemas con múltiples tipos. De esta manera, no sólo serán adecuados para modelar los tipos de argumento en el lenguaje de programación de agentes propuesto, sino que podrán ser utilizados para modelar tipos de argumento en otros dominios como diálogos argumentativos, sistemas con múltiples fuentes de información, o sistemas con información basada en valores. En esta tesis se abordará la definición, el análisis y las propiedades de estos formalismos argumen-tativos, así como también del lenguaje de programación de agentes propuesto.
     
    This thesis proposes a programming language for rational congnitive agents, along with argumentation formalisms based on the notion of argument type. These argumentation formalisms will extend already existing approaches in order to represent typed arguments and define conflict, inheritance and preference relations among argument types. In particular, the rst formalism will be based on Abstract Argumentation Frameworks, whereas the second will be an extension of Defeasible Logic Programming (DeLP). The proposed agent programming language will allow for a declarative specification of agents through their mental components, and will be provi-ded of a formal semantics. Unlike other approaches proposed in the literature, this programming language will be able to consider different goal types and conflicting beliefs and goals. To accomplish this, it will use the argumentation formalisms developed in this thesis, particularly by identifying an agents s mental components through argument types. Therefore, an agent will reason with arguments for its perceptions, beliefs and goals to decide, in the presence of conflicts, which infor-mation prevails.The argumentation formalisms developed in this thesis will constitute a novel and general mechanism for multi-typed systems modeling. Thus, they will be appropriate to model argument types in the proposed agent programming language, but they could also be used in other domains such as argumentation dialogues, multi-source information systems, and value-based information systems. This thesis will address the definition, analysis and properties of these argumentation formalisms and the proposed agent programming language.
     
    URI
    http://repositoriodigital.uns.edu.ar/handle/123456789/2250
    Colecciones
    • Tesis de postgrado [1435]

    DSpace software copyright © 2002-2016  DuraSpace
    Contacto | Sugerencias | Políticas del Repositorio
    Theme by 
    Atmire NV
     

     

    Listar

    Todo RID-UNSComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasEsta colecciónPor fecha de publicaciónAutoresTítulosMaterias

    Mi cuenta

    Acceder

    DSpace software copyright © 2002-2016  DuraSpace
    Contacto | Sugerencias | Políticas del Repositorio
    Theme by 
    Atmire NV