Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/13305
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Martins, Manuel António Gonçalves | pt |
dc.contributor.author | Costa, Diana Filipa de Pinho | pt |
dc.date.accessioned | 2015-01-28T16:56:02Z | - |
dc.date.available | 2015-01-28T16:56:02Z | - |
dc.date.issued | 2014 | - |
dc.identifier.uri | http://hdl.handle.net/10773/13305 | - |
dc.description | Mestrado em Matemática e Aplicações | pt |
dc.description.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. | pt |
dc.description.abstract | 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. | pt |
dc.language.iso | eng | pt |
dc.publisher | Universidade de Aveiro | pt |
dc.relation | FCT - FCOMP-01-0124-FEDER-028923 (Nasoni) | pt |
dc.rights | openAccess | por |
dc.subject | Matemática aplicada | pt |
dc.subject | Lógica | pt |
dc.subject | Teoria da infomação | pt |
dc.subject.other | Paraconsistency | pt |
dc.subject.other | Hybrid logic | pt |
dc.subject.other | Quasi-hybrid logic | pt |
dc.subject.other | Bistructure | pt |
dc.subject.other | Kripke frame | pt |
dc.subject.other | Decoupled satisfaction | pt |
dc.subject.other | Strong satisfaction | pt |
dc.subject.other | Model | pt |
dc.subject.other | Measure of inconsistency | pt |
dc.title | Paraconsistency in hybrid logic | pt |
dc.title.alternative | Paraconsistência em lógica híbrida | pt |
dc.type | masterThesis | pt |
thesis.degree.level | mestrado | pt |
thesis.degree.grantor | Universidade de Aveiro | pt |
dc.identifier.tid | 201572290 | - |
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.