アロー論理によるアスペクトの解析

• 東条 敏

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

書誌事項

タイトル別名

• Aspectual Information Represented by Arrow Logic
• アロー ロンリ ニ ヨル アスペクト ノ カイセキ

抄録

The objective of this paper is to give formal semantics to aspects, independent of individual natural languages. Recent aspect theories explain that aspects are different ways of viewing the common event structure. However, the theories are still informal and not expressed in precise logical formalisms, and in addition, aspectual terms are different from one theory to another. We first survey those theories and give a united view to terms. Thereafter, we propose to adopt arrow logic for the representation of aspect, where we regard arrows as the fundamental temporal extent, instead of conventional time points or intervals. We show that the logic could tersely represent various aspects in regard to the relations between the event structure and its references. We also formalize the rules for aspectual shifts from temporally infinite forms to aspectual forms, in logical inferences. Therefore, we not only represent the static representation of aspects, but also show the dynamic processes from an event ontology to aspects.

収録刊行物

• 自然言語処理

  自然言語処理 7 (4), 3-24, 2000

  一般社団法人　言語処理学会

キーワード

• イベント解析
• アスペクト
• 時相
• アロー論理
• 論理推論

詳細情報

• CRID: 1390282679452244480
• NII論文ID: 10008829847
• NII書誌ID: AN10472659
• DOI: 10.5715/jnlp.7.4_3
• ISSN: 21858314
• ISSN: 13407619
• NDL書誌ID: 5544165
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I5544165
• Web Site: http://www.jstage.jst.go.jp/article/jnlp1994/7/4/7_4_3/_pdf
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可