WEKO3
アイテム
Diagrammatic Calculus for Order-sorted Logic
https://doi.org/10.34356/00000426
https://doi.org/10.34356/00000426773bc7be-619c-48a1-b918-3c065a2b34c5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
Diagrammatic Calculus for Order-sorted Logic (507.9 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-03-23 | |||||||||
| タイトル | ||||||||||
| タイトル | Diagrammatic Calculus for Order-sorted Logic | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | departmental bulletin paper | |||||||||
| ID登録 | ||||||||||
| ID登録 | 10.34356/00000426 | |||||||||
| ID登録タイプ | JaLC | |||||||||
| 著者 |
寺川, 宏之
× 寺川, 宏之
× 吉岡, 卓
|
|||||||||
| 著者別名 | ||||||||||
| 識別子Scheme | WEKO | |||||||||
| 識別子 | 9572 | |||||||||
| 姓名 | TERAKAWA, Hiroyuki | |||||||||
| 著者別名 | ||||||||||
| 識別子Scheme | WEKO | |||||||||
| 識別子 | 9573 | |||||||||
| 姓名 | YOSHIOKA, Suguru | |||||||||
| 抄録 | ||||||||||
| 内容記述タイプ | Abstract | |||||||||
| 内容記述 | In the field of artificial intelligence, order-sorted logics, that have subsumption relations between sorts, are widely utilized for structural knowledge representations. Among them, dual hierarchical systems, that have subsumption relations also in events (predicates) as well as sorts (terms), can realize superb efficiency in logical reasoning. In ordinary cases, such subsumption relations organizes a lattice, the operations of ‘join’ and ‘meet’ being assumed. However, in dual systems, the description of two different lattices of predicates and sorts, makes us hard to find reasonability between atomic formulae. In this paper, we propose a representation of cellular table for the dual hierarchies, assigning a Gödel number to each node to identify its spacial position. Thus, we can describe two lattices in one table, and in addition, the reasonability between two atomic formulae is reduced to simple numerical calculation. Therefore, (i) the reasonability between two distant atomic formulae and (ii) the scope of partial negation are easily displayed, and in addition, (iii) that the whole table is adequately maintained even in case new subsumption relations are added. We implemented a deduction system on a computer, and showed its efficiency. | |||||||||
| 出版者 | ||||||||||
| 出版者 | 都留文科大学 | |||||||||
| 書誌情報 |
都留文科大学研究紀要 en : 都留文科大学研究紀要 号 87, p. 29-42, 発行日 2018-03-01 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 0286-3774 | |||||||||
| NCID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN00149431 | |||||||||
| 著者版フラグ | ||||||||||
| 出版タイプ | VoR | |||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||
