Rules representing two types of epistemic statements:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Tokyo, Japan
1993
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
833 |
| Schlagwörter: | |
| Abstract: | Abstract: "We propose a new semantics for a variant of Moore's autoepistemic logic, GK, defined by Lin and Shoham. By using the new semantics, we can describe undefinedness as a certain state in an agent's belief set. We emphasize that our semantics does not use three-valued interpretations but two-valued ones. Our new semantics reduced a drawback of Lin and Shohams' semantics in translating Reiter's default logic into GK formulas. Logic programming is captured in GK through the new semantics. For normal logic programs, the semantics of GK coincides with Przymusinski's stationary semantics. Even though a logic program has a partial model, we can check whether integrity constraints are satisfied in the new semantics of GK." |
| Umfang: | 15 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010958412 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 960920s1993 xx |||| 00||| engod | ||
| 035 | |a (OCoLC)34387148 | ||
| 035 | |a (DE-599)BVBBV010958412 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Iwayama, Noboru |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Rules representing two types of epistemic statements |c by N. Iwayama |
| 264 | 1 | |a Tokyo, Japan |c 1993 | |
| 300 | |a 15 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 833 | |
| 520 | 3 | |a Abstract: "We propose a new semantics for a variant of Moore's autoepistemic logic, GK, defined by Lin and Shoham. By using the new semantics, we can describe undefinedness as a certain state in an agent's belief set. We emphasize that our semantics does not use three-valued interpretations but two-valued ones. Our new semantics reduced a drawback of Lin and Shohams' semantics in translating Reiter's default logic into GK formulas. Logic programming is captured in GK through the new semantics. For normal logic programs, the semantics of GK coincides with Przymusinski's stationary semantics. Even though a logic program has a partial model, we can check whether integrity constraints are satisfied in the new semantics of GK." | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Semantics | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 833 |w (DE-604)BV010923438 |9 833 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007330307 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6123-833 |
|---|---|
| DE-BY-TUM_katkey | 766621 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010537950 |
| _version_ | 1821938148531240961 |
| any_adam_object | |
| author | Iwayama, Noboru |
| author_facet | Iwayama, Noboru |
| author_role | aut |
| author_sort | Iwayama, Noboru |
| author_variant | n i ni |
| building | Verbundindex |
| bvnumber | BV010958412 |
| ctrlnum | (OCoLC)34387148 (DE-599)BVBBV010958412 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01680nam a2200301 cb4500</leader><controlfield tag="001">BV010958412</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960920s1993 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34387148</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010958412</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">Iwayama, Noboru</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rules representing two types of epistemic statements</subfield><subfield code="c">by N. Iwayama</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15 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">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">833</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We propose a new semantics for a variant of Moore's autoepistemic logic, GK, defined by Lin and Shoham. By using the new semantics, we can describe undefinedness as a certain state in an agent's belief set. We emphasize that our semantics does not use three-valued interpretations but two-valued ones. Our new semantics reduced a drawback of Lin and Shohams' semantics in translating Reiter's default logic into GK formulas. Logic programming is captured in GK through the new semantics. For normal logic programs, the semantics of GK coincides with Przymusinski's stationary semantics. Even though a logic program has a partial model, we can check whether integrity constraints are satisfied in the new semantics of GK."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">833</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">833</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007330307</subfield></datafield></record></collection> |
| id | DE-604.BV010958412 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T10:03:50Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007330307 |
| oclc_num | 34387148 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 15 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spellingShingle | Iwayama, Noboru Rules representing two types of epistemic statements Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming Semantics |
| title | Rules representing two types of epistemic statements |
| title_auth | Rules representing two types of epistemic statements |
| title_exact_search | Rules representing two types of epistemic statements |
| title_full | Rules representing two types of epistemic statements by N. Iwayama |
| title_fullStr | Rules representing two types of epistemic statements by N. Iwayama |
| title_full_unstemmed | Rules representing two types of epistemic statements by N. Iwayama |
| title_short | Rules representing two types of epistemic statements |
| title_sort | rules representing two types of epistemic statements |
| topic | Logic programming Semantics |
| topic_facet | Logic programming Semantics |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT iwayamanoboru rulesrepresentingtwotypesofepistemicstatements |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6123-833 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |