Logo Logo
Hilfe
Hilfe
Switch Language to English
Paris, Jeff B. und Rafiee Rad, Soroush (2008): Inference Processes for Quantified Predicate Knowledge. In: Hodges, Wilfrid und Queiroz, Ruy (Hrsg.): Logic, Language, Information and Computation. Lecture Notes in Computer Science, Bd. 5110. Springer Berlin Heidelberg. S. 249-259
Volltext auf 'Open Access LMU' nicht verfügbar.

Abstract

We describe a method for extending an inference process for propositional probability logic to predicate probability logic in the case where the language in purely unary and show that the method is well defined for the Minimum Distance and CM  ∞  inference processes.