SUCRA検索
  
     詳細検索
インデックスツリー

詳細



閲覧数:1016
ID A1003159
アイテムタイプ Article
このアイテムを表示する
本文 A1003159.pdf
Type : application/pdf Download
Size : 76.7 KB
Last updated : Sep 28, 2009
Downloads : 525

Total downloads since Sep 28, 2009 : 525
タイトル Tensed Ontology based on Simple Partial Logic
著者
加地, 大介 (Kachi, Daisuke)
埼玉大学教養学部 (Faculty of Liberal Arts, Saitama University)
[著者版]
出版者 IEEE
日付
出版年: 2002 - 2002
作成日: 2009-09-28
更新日
上位タイトル
Proceedings of Ninth International Symposium on Temporal Representation and Reasoning:TIME-02 (2002. ) ,p.141- 145
抄録 Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with other two ways based on ÃLukasiewicz’s threevalued logic and branching temporal logic.
言語
eng
資源タイプ text
ジャンル Journal Article
Index
/ Public / 埼玉大学 / 教養学部
/ Public / 主題別 / 人文学 / 哲学
/ Public / ジャンル別 / 会議発表論文 / 埼玉大学
関連アイテム


メインメニュー
SUCRAについて
リンク
SUCRAログイン
ユーザ名

パスワード