Automatically assigned DDC number: 005115
Manually assigned DDC number: 005115

Number of references: 4

Title: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases

Author:

Author:

Subject: Raymond Ng V. S. Subrahmanian,A. V. Williams Building A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases

Description: 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 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. Furthermore, we develop a fixpoint theory and a proof procedure for such programs and present soundness and completeness results. Finally we characterize the relationships between probability theory and the fixpoint, model, and proof theory of our programs. 1 Introduction a...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-05-14

Pubyear: 1991

Format: ps

Identifier: http://citeseer.ist.psu.edu/149855.html

Source: http://www.cs.umd.edu/users/vs/papers/jar93.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml version="1.0" encoding="UTF-8"?>

<references_metadata>

<rec ID="/83266.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="87" Title="A Logic for Reasoning about Probabilities,">

<identifier Org="ISBN:0198537476" Paper_ID="/83266.html" Extracted="0198537476" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0444015752" Paper_ID="/83266.html" Extracted="0444015752" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0792349520" Paper_ID="/83266.html" Extracted="0792349520" DDC="401" Normalized_DDC="401" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1586035363" Paper_ID="/83266.html" Extracted="1586035363" DDC="621.38928" Normalized_DDC="62138928" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540232427" Paper_ID="/83266.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540285385" Paper_ID="/83266.html" Extracted="3540285385" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540366679" Paper_ID="/83266.html" Extracted="3540366679" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540424644" Paper_ID="/83266.html" Extracted="3540424644" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540545638" Paper_ID="/83266.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540587152" Paper_ID="/83266.html" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540618147" Paper_ID="/83266.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354066131X" Paper_ID="/83266.html" Extracted="354066131X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540696180" Paper_ID="/83266.html" Extracted="3540696180" />

<identifier Org="ISBN:3540728295" Paper_ID="/83266.html" Extracted="3540728295" />

<identifier Org="ISBN:3540733221" Paper_ID="/83266.html" Extracted="3540733221" DDC="670.285/63" Normalized_DDC="67028563" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540752552" Paper_ID="/83266.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540754075" Paper_ID="/83266.html" Extracted="3540754075" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540926860" Paper_ID="/83266.html" Extracted="3540926860" />

</rec>

<rec ID="/255465.html" Type="article" CiteSeer_Book="Journal of Logic Programming" CiteSeer_Volume="11" Title="Bilattices and the Semantics of Logic Programming,">

<identifier Org="ISBN:0198537921" Paper_ID="/255465.html" Extracted="0198537921" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0262731053" Paper_ID="/255465.html" Extracted="0262731053" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0444516220" Paper_ID="/255465.html" Extracted="0444516220" DDC="160.9" Normalized_DDC="1609" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0792351614" Paper_ID="/255465.html" Extracted="0792351614" />

<identifier Org="ISBN:1402005830" Paper_ID="/255465.html" Extracted="1402005830" DDC="160" Normalized_DDC="16" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3110139944" Paper_ID="/255465.html" Extracted="3110139944" DDC="160" Normalized_DDC="16" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540000100" Paper_ID="/255465.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540226710" Paper_ID="/255465.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540243623" Paper_ID="/255465.html" Extracted="3540243623" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540441905" Paper_ID="/255465.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540545638" Paper_ID="/255465.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540587152" Paper_ID="/255465.html" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540606882" Paper_ID="/255465.html" Extracted="3540606882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540610553" Paper_ID="/255465.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540663290" Paper_ID="/255465.html" Extracted="3540663290" DDC="004/.01/5114" Normalized_DDC="004015114" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540664084" Paper_ID="/255465.html" Extracted="3540664084" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540667490" Paper_ID="/255465.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540730982" Paper_ID="/255465.html" Extracted="3540730982" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:4274077241" Paper_ID="/255465.html" Extracted="4274077241" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

</rec>

<rec ID="/12616.html" Type="article" CiteSeer_Book="Journal of Logic Programming" CiteSeer_Volume="12" Title="Theory of Generalized Annotated Logic Programming and its Applications,">

<identifier Org="ISBN:0262631733" Paper_ID="/12616.html" Extracted="0262631733" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:0262731053" Paper_ID="/12616.html" Extracted="0262731053" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:0791408744" Paper_ID="/12616.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:1586034529" Paper_ID="/12616.html" Extracted="1586034529" />

<identifier Org="ISBN:354000680X" Paper_ID="/12616.html" Extracted="354000680X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540007059" Paper_ID="/12616.html" Extracted="3540007059" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540243623" Paper_ID="/12616.html" Extracted="3540243623" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354029208X" Paper_ID="/12616.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540425934" Paper_ID="/12616.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540429352" Paper_ID="/12616.html" Extracted="3540429352" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540437851" Paper_ID="/12616.html" Extracted="3540437851" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540439609" Paper_ID="/12616.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540441905" Paper_ID="/12616.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540584021" Paper_ID="/12616.html" Extracted="3540584021" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540587152" Paper_ID="/12616.html" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540618147" Paper_ID="/12616.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540667490" Paper_ID="/12616.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540668365" Paper_ID="/12616.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540677976" Paper_ID="/12616.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540730982" Paper_ID="/12616.html" Extracted="3540730982" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05263157894736842" />

</rec>

<rec ID="/169401.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="101" Title="Probabilistic Logic Programming,">

<identifier Org="ISBN:0262541041" Paper_ID="/169401.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:026264035X" Paper_ID="/169401.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0262691779" Paper_ID="/169401.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1586034529" Paper_ID="/169401.html" Extracted="1586034529" />

<identifier Org="ISBN:3540000100" Paper_ID="/169401.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354020721X" Paper_ID="/169401.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540226710" Paper_ID="/169401.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354029208X" Paper_ID="/169401.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540425934" Paper_ID="/169401.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540429352" Paper_ID="/169401.html" Extracted="3540429352" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540545638" Paper_ID="/169401.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540606882" Paper_ID="/169401.html" Extracted="3540606882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540647384" Paper_ID="/169401.html" Extracted="3540647384" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540659226" Paper_ID="/169401.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540661093" Paper_ID="/169401.html" Extracted="3540661093" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540667490" Paper_ID="/169401.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354067795X" Paper_ID="/169401.html" Extracted="354067795X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540738460" Paper_ID="/169401.html" Extracted="3540738460" />

<identifier Org="ISBN:3540752552" Paper_ID="/169401.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540786511" Paper_ID="/169401.html" Extracted="3540786511" />

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases">

<identifier Org="ISBN:0262072882" Paper_ID="SELF" Extracted="0262072882" DDC="006.3/1" Normalized_DDC="00631" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0262731053" Paper_ID="SELF" Extracted="0262731053" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0792383028" Paper_ID="SELF" Extracted="0792383028" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0824722981" Paper_ID="SELF" Extracted="0824722981" />

<identifier Org="ISBN:354020265X" Paper_ID="SELF" Extracted="354020265X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540226710" Paper_ID="SELF" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540285385" Paper_ID="SELF" Extracted="3540285385" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540334726" Paper_ID="SELF" Extracted="3540334726" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540414134" Paper_ID="SELF" Extracted="3540414134" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540545638" Paper_ID="SELF" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354055727X" Paper_ID="SELF" Extracted="354055727X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540587152" Paper_ID="SELF" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540618147" Paper_ID="SELF" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540637001" Paper_ID="SELF" Extracted="3540637001" DDC="410/.285" Normalized_DDC="410285" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540642641" Paper_ID="SELF" Extracted="3540642641" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354066131X" Paper_ID="SELF" Extracted="354066131X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540752552" Paper_ID="SELF" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540754075" Paper_ID="SELF" Extracted="3540754075" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.058823529411764705" />

</rec>

</references_metadata>