A unified view of consequence relation, belief revision and conditional logic:
Abstract: "The notion of minimality is widely used in three different areas of Artificial Intelligence: nonmonotonic reasoning, belief revision, and conditional reasoning. However, it is difficult for the readers of the literature in these areas to perceive the similarities clearly, because eac...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1991
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
609 |
| Subjects: | |
| Summary: | Abstract: "The notion of minimality is widely used in three different areas of Artificial Intelligence: nonmonotonic reasoning, belief revision, and conditional reasoning. However, it is difficult for the readers of the literature in these areas to perceive the similarities clearly, because each formalization in those areas uses its own language sometimes without referring to other formalizations. We define ordered structures and families of ordered structures as the common ingredient of the semantics of all the works above. We also define the logics for ordered structures and families We present a uniform view of how minimality is used in these three areas, and shed light on deep reciprocal relations among different approaches of these areas by using the ordered structures and the families of ordered structures. |
| Physical Description: | 25 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010953698 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960917s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)26293320 | ||
| 035 | |a (DE-599)BVBBV010953698 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Katsuno, Hirofumi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A unified view of consequence relation, belief revision and conditional logic |c by H. Katsuno & K. Satoh |
| 264 | 1 | |a Tokyo, Japan |c 1991 | |
| 300 | |a 25 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 609 | |
| 520 | 3 | |a Abstract: "The notion of minimality is widely used in three different areas of Artificial Intelligence: nonmonotonic reasoning, belief revision, and conditional reasoning. However, it is difficult for the readers of the literature in these areas to perceive the similarities clearly, because each formalization in those areas uses its own language sometimes without referring to other formalizations. We define ordered structures and families of ordered structures as the common ingredient of the semantics of all the works above. We also define the logics for ordered structures and families | |
| 520 | 3 | |a We present a uniform view of how minimality is used in these three areas, and shed light on deep reciprocal relations among different approaches of these areas by using the ordered structures and the families of ordered structures. | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic | |
| 700 | 1 | |a Satoh, Ken |d 1959- |e Verfasser |0 (DE-588)134075757 |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 609 |w (DE-604)BV010923438 |9 609 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007326163 | ||
Record in the Search Index
| _version_ | 1804125440547225600 |
|---|---|
| any_adam_object | |
| author | Katsuno, Hirofumi Satoh, Ken 1959- |
| author_GND | (DE-588)134075757 |
| author_facet | Katsuno, Hirofumi Satoh, Ken 1959- |
| author_role | aut aut |
| author_sort | Katsuno, Hirofumi |
| author_variant | h k hk k s ks |
| building | Verbundindex |
| bvnumber | BV010953698 |
| ctrlnum | (OCoLC)26293320 (DE-599)BVBBV010953698 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01940nam a2200337 cb4500</leader><controlfield tag="001">BV010953698</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960917s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26293320</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010953698</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">Katsuno, Hirofumi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A unified view of consequence relation, belief revision and conditional logic</subfield><subfield code="c">by H. Katsuno & K. Satoh</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25 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">609</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The notion of minimality is widely used in three different areas of Artificial Intelligence: nonmonotonic reasoning, belief revision, and conditional reasoning. However, it is difficult for the readers of the literature in these areas to perceive the similarities clearly, because each formalization in those areas uses its own language sometimes without referring to other formalizations. We define ordered structures and families of ordered structures as the common ingredient of the semantics of all the works above. We also define the logics for ordered structures and families</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">We present a uniform view of how minimality is used in these three areas, and shed light on deep reciprocal relations among different approaches of these areas by using the ordered structures and the families of ordered structures.</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="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Satoh, Ken</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)134075757</subfield><subfield code="4">aut</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">609</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">609</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007326163</subfield></datafield></record></collection> |
| id | DE-604.BV010953698 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:36Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007326163 |
| oclc_num | 26293320 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 25 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| 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 | Katsuno, Hirofumi Verfasser aut A unified view of consequence relation, belief revision and conditional logic by H. Katsuno & K. Satoh Tokyo, Japan 1991 25 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 609 Abstract: "The notion of minimality is widely used in three different areas of Artificial Intelligence: nonmonotonic reasoning, belief revision, and conditional reasoning. However, it is difficult for the readers of the literature in these areas to perceive the similarities clearly, because each formalization in those areas uses its own language sometimes without referring to other formalizations. We define ordered structures and families of ordered structures as the common ingredient of the semantics of all the works above. We also define the logics for ordered structures and families We present a uniform view of how minimality is used in these three areas, and shed light on deep reciprocal relations among different approaches of these areas by using the ordered structures and the families of ordered structures. Künstliche Intelligenz Artificial intelligence Logic Satoh, Ken 1959- Verfasser (DE-588)134075757 aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 609 (DE-604)BV010923438 609 |
| spellingShingle | Katsuno, Hirofumi Satoh, Ken 1959- A unified view of consequence relation, belief revision and conditional logic Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Künstliche Intelligenz Artificial intelligence Logic |
| title | A unified view of consequence relation, belief revision and conditional logic |
| title_auth | A unified view of consequence relation, belief revision and conditional logic |
| title_exact_search | A unified view of consequence relation, belief revision and conditional logic |
| title_full | A unified view of consequence relation, belief revision and conditional logic by H. Katsuno & K. Satoh |
| title_fullStr | A unified view of consequence relation, belief revision and conditional logic by H. Katsuno & K. Satoh |
| title_full_unstemmed | A unified view of consequence relation, belief revision and conditional logic by H. Katsuno & K. Satoh |
| title_short | A unified view of consequence relation, belief revision and conditional logic |
| title_sort | a unified view of consequence relation belief revision and conditional logic |
| topic | Künstliche Intelligenz Artificial intelligence Logic |
| topic_facet | Künstliche Intelligenz Artificial intelligence Logic |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT katsunohirofumi aunifiedviewofconsequencerelationbeliefrevisionandconditionallogic AT satohken aunifiedviewofconsequencerelationbeliefrevisionandconditionallogic |