Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/22198
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Martins, Manuel António Gonçalves | pt |
dc.contributor.author | Barbosa, Fábio Daniel Moreira | pt |
dc.date.accessioned | 2018-02-15T14:30:25Z | - |
dc.date.available | 2018-02-15T14:30:25Z | - |
dc.date.issued | 2016 | - |
dc.identifier.uri | http://hdl.handle.net/10773/22198 | - |
dc.description | Mestrado em Matemática e Aplicações | pt |
dc.description.abstract | O termo Lógica Probabilística, em geral, designa qualquer lógica que incorpore conceitos probabilísticos num sistema lógico formal. Nesta dissertacção o principal foco de estudo e uma lógica probabilística (designada por Lógica Proposicional Probabilística Exógena), que tem por base a Lógica Proposicional Clássica. São trabalhados sobre essa lógica probabilística a síntaxe, a semântica e um cálculo de Hilbert, provando-se diversos resultados clássicos de Teoria de Probabilidade no contexto da EPPL. São também estudadas duas propriedades muito importantes de um sistema lógico - correcção e completude. Prova-se a correcção da EPPL da forma usual, e a completude fraca recorrendo a um algoritmo de satisfazibilidade de uma fórmula da EPPL. Serão também considerados na EPPL conceitos de outras lógicas probabilísticas (incerteza e probabilidades intervalares) e Teoria de Probabilidades (condicionais e independência). | pt |
dc.description.abstract | The term Probabilistic Logic generally refers to any logic that incorporates probabilistic concepts in a formal logic system. In this dissertation, the main focus of study is a probabilistic logic (called Exogenous Probabilistic Propo- sitional Logic), which is based in the Classical Propositional Logic. There will be introduced, for this probabilistic logic, its syntax, semantics and a Hilbert calculus, proving some classical results of Probability Theory in the context of EPPL. Moreover, there will also be studied two important properties of a logic system - soundness and completeness. We prove the EPPL soundness in a standard way, and weak completeness using a satis ability algorithm for a formula of EPPL. It will be considered in EPPL concepts of other probabilistic logics (uncertainty and intervalar probability) and of Probability Theory (independence and conditional). | pt |
dc.language.iso | eng | pt |
dc.publisher | Universidade de Aveiro | pt |
dc.rights | openAccess | por |
dc.subject | Matemática | pt |
dc.subject | Probabilidades | pt |
dc.subject | Lógica proposicional | pt |
dc.subject | Espaços de Hilbert | pt |
dc.subject.other | Espaços de probabilidades | pt |
dc.subject.other | Sistemas lógicos | pt |
dc.subject.other | Cálculo de Hilbert | pt |
dc.subject.other | Lógica proposicional probablística | pt |
dc.subject.other | Correcção | pt |
dc.subject.other | Completude | pt |
dc.subject.other | Incerteza | pt |
dc.subject.other | Condicional | pt |
dc.title | Probabilistic propositional logic | pt |
dc.title.alternative | Lógica proposicional probabilística | pt |
dc.type | masterThesis | pt |
thesis.degree.level | mestrado | pt |
thesis.degree.grantor | Universidade de Aveiro | pt |
dc.identifier.tid | 201574241 | - |
Appears in Collections: | UA - Dissertações de mestrado DMat - Dissertações de mestrado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Tese - Fábio Barbosa.pdf | 549.22 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.