|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/7828
|
| タイトル: | 時制と時区間を表現する複様相論理とその決定可能性 |
| 著者: | 吉岡, 卓
東条, 敏 |
| キーワード: | aspectual classification
interval logic
many-dimensional modal logic
sequent system
temporal logic |
| 発行日: | 2006 |
| 出版者: | 人工知能学会 |
| 誌名: | 人工知能学会論文誌 |
| 巻: | 21 |
| 号: | 3 |
| 開始ページ: | 257 |
| 終了ページ: | 265 |
| DOI: | 10.1527/tjsai.21.257 |
| 抄録: | Linear tense logics are widely accepted for structural temporal representation, where the basic K_T has two modal operators G and H, each of which represents the future and the past, respectively. On the other hand, the temporal interval relations arranged by Allen have long been the standard of natural language semantics, though it still lacks the modal-logical foundation. Van Benthem proposed □＾<up> and □_<down> in regard to the accessibility to overlapping intervals and subintervals, respectively; however, the logical feature of the modality has not well studied. In this study, we propose a many-dimensional logic including the conventional tense logic, together with such interval accessibility. And, we show that our logic provide a formal apparatus for a precise aspectual classification. Lastly, we introduce the sequent system for our logic. We show the subformula property holds in our system, and thus would be able to show the decidability. |
| Rights: | Copyright (C) 2006 人工知能学会. 吉岡 卓, 東条 敏, 人工知能学会論文誌, 21(3), 2006, 257-265. |
| URI: | http://hdl.handle.net/10119/7828 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| A6316.pdf | | 989Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
