Inference Processes for Quantified Predicate Knowledge

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

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.

• Dokumententyp: Buchbeitrag
• Keywords: Uncertain reasoning; probability logic; inference processes; Renyi Entropies
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Themengebiete: 100 Philosophie und Psychologie > 160 Logik
• ISBN: 978-3-540-69936-1
• Sprache: Englisch