Inference Processes for Quantified Predicate Knowledge

Paris, Jeff B.; Rafiee Rad, Soroush (2008): Inference Processes for Quantified Predicate Knowledge. In: Hodges, Wilfrid; Queiroz, Ruy (eds.) : Logic, Language, Information and Computation. Lecture Notes in Computer Science, Vol. 5110. Springer Berlin Heidelberg. pp. 249-259

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.

• Item Type: Book Section
• Keywords: Uncertain reasoning; probability logic; inference processes; Renyi Entropies
• Faculties: Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP); Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Subjects: 100 Philosophy and Psychology > 160 Logic
• ISBN: 978-3-540-69936-1
• Language: English