WEKO3
インデックスリンク
アイテム
Existential rigidity and many modalities in order-sorted logic
https://iwate-u.repo.nii.ac.jp/records/10070
https://iwate-u.repo.nii.ac.jp/records/100701aa92c5a-6097-4658-a513-7b4e15e4fc9e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
kbs-v24i5p629-641.pdf (449.0 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2011-09-01 | |||||||
| タイトル | ||||||||
| タイトル | Existential rigidity and many modalities in order-sorted logic | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | Conceptual modeling | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | Order-sorted logic | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | Logical reasoning | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | Formal ontology | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | Modal logic | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者 |
Kaneiwa, Ken
× Kaneiwa, Ken
|
|||||||
| 著者(機関) | ||||||||
| 値 | Department of Electrical Engineering and Computer Science, Iwate University | |||||||
| 登録日 | ||||||||
| 日付 | 2011-09-01 | |||||||
| 書誌情報 |
Knowledge-Based Systems 巻 24, 号 5, p. 629-641, 発行日 2011-07-01 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 0950-7051 | |||||||
| Abstract | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (called sort-hierarchy). However, this logic cannot represent more complex sorted expressions when they are true in any possible world (as rigid) or some possible worlds (as modality) such as time, space, belief, or situation. In this study, we extend order-sorted logic by introducing existential rigidity and many modalities. In the extended logic, sorted modal formulas are interpreted over the Cartesian product of sets of possible worlds. We present a new labeled tableau calculus to check the (un)satisfiability and validity of sorted modal formulas. | |||||||
| 出版者 | ||||||||
| 出版者 | Elsevier B.V. | |||||||
| 権利 | ||||||||
| 権利情報 | Copyright © 2011 Elsevier B.V. All rights reserved. | |||||||
| DOI | ||||||||
| 関連タイプ | isVersionOf | |||||||
| 識別子タイプ | DOI | |||||||
| 関連識別子 | 10.1016/j.knosys.2011.02.001 | |||||||
| 著者版フラグ | ||||||||
| 出版タイプ | AM | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||||
