Recovering incidence functions:
Abstract: "In incidence calculus, inferences are usually made by calculating incidence sets and computing probabilities of formulae based on a given incidence function in an incidence calculus theory. Incidence functions are vital for performing any further inference. Without the existence of t...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1993
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
648 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "In incidence calculus, inferences are usually made by calculating incidence sets and computing probabilities of formulae based on a given incidence function in an incidence calculus theory. Incidence functions are vital for performing any further inference. Without the existence of this function, many of the features of incidence calculus will be lost. However it is still the case that numerical values are assigned on some formulae directly without giving the incidence function. This paper discusses how to recover incidence functions in these cases. The result can be used to calculate mass functions from belief functions in the Dempster-Shafer theory of evidence (or DS theory) and define probability spaces from inner measures (or lower bounds) of probabilities on the relevant propositional language set." |
| Beschreibung: | 20 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010464722 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951107s1993 |||| 00||| engod | ||
| 035 | |a (OCoLC)32006222 | ||
| 035 | |a (DE-599)BVBBV010464722 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Liu, Weiru |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Recovering incidence functions |c Weiru Liu, Alan Bundy and Dave Robertson |
| 264 | 1 | |a Edinburgh |c 1993 | |
| 300 | |a 20 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 648 | |
| 520 | 3 | |a Abstract: "In incidence calculus, inferences are usually made by calculating incidence sets and computing probabilities of formulae based on a given incidence function in an incidence calculus theory. Incidence functions are vital for performing any further inference. Without the existence of this function, many of the features of incidence calculus will be lost. However it is still the case that numerical values are assigned on some formulae directly without giving the incidence function. This paper discusses how to recover incidence functions in these cases. The result can be used to calculate mass functions from belief functions in the Dempster-Shafer theory of evidence (or DS theory) and define probability spaces from inner measures (or lower bounds) of probabilities on the relevant propositional language set." | |
| 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 Robertson, Dave |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 648 |w (DE-604)BV010450646 |9 648 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006972966 | ||
Datensatz im Suchindex
| _version_ | 1804124897090207744 |
|---|---|
| any_adam_object | |
| author | Liu, Weiru Bundy, Alan Robertson, Dave |
| author_facet | Liu, Weiru Bundy, Alan Robertson, Dave |
| author_role | aut aut aut |
| author_sort | Liu, Weiru |
| author_variant | w l wl a b ab d r dr |
| building | Verbundindex |
| bvnumber | BV010464722 |
| ctrlnum | (OCoLC)32006222 (DE-599)BVBBV010464722 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01955nam a2200349 cb4500</leader><controlfield tag="001">BV010464722</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)32006222</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010464722</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">Liu, Weiru</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recovering incidence functions</subfield><subfield code="c">Weiru Liu, Alan Bundy and Dave Robertson</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">20 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">648</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In incidence calculus, inferences are usually made by calculating incidence sets and computing probabilities of formulae based on a given incidence function in an incidence calculus theory. Incidence functions are vital for performing any further inference. Without the existence of this function, many of the features of incidence calculus will be lost. However it is still the case that numerical values are assigned on some formulae directly without giving the incidence function. This paper discusses how to recover incidence functions in these cases. The result can be used to calculate mass functions from belief functions in the Dempster-Shafer theory of evidence (or DS theory) and define probability spaces from inner measures (or lower bounds) of probabilities on the relevant propositional language set."</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">Robertson, Dave</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">648</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">648</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006972966</subfield></datafield></record></collection> |
| id | DE-604.BV010464722 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:57Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006972966 |
| oclc_num | 32006222 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 20 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Liu, Weiru Verfasser aut Recovering incidence functions Weiru Liu, Alan Bundy and Dave Robertson Edinburgh 1993 20 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 648 Abstract: "In incidence calculus, inferences are usually made by calculating incidence sets and computing probabilities of formulae based on a given incidence function in an incidence calculus theory. Incidence functions are vital for performing any further inference. Without the existence of this function, many of the features of incidence calculus will be lost. However it is still the case that numerical values are assigned on some formulae directly without giving the incidence function. This paper discusses how to recover incidence functions in these cases. The result can be used to calculate mass functions from belief functions in the Dempster-Shafer theory of evidence (or DS theory) and define probability spaces from inner measures (or lower bounds) of probabilities on the relevant propositional language set." Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence Bundy, Alan Verfasser aut Robertson, Dave Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 648 (DE-604)BV010450646 648 |
| spellingShingle | Liu, Weiru Bundy, Alan Robertson, Dave Recovering incidence functions Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence |
| title | Recovering incidence functions |
| title_auth | Recovering incidence functions |
| title_exact_search | Recovering incidence functions |
| title_full | Recovering incidence functions Weiru Liu, Alan Bundy and Dave Robertson |
| title_fullStr | Recovering incidence functions Weiru Liu, Alan Bundy and Dave Robertson |
| title_full_unstemmed | Recovering incidence functions Weiru Liu, Alan Bundy and Dave Robertson |
| title_short | Recovering incidence functions |
| title_sort | recovering incidence functions |
| topic | Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence |
| topic_facet | Mathematics Künstliche Intelligenz Mathematik Artificial intelligence |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT liuweiru recoveringincidencefunctions AT bundyalan recoveringincidencefunctions AT robertsondave recoveringincidencefunctions |