Epistemic semantics for fixed-point non-monotonic logics:
Abstract: "Default Logic and Autoepistemic Logic are the two best-known fixed-point non-monotonic logics. Despite the fact that they are known to be closely related and that the epistemic nature of Autoepistemic Logic is obvious, the only semantics that have been offered for Default Logic to da...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
1990
|
| Schriftenreihe: | Stanford University / Computer Science Department: Report STAN CS
1322 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Default Logic and Autoepistemic Logic are the two best-known fixed-point non-monotonic logics. Despite the fact that they are known to be closely related and that the epistemic nature of Autoepistemic Logic is obvious, the only semantics that have been offered for Default Logic to date are complex and have little to do with epistemic notions [Etherington 1987]. In this paper we provide simple uniform epistemic semantics for the two logics. We do so by translating them both into a new logic, called GK, of Grounded Knowledge, which embodies a modification of preference semantics [Shoham 1987]. |
| Beschreibung: | 11 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008973905 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 00||| eng d | ||
| 035 | |a (OCoLC)24629669 | ||
| 035 | |a (DE-599)BVBBV008973905 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13/3 |2 20 | |
| 100 | 1 | |a Lin, Fangzhen |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Epistemic semantics for fixed-point non-monotonic logics |c Fangzhen Lin ; Yoav Shoham |
| 264 | 1 | |a Stanford, Calif. |c 1990 | |
| 300 | |a 11 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 1322 | |
| 520 | 3 | |a Abstract: "Default Logic and Autoepistemic Logic are the two best-known fixed-point non-monotonic logics. Despite the fact that they are known to be closely related and that the epistemic nature of Autoepistemic Logic is obvious, the only semantics that have been offered for Default Logic to date are complex and have little to do with epistemic notions [Etherington 1987]. In this paper we provide simple uniform epistemic semantics for the two logics. We do so by translating them both into a new logic, called GK, of Grounded Knowledge, which embodies a modification of preference semantics [Shoham 1987]. | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Nonmonotonic reasoning | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 700 | 1 | |a Shoham, Yoav |e Verfasser |4 aut | |
| 810 | 2 | |a Computer Science Department: Report STAN CS |t Stanford University |v 1322 |w (DE-604)BV008928280 |9 1322 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005925556 | ||
Datensatz im Suchindex
| _version_ | 1804123311878176768 |
|---|---|
| any_adam_object | |
| author | Lin, Fangzhen Shoham, Yoav |
| author_facet | Lin, Fangzhen Shoham, Yoav |
| author_role | aut aut |
| author_sort | Lin, Fangzhen |
| author_variant | f l fl y s ys |
| building | Verbundindex |
| bvnumber | BV008973905 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)24629669 (DE-599)BVBBV008973905 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01752nam a2200349 cb4500</leader><controlfield tag="001">BV008973905</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1990 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24629669</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008973905</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="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lin, Fangzhen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Epistemic semantics for fixed-point non-monotonic logics</subfield><subfield code="c">Fangzhen Lin ; Yoav Shoham</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="c">1990</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">Stanford University / Computer Science Department: Report STAN CS</subfield><subfield code="v">1322</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Default Logic and Autoepistemic Logic are the two best-known fixed-point non-monotonic logics. Despite the fact that they are known to be closely related and that the epistemic nature of Autoepistemic Logic is obvious, the only semantics that have been offered for Default Logic to date are complex and have little to do with epistemic notions [Etherington 1987]. In this paper we provide simple uniform epistemic semantics for the two logics. We do so by translating them both into a new logic, called GK, of Grounded Knowledge, which embodies a modification of preference semantics [Shoham 1987].</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonmonotonic reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</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">1322</subfield><subfield code="w">(DE-604)BV008928280</subfield><subfield code="9">1322</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005925556</subfield></datafield></record></collection> |
| id | DE-604.BV008973905 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:46Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005925556 |
| oclc_num | 24629669 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 11 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series2 | Stanford University / Computer Science Department: Report STAN CS |
| spelling | Lin, Fangzhen Verfasser aut Epistemic semantics for fixed-point non-monotonic logics Fangzhen Lin ; Yoav Shoham Stanford, Calif. 1990 11 S. txt rdacontent n rdamedia nc rdacarrier Stanford University / Computer Science Department: Report STAN CS 1322 Abstract: "Default Logic and Autoepistemic Logic are the two best-known fixed-point non-monotonic logics. Despite the fact that they are known to be closely related and that the epistemic nature of Autoepistemic Logic is obvious, the only semantics that have been offered for Default Logic to date are complex and have little to do with epistemic notions [Etherington 1987]. In this paper we provide simple uniform epistemic semantics for the two logics. We do so by translating them both into a new logic, called GK, of Grounded Knowledge, which embodies a modification of preference semantics [Shoham 1987]. Logic, Symbolic and mathematical Nonmonotonic reasoning Programming languages (Electronic computers) Semantics Shoham, Yoav Verfasser aut Computer Science Department: Report STAN CS Stanford University 1322 (DE-604)BV008928280 1322 |
| spellingShingle | Lin, Fangzhen Shoham, Yoav Epistemic semantics for fixed-point non-monotonic logics Logic, Symbolic and mathematical Nonmonotonic reasoning Programming languages (Electronic computers) Semantics |
| title | Epistemic semantics for fixed-point non-monotonic logics |
| title_auth | Epistemic semantics for fixed-point non-monotonic logics |
| title_exact_search | Epistemic semantics for fixed-point non-monotonic logics |
| title_full | Epistemic semantics for fixed-point non-monotonic logics Fangzhen Lin ; Yoav Shoham |
| title_fullStr | Epistemic semantics for fixed-point non-monotonic logics Fangzhen Lin ; Yoav Shoham |
| title_full_unstemmed | Epistemic semantics for fixed-point non-monotonic logics Fangzhen Lin ; Yoav Shoham |
| title_short | Epistemic semantics for fixed-point non-monotonic logics |
| title_sort | epistemic semantics for fixed point non monotonic logics |
| topic | Logic, Symbolic and mathematical Nonmonotonic reasoning Programming languages (Electronic computers) Semantics |
| topic_facet | Logic, Symbolic and mathematical Nonmonotonic reasoning Programming languages (Electronic computers) Semantics |
| volume_link | (DE-604)BV008928280 |
| work_keys_str_mv | AT linfangzhen epistemicsemanticsforfixedpointnonmonotoniclogics AT shohamyoav epistemicsemanticsforfixedpointnonmonotoniclogics |