Inference Processes for Quantified Predicate Knowledge

Authors:
J. B. Paris;S. R. Rad
Affiliations:
School of Mathematics, University of Manchester, Manchester, UK M13 9PL;School of Mathematics, University of Manchester, Manchester, UK M13 9PL
Venue:
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Year:
2008

Citing 6
Cited 1

On the applicability of maximum entropy to inexact reasoning

International Journal of Approximate Reasoning
A note on the inevitability of maximum entropy

International Journal of Approximate Reasoning
Asymptotic Conditional Probabilities: The Unary Case

SIAM Journal on Computing
The uncertain reasoner's companion: a mathematical perspective

The uncertain reasoner's companion: a mathematical perspective
From statistical knowledge bases to degrees of belief

Artificial Intelligence
Random worlds and maximum entropy

Journal of Artificial Intelligence Research

A note on the least informative model of a theory

CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe

Quantified Score

Hi-index	0.00

Visualization

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.