Idioma:

A Logic with Conditional Probabilities

RASKOVIC, Miodrag ; OGNJANOVIC, Zoran ; MARKOVIC, Zoran

Lecture notes in computer science, 2004, p.226-238 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Enviar para

Título:
A Logic with Conditional Probabilities
Autor: RASKOVIC, Miodrag ; OGNJANOVIC, Zoran ; MARKOVIC, Zoran
Assuntos: Applied sciences ; Artificial intelligence ; Completeness Theorem ; Computer science; control theory; systems ; Conditional Probability ; Exact sciences and technology ; Inference Rule ; Intended Meaning ; Learning and adaptive systems ; Logical, boolean and switching functions ; Propositional Formula ; Theoretical computing
É parte de: Lecture notes in computer science, 2004, p.226-238
Descrição: The paper presents a logic which enriches propositional calculus with three classes of probabilistic operators which are applied to propositional formulas: P ≥ s(α), CP = s(α, β) and CP ≥ s (α, β), with the intended meaning ”the probability of α is at least s”, ”the conditional probability of α given β is s”, and ”the conditional probability of α given β is at least s”, respectively. Possible-world semantics with a probability measure on sets of worlds is defined and the corresponding strong completeness theorem is proved for a rather simple set of axioms. This is achieved at the price of allowing infinitary rules of inference. One of these rules enables us to syntactically define the range of the probability function. This range is chosen to be the unit interval of a recursive nonarchimedean field, making it possible to define another probabilistic operator CP ≈ 1(α, β) with the intended meaning ”probabilities of α ∧ β and β are almost the same”. This last operator may be used to model default reasoning.
Editor: Berlin, Heidelberg: Springer Berlin Heidelberg
Idioma: Inglês

Links

View record in Pascal Francis

Voltar para lista de resultados

Anterior Resultado 2

Realização: Logos de Redes Sociais:

A Logic with Conditional Probabilities

RASKOVIC, Miodrag ; OGNJANOVIC, Zoran ; MARKOVIC, Zoran

Berlin, Heidelberg: Springer Berlin Heidelberg

Buscando em bases de dados remotas. Favor aguardar.