Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud

Se estudiaron alguna propiedades de interés teórico y computacional de la lógica modal, útiles para el desarrollo de sistemas (multiagentes). Se trabajó sobre sistemas matemáticos semánticos de tipo Kripke y Neighbourhood. También se trabajaron sistemas formales deductivos para lógicas modales norma...

Descripción completa

Detalles Bibliográficos
Autor principal: Carbonari, Francisco Eduardo Daniel
Otros Autores: Smith, Clara
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2015
Materias:
Ciencias Informáticas
Multiagent systems
completitud
semánticas tipo Kripke
Semantics
combinación de lógicas
Modal logic
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/50070
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-50070
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Multiagent systems
completitud
semánticas tipo Kripke
Semantics
combinación de lógicas
Modal logic
spellingShingle Ciencias Informáticas
Multiagent systems
completitud
semánticas tipo Kripke
Semantics
combinación de lógicas
Modal logic
Carbonari, Francisco Eduardo Daniel
Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
topic_facet Ciencias Informáticas
Multiagent systems
completitud
semánticas tipo Kripke
Semantics
combinación de lógicas
Modal logic
description Se estudiaron alguna propiedades de interés teórico y computacional de la lógica modal, útiles para el desarrollo de sistemas (multiagentes). Se trabajó sobre sistemas matemáticos semánticos de tipo Kripke y Neighbourhood. También se trabajaron sistemas formales deductivos para lógicas modales normales y no-normales. Todos estos sistemas aparecieron (se desarrollaron) como una estrategia para encarar la complejidad del formalismo en estudio. El principal objetivo del trabajo era obtener pruebas de completitud para el formalismo en estudio, lo que implicó obtener este tipo de pruebas para cada sistema de inferencia con su correspondiente sistema semántico (tipo de Kripke y Neighbourhood). El objetivo secundario del trabajo era obtener pruebas de decibilidad para los sistemas tratados. Finalmente se analizaron las posibilidades de aplicar algún mecanismo de combinación de lógicas que permita reunificar los resultados obtenidos para abarcar la totalidad del formalismo en estudio.
author2 Smith, Clara
author_facet Smith, Clara
Carbonari, Francisco Eduardo Daniel
format Tesis
Tesis de grado
author Carbonari, Francisco Eduardo Daniel
author_sort Carbonari, Francisco Eduardo Daniel
title Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title_short Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title_full Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title_fullStr Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title_full_unstemmed Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title_sort pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
publishDate 2015
url http://sedici.unlp.edu.ar/handle/10915/50070
work_keys_str_mv AT carbonarifranciscoeduardodaniel pruebasinteresantesparaunalogicamultimodalmultiagenteuncasodeestudiosobrecompletitud
bdutipo_str Repositorios
_version_ 1764820475462025216

Ejemplares similares