Rules representing two types of epistemic statements:
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 interpret...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1993
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
833 |
| Schlagworte: | |
| Zusammenfassung: | 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." |
| Beschreibung: | 15 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010958412 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960920s1993 |||| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007330307 | ||
Datensatz im Suchindex
| _version_ | 1804125445953683456 |
|---|---|
| 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>01679nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007330307</subfield></datafield></record></collection> |
| id | DE-604.BV010958412 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:41Z |
| 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 |
| spelling | Iwayama, Noboru Verfasser aut Rules representing two types of epistemic statements by N. Iwayama Tokyo, Japan 1993 15 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 833 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." Logic programming Semantics Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 833 (DE-604)BV010923438 833 |
| 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 |