Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/13305
Title: | Paraconsistency in hybrid logic |
Other Titles: | Paraconsistência em lógica híbrida |
Author: | Costa, Diana Filipa de Pinho |
Advisor: | Martins, Manuel António Gonçalves |
Keywords: | Matemática aplicada Lógica Teoria da infomação |
Defense Date: | 2014 |
Publisher: | Universidade de Aveiro |
Abstract: | The use of hybrid logics allows the description of relational structures, at the
same time that allows establishing accessibility relations between states and,
furthermore, nominating and making mention to what happens at speci c
states.
However, the information we collect is subject to inconsistencies, namely,
the search for di erent information sources can lead us to pick up contradictions.
Nowadays, by having so many means of dissemination available,
that happens frequently.
The aim of this work is to develop tools capable of dealing with contradictory
information that can be described as hybrid logics' formulas. To build
models, to compare inconsistency in di erent databases, and to see the applicability
of this method in day-to-day life are the basis for the development
of this dissertation. O uso de lógicas híbridas permite a descrição de estruturas relacionais, ao mesmo tempo que permite estabelecer relações de acessibilidade entre estados, e, para além disso, nomear e fazer referência ao que acontece em estados específicos. No entanto, a informação que recolhemos está sujeita a inconsistências, isto é, a procura de diferentes fontes de informação pode levar a recolha de contradições. O que nos dias de hoje, com tantos meios de divulgação disponíveis, acontece frequentemente. O objetivo deste trabalho e desenvolver ferramentas capazes de lidar com informação contraditória que possa ser descrita através de fórmulas de lógicas híbridas. Construir modelos e comparar a inconsistência de diferentes bases de dados e ver a aplicabilidade deste método no dia-a-dia são a base para o desenvolvimento desta dissertação. |
Description: | Mestrado em Matemática e Aplicações |
URI: | http://hdl.handle.net/10773/13305 |
Appears in Collections: | UA - Dissertações de mestrado DMat - Dissertações de mestrado |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.