Assignment methods for incidence calculus:
Abstract: "Incidence calculus is a mechanism for probabilistic reasoning in which sets of possible worlds, called incidences, are associated with axioms and probabilities are then associated with these sets. Inference rules are used to deduce bounds on the incidences of formulae which are not a...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1993
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
649 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Incidence calculus is a mechanism for probabilistic reasoning in which sets of possible worlds, called incidences, are associated with axioms and probabilities are then associated with these sets. Inference rules are used to deduce bounds on the incidences of formulae which are not axioms and bounds for the probability of such a formula can then be obtained. In practice an assignment of probabilities directly to axioms may be given and it is then necessary to find an assignment of incidences which will reproduce these probabilties. We show that this task of assigning incidences can be viewed as a tree searching problem and two techniques for performing this search are discussed. One of these is a new proposal involving a depth first search while the other incorporates a random element. A Prolog implementation of these methods has been developed. The two approaches are compared for efficency and the significance of their results discussed. Finally we discuss a new proposal for applying techniques from linear programming to incidence calculus." |
| Beschreibung: | 15 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010464746 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951107s1993 |||| 00||| engod | ||
| 035 | |a (OCoLC)32006202 | ||
| 035 | |a (DE-599)BVBBV010464746 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a MacLean, R. G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Assignment methods for incidence calculus |c R. G. McLean, A. Bundy and W. Liu |
| 264 | 1 | |a Edinburgh |c 1993 | |
| 300 | |a 15 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |v 649 | |
| 520 | 3 | |a Abstract: "Incidence calculus is a mechanism for probabilistic reasoning in which sets of possible worlds, called incidences, are associated with axioms and probabilities are then associated with these sets. Inference rules are used to deduce bounds on the incidences of formulae which are not axioms and bounds for the probability of such a formula can then be obtained. In practice an assignment of probabilities directly to axioms may be given and it is then necessary to find an assignment of incidences which will reproduce these probabilties. We show that this task of assigning incidences can be viewed as a tree searching problem and two techniques for performing this search are discussed. One of these is a new proposal involving a depth first search while the other incorporates a random element. A Prolog implementation of these methods has been developed. The two approaches are compared for efficency and the significance of their results discussed. Finally we discuss a new proposal for applying techniques from linear programming to incidence calculus." | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 7 | |a Mathematics |2 sigle | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Artificial intelligence | |
| 700 | 1 | |a Bundy, Alan |e Verfasser |4 aut | |
| 700 | 1 | |a Liu, Weiru |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 649 |w (DE-604)BV010450646 |9 649 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006972989 | ||
Datensatz im Suchindex
| _version_ | 1804124897136345088 |
|---|---|
| any_adam_object | |
| author | MacLean, R. G. Bundy, Alan Liu, Weiru |
| author_facet | MacLean, R. G. Bundy, Alan Liu, Weiru |
| author_role | aut aut aut |
| author_sort | MacLean, R. G. |
| author_variant | r g m rg rgm a b ab w l wl |
| building | Verbundindex |
| bvnumber | BV010464746 |
| ctrlnum | (OCoLC)32006202 (DE-599)BVBBV010464746 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02242nam a2200361 cb4500</leader><controlfield tag="001">BV010464746</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951107s1993 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32006202</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010464746</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">MacLean, R. G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Assignment methods for incidence calculus</subfield><subfield code="c">R. G. McLean, A. Bundy and W. Liu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">University <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">649</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Incidence calculus is a mechanism for probabilistic reasoning in which sets of possible worlds, called incidences, are associated with axioms and probabilities are then associated with these sets. Inference rules are used to deduce bounds on the incidences of formulae which are not axioms and bounds for the probability of such a formula can then be obtained. In practice an assignment of probabilities directly to axioms may be given and it is then necessary to find an assignment of incidences which will reproduce these probabilties. We show that this task of assigning incidences can be viewed as a tree searching problem and two techniques for performing this search are discussed. One of these is a new proposal involving a depth first search while the other incorporates a random element. A Prolog implementation of these methods has been developed. The two approaches are compared for efficency and the significance of their results discussed. Finally we discuss a new proposal for applying techniques from linear programming to incidence calculus."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bundy, Alan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Weiru</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">649</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">649</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006972989</subfield></datafield></record></collection> |
| id | DE-604.BV010464746 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:57Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006972989 |
| oclc_num | 32006202 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 15 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | MacLean, R. G. Verfasser aut Assignment methods for incidence calculus R. G. McLean, A. Bundy and W. Liu Edinburgh 1993 15 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 649 Abstract: "Incidence calculus is a mechanism for probabilistic reasoning in which sets of possible worlds, called incidences, are associated with axioms and probabilities are then associated with these sets. Inference rules are used to deduce bounds on the incidences of formulae which are not axioms and bounds for the probability of such a formula can then be obtained. In practice an assignment of probabilities directly to axioms may be given and it is then necessary to find an assignment of incidences which will reproduce these probabilties. We show that this task of assigning incidences can be viewed as a tree searching problem and two techniques for performing this search are discussed. One of these is a new proposal involving a depth first search while the other incorporates a random element. A Prolog implementation of these methods has been developed. The two approaches are compared for efficency and the significance of their results discussed. Finally we discuss a new proposal for applying techniques from linear programming to incidence calculus." Computer software sigle Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence Bundy, Alan Verfasser aut Liu, Weiru Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 649 (DE-604)BV010450646 649 |
| spellingShingle | MacLean, R. G. Bundy, Alan Liu, Weiru Assignment methods for incidence calculus Computer software sigle Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence |
| title | Assignment methods for incidence calculus |
| title_auth | Assignment methods for incidence calculus |
| title_exact_search | Assignment methods for incidence calculus |
| title_full | Assignment methods for incidence calculus R. G. McLean, A. Bundy and W. Liu |
| title_fullStr | Assignment methods for incidence calculus R. G. McLean, A. Bundy and W. Liu |
| title_full_unstemmed | Assignment methods for incidence calculus R. G. McLean, A. Bundy and W. Liu |
| title_short | Assignment methods for incidence calculus |
| title_sort | assignment methods for incidence calculus |
| topic | Computer software sigle Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence |
| topic_facet | Computer software Mathematics Künstliche Intelligenz Mathematik Artificial intelligence |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT macleanrg assignmentmethodsforincidencecalculus AT bundyalan assignmentmethodsforincidencecalculus AT liuweiru assignmentmethodsforincidencecalculus |