Hypothetical reasoning in logic programs:
Abstract: "In order to express incomplete knowledge, extended logic programs have been proposed as logic programs with classical negation as well as negation as failure. This paper concerns how to deal with a broad class of commonsense knowledge by using extended logic programs, and presents th...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1991
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
691 |
| Subjects: | |
| Summary: | Abstract: "In order to express incomplete knowledge, extended logic programs have been proposed as logic programs with classical negation as well as negation as failure. This paper concerns how to deal with a broad class of commonsense knowledge by using extended logic programs, and presents the semantics of hypothetical reasoning based on extended logic programs. Like Poole's framework, some clauses are dealt with as assumptions distinct from a theory about the world and are used to augment the theory. This theory formation framework can be used for default reasoning, abduction and inconsistency resolution. We also show a translation of the framework to an extended logic program whose answer sets correspond to consistent belief sets of augmented theories." |
| Physical Description: | 46 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010954978 | ||
| 003 | DE-604 | ||
| 005 | 19981201 | ||
| 007 | t | ||
| 008 | 960918s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)25975269 | ||
| 035 | |a (DE-599)BVBBV010954978 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Inoue, Katsumi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Hypothetical reasoning in logic programs |c by K. Inoue |
| 264 | 1 | |a Tokyo, Japan |c 1991 | |
| 300 | |a 46 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 691 | |
| 520 | 3 | |a Abstract: "In order to express incomplete knowledge, extended logic programs have been proposed as logic programs with classical negation as well as negation as failure. This paper concerns how to deal with a broad class of commonsense knowledge by using extended logic programs, and presents the semantics of hypothetical reasoning based on extended logic programs. Like Poole's framework, some clauses are dealt with as assumptions distinct from a theory about the world and are used to augment the theory. This theory formation framework can be used for default reasoning, abduction and inconsistency resolution. We also show a translation of the framework to an extended logic program whose answer sets correspond to consistent belief sets of augmented theories." | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Negation (Logic) | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 691 |w (DE-604)BV010923438 |9 691 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007327287 | ||
Record in the Search Index
| _version_ | 1804125442038300672 |
|---|---|
| any_adam_object | |
| author | Inoue, Katsumi |
| author_facet | Inoue, Katsumi |
| author_role | aut |
| author_sort | Inoue, Katsumi |
| author_variant | k i ki |
| building | Verbundindex |
| bvnumber | BV010954978 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)25975269 (DE-599)BVBBV010954978 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01737nam a2200313 cb4500</leader><controlfield tag="001">BV010954978</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981201 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960918s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25975269</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010954978</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="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Inoue, Katsumi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hypothetical reasoning in logic programs</subfield><subfield code="c">by K. Inoue</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">46 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">691</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In order to express incomplete knowledge, extended logic programs have been proposed as logic programs with classical negation as well as negation as failure. This paper concerns how to deal with a broad class of commonsense knowledge by using extended logic programs, and presents the semantics of hypothetical reasoning based on extended logic programs. Like Poole's framework, some clauses are dealt with as assumptions distinct from a theory about the world and are used to augment the theory. This theory formation framework can be used for default reasoning, abduction and inconsistency resolution. We also show a translation of the framework to an extended logic program whose answer sets correspond to consistent belief sets of augmented theories."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Negation (Logic)</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">691</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">691</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007327287</subfield></datafield></record></collection> |
| id | DE-604.BV010954978 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:37Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007327287 |
| oclc_num | 25975269 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 46 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 | Inoue, Katsumi Verfasser aut Hypothetical reasoning in logic programs by K. Inoue Tokyo, Japan 1991 46 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 691 Abstract: "In order to express incomplete knowledge, extended logic programs have been proposed as logic programs with classical negation as well as negation as failure. This paper concerns how to deal with a broad class of commonsense knowledge by using extended logic programs, and presents the semantics of hypothetical reasoning based on extended logic programs. Like Poole's framework, some clauses are dealt with as assumptions distinct from a theory about the world and are used to augment the theory. This theory formation framework can be used for default reasoning, abduction and inconsistency resolution. We also show a translation of the framework to an extended logic program whose answer sets correspond to consistent belief sets of augmented theories." Logic programming Negation (Logic) Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 691 (DE-604)BV010923438 691 |
| spellingShingle | Inoue, Katsumi Hypothetical reasoning in logic programs Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming Negation (Logic) |
| title | Hypothetical reasoning in logic programs |
| title_auth | Hypothetical reasoning in logic programs |
| title_exact_search | Hypothetical reasoning in logic programs |
| title_full | Hypothetical reasoning in logic programs by K. Inoue |
| title_fullStr | Hypothetical reasoning in logic programs by K. Inoue |
| title_full_unstemmed | Hypothetical reasoning in logic programs by K. Inoue |
| title_short | Hypothetical reasoning in logic programs |
| title_sort | hypothetical reasoning in logic programs |
| topic | Logic programming Negation (Logic) |
| topic_facet | Logic programming Negation (Logic) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT inouekatsumi hypotheticalreasoninginlogicprograms |