Potential of general-purpose reasoning assistant system EUODHILOS:
Abstract: "Much work has been devoted to special-purpose reasoning assistant systems whose underlying logics are fixed. In contrast with such a trend, this paper is devoted to a new dimension of computer- assisted reasoning research, that is, a general-purpose reasoning assistant system that al...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan [u.a.]
1991
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
637 Research report 91,8 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Much work has been devoted to special-purpose reasoning assistant systems whose underlying logics are fixed. In contrast with such a trend, this paper is devoted to a new dimension of computer- assisted reasoning research, that is, a general-purpose reasoning assistant system that allows a user to define his or her own logical system relevant for the intended problem domain and to reason about it. In the first half of the paper, the need, significance and design principle of EUODHILOS : a general-purpose system for computer-assisted reasoning, are discussed Then the system overview is described, with emphasis on the following three points : (1) a formal system description language based on definite clause grammar, (2) a methodology for proving based on several sheets for logical thought, (3) visual human-computer interface for reasoning. In the latter half of the paper, the potential and usefulness of EUODHILOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein. These have been used or devised in a circle of computer science, artificial intelligence and so on. |
| Beschreibung: | 31 S. Ill. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010953970 | ||
| 003 | DE-604 | ||
| 005 | 20081107 | ||
| 007 | t | ||
| 008 | 960917s1991 a||| |||| 00||| engod | ||
| 035 | |a (OCoLC)24940419 | ||
| 035 | |a (DE-599)BVBBV010953970 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 088 | |a IIAS-RR-91-8E | ||
| 100 | 1 | |a Sawamura, Hajime |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Potential of general-purpose reasoning assistant system EUODHILOS |c by H. Sawamura & T. Minami ... |
| 264 | 1 | |a Tokyo, Japan [u.a.] |c 1991 | |
| 300 | |a 31 S. |b Ill. | ||
| 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 637 | |
| 490 | 1 | |a Research report |v 91,8 | |
| 520 | 3 | |a Abstract: "Much work has been devoted to special-purpose reasoning assistant systems whose underlying logics are fixed. In contrast with such a trend, this paper is devoted to a new dimension of computer- assisted reasoning research, that is, a general-purpose reasoning assistant system that allows a user to define his or her own logical system relevant for the intended problem domain and to reason about it. In the first half of the paper, the need, significance and design principle of EUODHILOS : a general-purpose system for computer-assisted reasoning, are discussed | |
| 520 | 3 | |a Then the system overview is described, with emphasis on the following three points : (1) a formal system description language based on definite clause grammar, (2) a methodology for proving based on several sheets for logical thought, (3) visual human-computer interface for reasoning. In the latter half of the paper, the potential and usefulness of EUODHILOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein. These have been used or devised in a circle of computer science, artificial intelligence and so on. | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Minami, Toshiro |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 637 |w (DE-604)BV010923438 |9 637 | |
| 830 | 0 | |a Research report |v 91,8 |w (DE-604)BV001896190 |9 91,8 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007326384 | ||
Datensatz im Suchindex
| _version_ | 1804125440839778304 |
|---|---|
| any_adam_object | |
| author | Sawamura, Hajime Minami, Toshiro |
| author_facet | Sawamura, Hajime Minami, Toshiro |
| author_role | aut aut |
| author_sort | Sawamura, Hajime |
| author_variant | h s hs t m tm |
| building | Verbundindex |
| bvnumber | BV010953970 |
| ctrlnum | (OCoLC)24940419 (DE-599)BVBBV010953970 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02352nam a2200361 cb4500</leader><controlfield tag="001">BV010953970</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081107 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960917s1991 a||| |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24940419</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010953970</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="088" ind1=" " ind2=" "><subfield code="a">IIAS-RR-91-8E</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sawamura, Hajime</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Potential of general-purpose reasoning assistant system EUODHILOS</subfield><subfield code="c">by H. Sawamura & T. Minami ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan [u.a.]</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">31 S.</subfield><subfield code="b">Ill.</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">637</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Research report</subfield><subfield code="v">91,8</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Much work has been devoted to special-purpose reasoning assistant systems whose underlying logics are fixed. In contrast with such a trend, this paper is devoted to a new dimension of computer- assisted reasoning research, that is, a general-purpose reasoning assistant system that allows a user to define his or her own logical system relevant for the intended problem domain and to reason about it. In the first half of the paper, the need, significance and design principle of EUODHILOS : a general-purpose system for computer-assisted reasoning, are discussed</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Then the system overview is described, with emphasis on the following three points : (1) a formal system description language based on definite clause grammar, (2) a methodology for proving based on several sheets for logical thought, (3) visual human-computer interface for reasoning. In the latter half of the paper, the potential and usefulness of EUODHILOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein. These have been used or devised in a circle of computer science, artificial intelligence and so on.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Minami, Toshiro</subfield><subfield code="e">Verfasser</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">637</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">637</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Research report</subfield><subfield code="v">91,8</subfield><subfield code="w">(DE-604)BV001896190</subfield><subfield code="9">91,8</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007326384</subfield></datafield></record></collection> |
| id | DE-604.BV010953970 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:01:36Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007326384 |
| oclc_num | 24940419 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 31 S. Ill. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Research report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Research report |
| spelling | Sawamura, Hajime Verfasser aut Potential of general-purpose reasoning assistant system EUODHILOS by H. Sawamura & T. Minami ... Tokyo, Japan [u.a.] 1991 31 S. Ill. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 637 Research report 91,8 Abstract: "Much work has been devoted to special-purpose reasoning assistant systems whose underlying logics are fixed. In contrast with such a trend, this paper is devoted to a new dimension of computer- assisted reasoning research, that is, a general-purpose reasoning assistant system that allows a user to define his or her own logical system relevant for the intended problem domain and to reason about it. In the first half of the paper, the need, significance and design principle of EUODHILOS : a general-purpose system for computer-assisted reasoning, are discussed Then the system overview is described, with emphasis on the following three points : (1) a formal system description language based on definite clause grammar, (2) a methodology for proving based on several sheets for logical thought, (3) visual human-computer interface for reasoning. In the latter half of the paper, the potential and usefulness of EUODHILOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein. These have been used or devised in a circle of computer science, artificial intelligence and so on. Logic, Symbolic and mathematical Reasoning Minami, Toshiro Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 637 (DE-604)BV010923438 637 Research report 91,8 (DE-604)BV001896190 91,8 |
| spellingShingle | Sawamura, Hajime Minami, Toshiro Potential of general-purpose reasoning assistant system EUODHILOS Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Research report Logic, Symbolic and mathematical Reasoning |
| title | Potential of general-purpose reasoning assistant system EUODHILOS |
| title_auth | Potential of general-purpose reasoning assistant system EUODHILOS |
| title_exact_search | Potential of general-purpose reasoning assistant system EUODHILOS |
| title_full | Potential of general-purpose reasoning assistant system EUODHILOS by H. Sawamura & T. Minami ... |
| title_fullStr | Potential of general-purpose reasoning assistant system EUODHILOS by H. Sawamura & T. Minami ... |
| title_full_unstemmed | Potential of general-purpose reasoning assistant system EUODHILOS by H. Sawamura & T. Minami ... |
| title_short | Potential of general-purpose reasoning assistant system EUODHILOS |
| title_sort | potential of general purpose reasoning assistant system euodhilos |
| topic | Logic, Symbolic and mathematical Reasoning |
| topic_facet | Logic, Symbolic and mathematical Reasoning |
| volume_link | (DE-604)BV010923438 (DE-604)BV001896190 |
| work_keys_str_mv | AT sawamurahajime potentialofgeneralpurposereasoningassistantsystemeuodhilos AT minamitoshiro potentialofgeneralpurposereasoningassistantsystemeuodhilos |