事象発生頻度の変化を表現するための論理

• Item type: SIG Technical Reports(1)
• 公開日: 2017-11-09
• タイトル: 事象発生頻度の変化を表現するための論理
• タイトル / 言語: en
• タイトル: Logic to represent change of event frequency
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 群馬大学社会情報学部
• 著者所属(英): en
• 著者所属(英): Faculty of Social and Information Science, Gunma University
• 著者名: 高木, 理
• 著者名(英): Osamu, Takaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論の目的は，データベースに記録される時系列データ上に記録される事象の発生頻度の変化を表現するための形式言語，および，その意味論によって構成される頻度論理を提案することである．事象の変化を表現するために，統計学における検定の理論が用いられる．また，頻度論理によって表現される独特な性質として，事象の偏在性についても述べる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The purpose of this paper is to introduce a temporal logic that consists of a formal language and semantics to represent change of event frequency. The theory of statistics testing is employed to construct the semantics. As a distinguishing properly that can be represented in our logic, ubiquitous property of phenomena is also introduced.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN1009593X
• 書誌情報: 研究報告アルゴリズム（AL）; 巻 2017-AL-165, 号 13, p. 1-6, 発行日 2017-11-09
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8566
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会