Semantical framework for supporting subjective and conditional probabilities in deductive databases

Raymond T. Ng*, V. S. Subrahmanian

*Corresponding author for this work

Research output: Contribution to conferencePaperpeer-review

16 Scopus citations

Abstract

We present a theoretical basis for supporting subjective and conditional probabilities in deductive databases. We design a language that allows a user greater expressive power than classical logic programming. In particular, a user can express the fact that A is possible (i.e. A has non-zero probability), B is possible, but (A and B) as a whole is impossible. A user can also freely specify probability annotations that may contain variables. The focus of this paper is to study the semantics of programs written in such a language in relation to probability theory. Our model theory which is founded on the classical one captures the uncertainty described in a probabilistic program at the level of Herbrand Interpretations. We show that this model theory satisfies Fenstad's criteria for a function to be called probabilistic [5]. Furthermore, we develop a fixpoint semantics and a proof procedure for such programs. We characterize the relationships between probability theory and the fixpoint, model, and proof theory of our programs.

Original languageEnglish (US)
Pages565-580
Number of pages16
StatePublished - 1991
Externally publishedYes
EventLogic Programming - Proceedings of the 8th International Conference - Paris, Fr
Duration: Jun 24 1991Jun 28 1991

Conference

ConferenceLogic Programming - Proceedings of the 8th International Conference
CityParis, Fr
Period6/24/916/28/91

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint

Dive into the research topics of 'Semantical framework for supporting subjective and conditional probabilities in deductive databases'. Together they form a unique fingerprint.

Cite this