Computing belief revision:
Abstract: "This paper introduces a belief revision system on a foundational basis which uses epistemic entrenchment to guide its decisions in the face of conflict. The formalism satisfies the AGM postulates for belief revision and thus combines foundational and coherence approaches. The belief...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1992
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
609 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "This paper introduces a belief revision system on a foundational basis which uses epistemic entrenchment to guide its decisions in the face of conflict. The formalism satisfies the AGM postulates for belief revision and thus combines foundational and coherence approaches. The belief revision system is based on a metatheoretic treatment of first- order logic and treats expansions and contractions as primitives. An algorithm is presented which describes a policy of accommodating new information. With minimal data requirements, this algorithm is guaranteed to lead to a consistent belief system while assembling and keeping as much information as possible and respecting a preference ordering over beliefs. A program based on this formal system has been implemented. A decision- theoretic interpretation of this formalism is discussed." |
| Beschreibung: | 20 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010460907 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951102s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)31987405 | ||
| 035 | |a (DE-599)BVBBV010460907 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Berendt, Bettina |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computing belief revision |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 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 609 | |
| 520 | 3 | |a Abstract: "This paper introduces a belief revision system on a foundational basis which uses epistemic entrenchment to guide its decisions in the face of conflict. The formalism satisfies the AGM postulates for belief revision and thus combines foundational and coherence approaches. The belief revision system is based on a metatheoretic treatment of first- order logic and treats expansions and contractions as primitives. An algorithm is presented which describes a policy of accommodating new information. With minimal data requirements, this algorithm is guaranteed to lead to a consistent belief system while assembling and keeping as much information as possible and respecting a preference ordering over beliefs. A program based on this formal system has been implemented. A decision- theoretic interpretation of this formalism is discussed." | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 700 | 1 | |a Smaill, Alan |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 609 |w (DE-604)BV010450646 |9 609 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006969668 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804124892221669376 |
|---|---|
| any_adam_object | |
| author | Berendt, Bettina Smaill, Alan |
| author_facet | Berendt, Bettina Smaill, Alan |
| author_role | aut aut |
| author_sort | Berendt, Bettina |
| author_variant | b b bb a s as |
| building | Verbundindex |
| bvnumber | BV010460907 |
| ctrlnum | (OCoLC)31987405 (DE-599)BVBBV010460907 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02026nam a2200349 cb4500</leader><controlfield tag="001">BV010460907</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)31987405</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010460907</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">Berendt, Bettina</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computing belief revision</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">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">609</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper introduces a belief revision system on a foundational basis which uses epistemic entrenchment to guide its decisions in the face of conflict. The formalism satisfies the AGM postulates for belief revision and thus combines foundational and coherence approaches. The belief revision system is based on a metatheoretic treatment of first- order logic and treats expansions and contractions as primitives. An algorithm is presented which describes a policy of accommodating new information. With minimal data requirements, this algorithm is guaranteed to lead to a consistent belief system while assembling and keeping as much information as possible and respecting a preference ordering over beliefs. A program based on this formal system has been implemented. A decision- theoretic interpretation of this formalism is discussed."</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="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Smaill, 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">609</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">609</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006969668</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010460907 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:53Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006969668 |
| oclc_num | 31987405 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 20 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Berendt, Bettina Verfasser aut Computing belief revision Edinburgh 1992 20 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 609 Abstract: "This paper introduces a belief revision system on a foundational basis which uses epistemic entrenchment to guide its decisions in the face of conflict. The formalism satisfies the AGM postulates for belief revision and thus combines foundational and coherence approaches. The belief revision system is based on a metatheoretic treatment of first- order logic and treats expansions and contractions as primitives. An algorithm is presented which describes a policy of accommodating new information. With minimal data requirements, this algorithm is guaranteed to lead to a consistent belief system while assembling and keeping as much information as possible and respecting a preference ordering over beliefs. A program based on this formal system has been implemented. A decision- theoretic interpretation of this formalism is discussed." Computer software sigle Künstliche Intelligenz Artificial intelligence 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Smaill, Alan Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 609 (DE-604)BV010450646 609 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Berendt, Bettina Smaill, Alan Computing belief revision Computer software sigle Künstliche Intelligenz Artificial intelligence |
| subject_GND | (DE-588)4113937-9 |
| title | Computing belief revision |
| title_auth | Computing belief revision |
| title_exact_search | Computing belief revision |
| title_full | Computing belief revision |
| title_fullStr | Computing belief revision |
| title_full_unstemmed | Computing belief revision |
| title_short | Computing belief revision |
| title_sort | computing belief revision |
| topic | Computer software sigle Künstliche Intelligenz Artificial intelligence |
| topic_facet | Computer software Künstliche Intelligenz Artificial intelligence Hochschulschrift |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT berendtbettina computingbeliefrevision AT smaillalan computingbeliefrevision |