A Note on the Least Informative Model of a Theory.

Autor: Paris, Jeff B., Rad, Soroush R.
Zdroj: Programs, Proofs, Processes; 2010, p342-351, 10p
Abstrakt: We consider one possible interpretation of the `least informative model΄ of a relational and finite theory and show that it is well defined for a particular class of π1 theories. We conjecture that it is always defined for π1 theories. [ABSTRACT FROM AUTHOR]
Databáze: Complementary Index
Externí odkaz: