Computing Verisimilitude

Britz, Katarina; Brink, Chris

Notre Dame J. Formal Logic, Tome 36 (1995) no. 1, p. 30-43 / Harvested from Project Euclid

Résumé

This paper continues the power ordering approach to verisimilitude. We define a parameterized verisimilar ordering of theories in the finite propositional case, both semantically and syntactically. The syntactic definition leads to an algorithm for computing verisimilitude. Since the power ordering approach to verisimilitude can be translated into a standard notion of belief revision, the algorithm thereby also allows the computation of membership of a belief-revised theory.

Publié le : 1995-01-14
Classification: 03B60, 68T27

@article{1040308827,
     author = {Britz, Katarina and Brink, Chris},
     title = {Computing Verisimilitude},
     journal = {Notre Dame J. Formal Logic},
     volume = {36},
     number = {1},
     year = {1995},
     pages = { 30-43},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1040308827}
}

Britz, Katarina; Brink, Chris. Computing Verisimilitude. Notre Dame J. Formal Logic, Tome 36 (1995) no. 1, pp.  30-43. http://gdmltest.u-ga.fr/item/1040308827/