Deriving properties of belief update from theories of action:
Abstract: "We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared 'persistent by default.' The focus of the paper is on the relation betwee...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
1994
|
| Schriftenreihe: | Stanford University / Computer Science Department: Report STAN-CS
1501 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared 'persistent by default.' The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold: We prove a representation theorem for KM semantics in terms of a restricted subfamily of the operators defined by our construction. We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family. Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts." |
| Beschreibung: | 44 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009776684 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940826s1994 |||| 00||| eng d | ||
| 035 | |a (OCoLC)31972780 | ||
| 035 | |a (DE-599)BVBBV009776684 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Del Val, Alvaro |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Deriving properties of belief update from theories of action |c by Alvaro del Val and Yoav Shoham |
| 264 | 1 | |a Stanford, Calif. |c 1994 | |
| 300 | |a 44 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Stanford University / Computer Science Department: Report STAN-CS |v 1501 | |
| 520 | 3 | |a Abstract: "We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared 'persistent by default.' The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold: We prove a representation theorem for KM semantics in terms of a restricted subfamily of the operators defined by our construction. We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family. Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts." | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 700 | 1 | |a Shoham, Yoav |e Verfasser |4 aut | |
| 810 | 2 | |a Computer Science Department: Report STAN-CS |t Stanford University |v 1501 |w (DE-604)BV008928280 |9 1501 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006468819 | ||
Datensatz im Suchindex
| _version_ | 1804124125527015424 |
|---|---|
| any_adam_object | |
| author | Del Val, Alvaro Shoham, Yoav |
| author_facet | Del Val, Alvaro Shoham, Yoav |
| author_role | aut aut |
| author_sort | Del Val, Alvaro |
| author_variant | v a d va vad y s ys |
| building | Verbundindex |
| bvnumber | BV009776684 |
| ctrlnum | (OCoLC)31972780 (DE-599)BVBBV009776684 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02123nam a2200313 cb4500</leader><controlfield tag="001">BV009776684</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940826s1994 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31972780</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009776684</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Del Val, Alvaro</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deriving properties of belief update from theories of action</subfield><subfield code="c">by Alvaro del Val and Yoav Shoham</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">44 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">Stanford University / Computer Science Department: Report STAN-CS</subfield><subfield code="v">1501</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared 'persistent by default.' The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold: We prove a representation theorem for KM semantics in terms of a restricted subfamily of the operators defined by our construction. We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family. Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts."</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="700" ind1="1" ind2=" "><subfield code="a">Shoham, Yoav</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Computer Science Department: Report STAN-CS</subfield><subfield code="t">Stanford University</subfield><subfield code="v">1501</subfield><subfield code="w">(DE-604)BV008928280</subfield><subfield code="9">1501</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006468819</subfield></datafield></record></collection> |
| id | DE-604.BV009776684 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:40:42Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006468819 |
| oclc_num | 31972780 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 44 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series2 | Stanford University / Computer Science Department: Report STAN-CS |
| spelling | Del Val, Alvaro Verfasser aut Deriving properties of belief update from theories of action by Alvaro del Val and Yoav Shoham Stanford, Calif. 1994 44 S. txt rdacontent n rdamedia nc rdacarrier Stanford University / Computer Science Department: Report STAN-CS 1501 Abstract: "We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared 'persistent by default.' The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold: We prove a representation theorem for KM semantics in terms of a restricted subfamily of the operators defined by our construction. We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family. Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts." Künstliche Intelligenz Artificial intelligence Shoham, Yoav Verfasser aut Computer Science Department: Report STAN-CS Stanford University 1501 (DE-604)BV008928280 1501 |
| spellingShingle | Del Val, Alvaro Shoham, Yoav Deriving properties of belief update from theories of action Künstliche Intelligenz Artificial intelligence |
| title | Deriving properties of belief update from theories of action |
| title_auth | Deriving properties of belief update from theories of action |
| title_exact_search | Deriving properties of belief update from theories of action |
| title_full | Deriving properties of belief update from theories of action by Alvaro del Val and Yoav Shoham |
| title_fullStr | Deriving properties of belief update from theories of action by Alvaro del Val and Yoav Shoham |
| title_full_unstemmed | Deriving properties of belief update from theories of action by Alvaro del Val and Yoav Shoham |
| title_short | Deriving properties of belief update from theories of action |
| title_sort | deriving properties of belief update from theories of action |
| topic | Künstliche Intelligenz Artificial intelligence |
| topic_facet | Künstliche Intelligenz Artificial intelligence |
| volume_link | (DE-604)BV008928280 |
| work_keys_str_mv | AT delvalalvaro derivingpropertiesofbeliefupdatefromtheoriesofaction AT shohamyoav derivingpropertiesofbeliefupdatefromtheoriesofaction |