Loglinear models for firstorder probabilistic reasoning
James Cussens
Abstract:
Recent work on loglinear models in probabilistic constraint logic programming is applied to firstorder probabilistic reasoning. Probabilities are defined directly on the *proofs* of atomic formulae, and by marginalisation on the atomic formulae themselves. We use Stochastic Logic Programs (SLPs) composed of labelled and unlabelled definite clauses to define the proof probabilities. We have a conservative extension of firstorder reasoning, so that, for example, there is a oneone mapping between logical and random variables. We show how, in this framework, Inductive Logic Programming (ILP) can be used to induce the features of a loglinear model from data. We also compare the presented framework with other approaches to firstorder probabilistic reasoning.
Keywords: loglinear models, constraint logic programming, inductive
logic programming
Pages: 126133
PS Link: ftp://ftp.cs.york.ac.uk/pub/ML_GROUP/Papers/uai99.ps.gz
PDF Link: /papers/99/p126cussens.pdf
BibTex:
@INPROCEEDINGS{Cussens99,
AUTHOR = "James Cussens
",
TITLE = "Loglinear models for firstorder probabilistic reasoning",
BOOKTITLE = "Proceedings of the Fifteenth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI99)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Francisco, CA",
YEAR = "1999",
PAGES = "126133"
}

