WEKO3
アイテム
A hybrid reasoning system with diagrams and sentences
http://hdl.handle.net/10191/5013
http://hdl.handle.net/10191/5013cf363675-b367-4330-9ba1-ef4fd6b0d3d8
名前 / ファイル | ライセンス | アクション |
---|---|---|
(Sawamura a hybrid)08400073.pdf (180.8 kB)
|
|
Item type | 会議発表論文 / Conference Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2007-09-26 | |||||
タイトル | ||||||
タイトル | A hybrid reasoning system with diagrams and sentences | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | A hybrid reasoning system with diagrams and sentences | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_5794 | |||||
タイプ | conference paper | |||||
著者 |
Sawamura, H.
× Sawamura, H.× Kiyozuka, K. |
|||||
著者別名 | ||||||
識別子 | 169592 | |||||
識別子Scheme | WEKO | |||||
姓名 | Sawamura, Hajime | |||||
著者別名 | ||||||
識別子 | 169593 | |||||
識別子Scheme | WEKO | |||||
姓名 | 澤村, 一 | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Deduction by a computer studied so far has been centered around symbolic reasoning with formulas. Recently, attention has been directed to reasoning with diagrams as well, in order to augment the deficiency of reasoning with symbols only. In this paper, we propose a hybrid reasoning system with diagrams and sentences, called JVenn, having perspicuity of diagrams and strictness of symbols complementarily. JVenn is unique particularly in the points that it has the strategy for proving a chain of syllogisms, allows for an interplay between diagrams and symbols, and guides reasoning with the beauty measure for diagrams | |||||
書誌情報 |
Proceedings. 2000 IEEE International Symposium on Visual Languages, 2000. en : Proceedings. 2000 IEEE International Symposium on Visual Languages, 2000. p. 73-74, 発行日 2000 |
|||||
出版者 | ||||||
出版者 | IEEE | |||||
DOI | ||||||
識別子タイプ | DOI | |||||
関連識別子 | info:doi/10.1109/VL.2000.874358 | |||||
権利 | ||||||
権利情報 | ©(2000) IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained the IEEE. | |||||
著者版フラグ | ||||||
値 | publisher |