A rational reconstruction of incidence calculus:
Abstract: "Incidence Calculus was introduced in [Bundy 85] as a mechanism for the automation of qualified reasoning. It is based on probabilities of sets of possible worlds, and presents the feature of being truth functional with respect to logical connectives. In this paper we present a ration...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Edinburgh
1991
|
| Series: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
517 |
| Subjects: | |
| Summary: | Abstract: "Incidence Calculus was introduced in [Bundy 85] as a mechanism for the automation of qualified reasoning. It is based on probabilities of sets of possible worlds, and presents the feature of being truth functional with respect to logical connectives. In this paper we present a rational reconstruction of Incidence Calculus, providing a more formal basis for this mechanism." |
| Physical Description: | 11 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010453200 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951027s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)25783812 | ||
| 035 | |a (DE-599)BVBBV010453200 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Silva, Flávio Soares Corrêa da |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A rational reconstruction of incidence calculus |c Favio S. Correa da Silva ; Alan Bundy |
| 264 | 1 | |a Edinburgh |c 1991 | |
| 300 | |a 11 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 517 | |
| 520 | 3 | |a Abstract: "Incidence Calculus was introduced in [Bundy 85] as a mechanism for the automation of qualified reasoning. It is based on probabilities of sets of possible worlds, and presents the feature of being truth functional with respect to logical connectives. In this paper we present a rational reconstruction of Incidence Calculus, providing a more formal basis for this mechanism." | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Mathematics |2 sigle | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Calculus | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Bundy, Alan |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 517 |w (DE-604)BV010450646 |9 517 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006965977 | ||
Record in the Search Index
| _version_ | 1804124886569844736 |
|---|---|
| any_adam_object | |
| author | Silva, Flávio Soares Corrêa da Bundy, Alan |
| author_facet | Silva, Flávio Soares Corrêa da Bundy, Alan |
| author_role | aut aut |
| author_sort | Silva, Flávio Soares Corrêa da |
| author_variant | f s c d s fscd fscds a b ab |
| building | Verbundindex |
| bvnumber | BV010453200 |
| ctrlnum | (OCoLC)25783812 (DE-599)BVBBV010453200 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01537nam a2200349 cb4500</leader><controlfield tag="001">BV010453200</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951027s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25783812</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010453200</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">Silva, Flávio Soares Corrêa da</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A rational reconstruction of incidence calculus</subfield><subfield code="c">Favio S. Correa da Silva ; Alan Bundy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">11 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">517</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Incidence Calculus was introduced in [Bundy 85] as a mechanism for the automation of qualified reasoning. It is based on probabilities of sets of possible worlds, and presents the feature of being truth functional with respect to logical connectives. In this paper we present a rational reconstruction of Incidence Calculus, providing a more formal basis for this mechanism."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bionics and artificial intelligence</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">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Calculus</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</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="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">517</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">517</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006965977</subfield></datafield></record></collection> |
| id | DE-604.BV010453200 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:47Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006965977 |
| oclc_num | 25783812 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 11 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Silva, Flávio Soares Corrêa da Verfasser aut A rational reconstruction of incidence calculus Favio S. Correa da Silva ; Alan Bundy Edinburgh 1991 11 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 517 Abstract: "Incidence Calculus was introduced in [Bundy 85] as a mechanism for the automation of qualified reasoning. It is based on probabilities of sets of possible worlds, and presents the feature of being truth functional with respect to logical connectives. In this paper we present a rational reconstruction of Incidence Calculus, providing a more formal basis for this mechanism." Bionics and artificial intelligence sigle Mathematics sigle Mathematik Calculus Reasoning Bundy, Alan Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 517 (DE-604)BV010450646 517 |
| spellingShingle | Silva, Flávio Soares Corrêa da Bundy, Alan A rational reconstruction of incidence calculus Bionics and artificial intelligence sigle Mathematics sigle Mathematik Calculus Reasoning |
| title | A rational reconstruction of incidence calculus |
| title_auth | A rational reconstruction of incidence calculus |
| title_exact_search | A rational reconstruction of incidence calculus |
| title_full | A rational reconstruction of incidence calculus Favio S. Correa da Silva ; Alan Bundy |
| title_fullStr | A rational reconstruction of incidence calculus Favio S. Correa da Silva ; Alan Bundy |
| title_full_unstemmed | A rational reconstruction of incidence calculus Favio S. Correa da Silva ; Alan Bundy |
| title_short | A rational reconstruction of incidence calculus |
| title_sort | a rational reconstruction of incidence calculus |
| topic | Bionics and artificial intelligence sigle Mathematics sigle Mathematik Calculus Reasoning |
| topic_facet | Bionics and artificial intelligence Mathematics Mathematik Calculus Reasoning |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT silvaflaviosoarescorreada arationalreconstructionofincidencecalculus AT bundyalan arationalreconstructionofincidencecalculus |