Euodhilos, a general-purpose reasoning assistant system: concept and implementation
Abstract: "The concept of the general-purpose reasoning assistant system is presented. We are now developing a system named EUODHILOS as a prototype of that kind of system. It assists the user in describing the syntax of the logical expressions, defining a variety of logics which consists of ax...
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Numazu, Japan
1988
|
| Series: | International Institute for Advanced Study of Social Information Science <Numazu>: Research report
84 Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 430 |
| Subjects: | |
| Summary: | Abstract: "The concept of the general-purpose reasoning assistant system is presented. We are now developing a system named EUODHILOS as a prototype of that kind of system. It assists the user in describing the syntax of the logical expressions, defining a variety of logics which consists of axioms, inference rules, and rewriting rules, and also in constructing proofs for theorems under the logic so defined. Proofs are constructed under the support of the facility named "sheet of thought", which is an interactive and visual proof editing environment. Proofs are expressed and edited in the tree structured forms of the natural deduction like style." |
| Physical Description: | 21 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010753096 | ||
| 003 | DE-604 | ||
| 005 | 20081106 | ||
| 007 | t | ||
| 008 | 960514s1988 |||| 00||| engod | ||
| 035 | |a (OCoLC)20839418 | ||
| 035 | |a (DE-599)BVBBV010753096 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 245 | 1 | 0 | |a Euodhilos, a general-purpose reasoning assistant system |b concept and implementation |c by Toshiro Minami ... |
| 264 | 1 | |a Numazu, Japan |c 1988 | |
| 300 | |a 21 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a International Institute for Advanced Study of Social Information Science <Numazu>: Research report |v 84 | |
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 430 | |
| 520 | 3 | |a Abstract: "The concept of the general-purpose reasoning assistant system is presented. We are now developing a system named EUODHILOS as a prototype of that kind of system. It assists the user in describing the syntax of the logical expressions, defining a variety of logics which consists of axioms, inference rules, and rewriting rules, and also in constructing proofs for theorems under the logic so defined. Proofs are constructed under the support of the facility named "sheet of thought", which is an interactive and visual proof editing environment. Proofs are expressed and edited in the tree structured forms of the natural deduction like style." | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Logic design |x Data processing | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Minami, Toshiro |e Sonstige |4 oth | |
| 830 | 0 | |a International Institute for Advanced Study of Social Information Science <Numazu>: Research report |v 84 |w (DE-604)BV001896190 |9 84 | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 430 |w (DE-604)BV010923438 |9 430 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007181479 | ||
Record in the Search Index
| _version_ | 1804125233566711808 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV010753096 |
| ctrlnum | (OCoLC)20839418 (DE-599)BVBBV010753096 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01984nam a2200349 cb4500</leader><controlfield tag="001">BV010753096</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081106 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960514s1988 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20839418</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010753096</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="245" ind1="1" ind2="0"><subfield code="a">Euodhilos, a general-purpose reasoning assistant system</subfield><subfield code="b">concept and implementation</subfield><subfield code="c">by Toshiro Minami ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Numazu, Japan</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">21 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">International Institute for Advanced Study of Social Information Science <Numazu>: Research report</subfield><subfield code="v">84</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">430</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The concept of the general-purpose reasoning assistant system is presented. We are now developing a system named EUODHILOS as a prototype of that kind of system. It assists the user in describing the syntax of the logical expressions, defining a variety of logics which consists of axioms, inference rules, and rewriting rules, and also in constructing proofs for theorems under the logic so defined. Proofs are constructed under the support of the facility named "sheet of thought", which is an interactive and visual proof editing environment. Proofs are expressed and edited in the tree structured forms of the natural deduction like style."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</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">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">International Institute for Advanced Study of Social Information Science <Numazu>: Research report</subfield><subfield code="v">84</subfield><subfield code="w">(DE-604)BV001896190</subfield><subfield code="9">84</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">430</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">430</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007181479</subfield></datafield></record></collection> |
| id | DE-604.BV010753096 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:58:18Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007181479 |
| oclc_num | 20839418 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 21 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| record_format | marc |
| series | International Institute for Advanced Study of Social Information Science <Numazu>: Research report Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | International Institute for Advanced Study of Social Information Science <Numazu>: Research report Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spelling | Euodhilos, a general-purpose reasoning assistant system concept and implementation by Toshiro Minami ... Numazu, Japan 1988 21 S. txt rdacontent n rdamedia nc rdacarrier International Institute for Advanced Study of Social Information Science <Numazu>: Research report 84 Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 430 Abstract: "The concept of the general-purpose reasoning assistant system is presented. We are now developing a system named EUODHILOS as a prototype of that kind of system. It assists the user in describing the syntax of the logical expressions, defining a variety of logics which consists of axioms, inference rules, and rewriting rules, and also in constructing proofs for theorems under the logic so defined. Proofs are constructed under the support of the facility named "sheet of thought", which is an interactive and visual proof editing environment. Proofs are expressed and edited in the tree structured forms of the natural deduction like style." Datenverarbeitung Logic design Data processing Logic programming Reasoning Minami, Toshiro Sonstige oth International Institute for Advanced Study of Social Information Science <Numazu>: Research report 84 (DE-604)BV001896190 84 Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 430 (DE-604)BV010923438 430 |
| spellingShingle | Euodhilos, a general-purpose reasoning assistant system concept and implementation International Institute for Advanced Study of Social Information Science <Numazu>: Research report Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Datenverarbeitung Logic design Data processing Logic programming Reasoning |
| title | Euodhilos, a general-purpose reasoning assistant system concept and implementation |
| title_auth | Euodhilos, a general-purpose reasoning assistant system concept and implementation |
| title_exact_search | Euodhilos, a general-purpose reasoning assistant system concept and implementation |
| title_full | Euodhilos, a general-purpose reasoning assistant system concept and implementation by Toshiro Minami ... |
| title_fullStr | Euodhilos, a general-purpose reasoning assistant system concept and implementation by Toshiro Minami ... |
| title_full_unstemmed | Euodhilos, a general-purpose reasoning assistant system concept and implementation by Toshiro Minami ... |
| title_short | Euodhilos, a general-purpose reasoning assistant system |
| title_sort | euodhilos a general purpose reasoning assistant system concept and implementation |
| title_sub | concept and implementation |
| topic | Datenverarbeitung Logic design Data processing Logic programming Reasoning |
| topic_facet | Datenverarbeitung Logic design Data processing Logic programming Reasoning |
| volume_link | (DE-604)BV001896190 (DE-604)BV010923438 |
| work_keys_str_mv | AT minamitoshiro euodhilosageneralpurposereasoningassistantsystemconceptandimplementation |