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>

www.000webhost.com