𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Characterizing consistency in probabilistic logic for a class of Horn clauses

✍ Scribed by K. A. Andersen

Publisher
Springer-Verlag
Year
1994
Tongue
English
Weight
848 KB
Volume
66
Category
Article
ISSN
0025-5610

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A topological characterization of consis
A topological characterization of consistency of logic theories in propositional logic
✍ Guo-Jun Wang; Yan-Hong She πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 116 KB

## Abstract The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the firs

Assembling a consistent set of sentences
Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
✍ Cassio Polpo de Campos; Fabio Gagliardi Cozman; JosΓ© Eduardo Ochoa Luna πŸ“‚ Article πŸ“… 2009 πŸ› Elsevier Science 🌐 English βš– 350 KB

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not requir