Export Mendeley
＜journal article＞
Geometry Theorem Proving Using Rough Drowings
| Creator | |
|---|---|
| Language | |
| Publisher | |
| Date | |
| Source Title | |
| Vol | |
| Issue | |
| First Page | |
| Last Page | |
| Publication Type | |
| Access Rights | |
| Related DOI | |
| Related URI | |
| Related HDL | |
| Abstract | 論理的推論は, 様々な論理的仮定から, 新しい命題を導き出す操作を繰り返し行ない結論に至る道筋を求めることである。我々は幾何や物理の問題を考えるとき, しばしば図を利用する。このような具体的に見える図は直観的に分かり易いもので, 推論の方向を導く手助けとなる。今回我々が対象とする初等幾何の問題についても, 一切, 図を見ないで考えることは非常に困難である。逆にいえば, 具体的な図を人間は推論に有効...に利用しているといえる。人間が描いた図は全く正確ではなく, 与えられた条件を正しく満たしてはいないが, 我々がその図形を見るときには, これらの条件だけを抽象化して認識していると考えられる。我々はこのアイデアに基づき, 具体的に描かれた図の情報を用いて, 初等幾何の証明問題を解くシステムを開発中である。本稿ではこのシステムの概略を報告する。show more |
Hide fulltext details.
| File | FileType | Size | Views | Description |
|---|---|---|---|---|
hirokawa_193
|
144 KB | 489 |
Details
| Record ID | |
|---|---|
| Peer-Reviewed | |
| Related URI | |
| NCID | |
| Notes | |
| Created Date | 2013.12.09 |
| Modified Date | 2023.07.28 |