時制と時区間を表現する複様相論理とその決定可能性

• 吉岡 卓

  日本大学文理学部情報科学研究所

• 東条 敏

  北陸先端科学技術大学院大学情報科学研究科

書誌事項

タイトル別名

• Many-dimensional Modal Logic of Tense and Temporal Interval and its Decidability
• ジセイ ト ジクカン オ ヒョウゲン スル フクヨウソウ ロンリ ト ソノ ケッテイ カノウセイ

抄録

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.

収録刊行物

• 人工知能学会論文誌

  人工知能学会論文誌 21 257-265, 2006

  一般社団法人 人工知能学会

キーワード

• aspectual classification
• interval logic
• many-dimensional modal logic
• sequent system
• temporal logic

詳細情報

• CRID: 1390282680083262592
• NII論文ID: 10022006338
• NII書誌ID: AA11579226
• DOI: 10.1527/tjsai.21.257
• ISSN: 13468030
• ISSN: 13460714
• NDL書誌ID: 8686466
• Web Site: http://hdl.handle.net/10119/7828
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I8686466
• Web Site: http://www.jstage.jst.go.jp/article/tjsai/21/3/21_3_257/_pdf
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • IRDB
  • NDL
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可