Extended logic programs with default assumptions:
Abstract: "Extended logic programs were proposed by Gelfond and Lifschitz (1990) as logic programs with classical negation capable of expressing incomplete knowledge. Their work is expanded in this paper to deal with broader classes of commonsense knowledge. Like Poole's framework, some cl...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1990
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
607 |
| Subjects: | |
| Summary: | Abstract: "Extended logic programs were proposed by Gelfond and Lifschitz (1990) as logic programs with classical negation capable of expressing incomplete knowledge. Their work is expanded in this paper to deal with broader classes of commonsense knowledge. 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: | 31 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010953446 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960917s1990 |||| 00||| engod | ||
| 035 | |a (OCoLC)26737727 | ||
| 035 | |a (DE-599)BVBBV010953446 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Inoue, Katsumi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Extended logic programs with default assumptions |c by K. Inoue |
| 264 | 1 | |a Tokyo, Japan |c 1990 | |
| 300 | |a 31 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 607 | |
| 520 | 3 | |a Abstract: "Extended logic programs were proposed by Gelfond and Lifschitz (1990) as logic programs with classical negation capable of expressing incomplete knowledge. Their work is expanded in this paper to deal with broader classes of commonsense knowledge. 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 Abduction (Logic) | |
| 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 607 |w (DE-604)BV010923438 |9 607 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007325942 | ||
Record in the Search Index
| _version_ | 1804125440278790144 |
|---|---|
| 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 | BV010953446 |
| ctrlnum | (OCoLC)26737727 (DE-599)BVBBV010953446 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01640nam a2200313 cb4500</leader><controlfield tag="001">BV010953446</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960917s1990 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26737727</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010953446</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">Inoue, Katsumi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Extended logic programs with default assumptions</subfield><subfield code="c">by K. Inoue</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">31 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">607</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Extended logic programs were proposed by Gelfond and Lifschitz (1990) as logic programs with classical negation capable of expressing incomplete knowledge. Their work is expanded in this paper to deal with broader classes of commonsense knowledge. 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">Abduction (Logic)</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">607</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">607</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007325942</subfield></datafield></record></collection> |
| id | DE-604.BV010953446 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:35Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007325942 |
| oclc_num | 26737727 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 31 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| 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 Extended logic programs with default assumptions by K. Inoue Tokyo, Japan 1990 31 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 607 Abstract: "Extended logic programs were proposed by Gelfond and Lifschitz (1990) as logic programs with classical negation capable of expressing incomplete knowledge. Their work is expanded in this paper to deal with broader classes of commonsense knowledge. 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." Abduction (Logic) Logic programming Negation (Logic) Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 607 (DE-604)BV010923438 607 |
| spellingShingle | Inoue, Katsumi Extended logic programs with default assumptions Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Abduction (Logic) Logic programming Negation (Logic) |
| title | Extended logic programs with default assumptions |
| title_auth | Extended logic programs with default assumptions |
| title_exact_search | Extended logic programs with default assumptions |
| title_full | Extended logic programs with default assumptions by K. Inoue |
| title_fullStr | Extended logic programs with default assumptions by K. Inoue |
| title_full_unstemmed | Extended logic programs with default assumptions by K. Inoue |
| title_short | Extended logic programs with default assumptions |
| title_sort | extended logic programs with default assumptions |
| topic | Abduction (Logic) Logic programming Negation (Logic) |
| topic_facet | Abduction (Logic) Logic programming Negation (Logic) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT inouekatsumi extendedlogicprogramswithdefaultassumptions |