On the relationship between incidence calculus and ATMS:
Abstract: "Although it is widely recognized that logics of belief and truth maintenance systems share some fundamental similarities, there has been little study of the precise nature of this relationship. We show that an ATMS can be implemented using incidence calculus. In this way, we can not...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Edinburgh
1992
|
| Series: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
611 |
| Subjects: | |
| Summary: | Abstract: "Although it is widely recognized that logics of belief and truth maintenance systems share some fundamental similarities, there has been little study of the precise nature of this relationship. We show that an ATMS can be implemented using incidence calculus. In this way, we can not only produce labels for all nodes in the system, but also calculate the probability of any such nodes in it. The nogood environments can also be obtained automatically. The probability calculated for the nogood environments represents the weight of conflict for multiple pieces of evidence. We also show that an ATMS can be viewed as a fast algorithm for incidence calculus." |
| Physical Description: | 19 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010460939 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951102s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)32351170 | ||
| 035 | |a (DE-599)BVBBV010460939 | ||
| 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 On the relationship between incidence calculus and ATMS |c Weiru Liu ; Alan Bundy ; Dave Robertson |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 19 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 611 | |
| 520 | 3 | |a Abstract: "Although it is widely recognized that logics of belief and truth maintenance systems share some fundamental similarities, there has been little study of the precise nature of this relationship. We show that an ATMS can be implemented using incidence calculus. In this way, we can not only produce labels for all nodes in the system, but also calculate the probability of any such nodes in it. The nogood environments can also be obtained automatically. The probability calculated for the nogood environments represents the weight of conflict for multiple pieces of evidence. We also show that an ATMS can be viewed as a fast algorithm for incidence calculus." | |
| 650 | 7 | |a Bionics and artificial intelligence |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 Robertson, Dave |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 611 |w (DE-604)BV010450646 |9 611 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006969695 | ||
Record in the Search Index
| _version_ | 1804124892277243904 |
|---|---|
| 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 | BV010460939 |
| ctrlnum | (OCoLC)32351170 (DE-599)BVBBV010460939 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01882nam a2200361 cb4500</leader><controlfield tag="001">BV010460939</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951102s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32351170</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010460939</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">On the relationship between incidence calculus and ATMS</subfield><subfield code="c">Weiru Liu ; Alan Bundy ; Dave Robertson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">19 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">611</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Although it is widely recognized that logics of belief and truth maintenance systems share some fundamental similarities, there has been little study of the precise nature of this relationship. We show that an ATMS can be implemented using incidence calculus. In this way, we can not only produce labels for all nodes in the system, but also calculate the probability of any such nodes in it. The nogood environments can also be obtained automatically. The probability calculated for the nogood environments represents the weight of conflict for multiple pieces of evidence. We also show that an ATMS can be viewed as a fast algorithm for incidence calculus."</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">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">611</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">611</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006969695</subfield></datafield></record></collection> |
| id | DE-604.BV010460939 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:53Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006969695 |
| oclc_num | 32351170 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 19 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Liu, Weiru Verfasser aut On the relationship between incidence calculus and ATMS Weiru Liu ; Alan Bundy ; Dave Robertson Edinburgh 1992 19 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 611 Abstract: "Although it is widely recognized that logics of belief and truth maintenance systems share some fundamental similarities, there has been little study of the precise nature of this relationship. We show that an ATMS can be implemented using incidence calculus. In this way, we can not only produce labels for all nodes in the system, but also calculate the probability of any such nodes in it. The nogood environments can also be obtained automatically. The probability calculated for the nogood environments represents the weight of conflict for multiple pieces of evidence. We also show that an ATMS can be viewed as a fast algorithm for incidence calculus." Bionics and artificial intelligence sigle 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> 611 (DE-604)BV010450646 611 |
| spellingShingle | Liu, Weiru Bundy, Alan Robertson, Dave On the relationship between incidence calculus and ATMS Bionics and artificial intelligence sigle Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence |
| title | On the relationship between incidence calculus and ATMS |
| title_auth | On the relationship between incidence calculus and ATMS |
| title_exact_search | On the relationship between incidence calculus and ATMS |
| title_full | On the relationship between incidence calculus and ATMS Weiru Liu ; Alan Bundy ; Dave Robertson |
| title_fullStr | On the relationship between incidence calculus and ATMS Weiru Liu ; Alan Bundy ; Dave Robertson |
| title_full_unstemmed | On the relationship between incidence calculus and ATMS Weiru Liu ; Alan Bundy ; Dave Robertson |
| title_short | On the relationship between incidence calculus and ATMS |
| title_sort | on the relationship between incidence calculus and atms |
| topic | Bionics and artificial intelligence sigle Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence |
| topic_facet | Bionics and artificial intelligence Mathematics Künstliche Intelligenz Mathematik Artificial intelligence |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT liuweiru ontherelationshipbetweenincidencecalculusandatms AT bundyalan ontherelationshipbetweenincidencecalculusandatms AT robertsondave ontherelationshipbetweenincidencecalculusandatms |