講演抄録/キーワード |
講演名 |
2017-11-16 16:30
事象発生頻度の変化を表現するための論理 ○高木 理(群馬大) CAS2017-49 MSS2017-33 |
抄録 |
(和) |
本論の目的は,データベースに記録される時系列データ上に記録される事象の発生頻度の変化を表現するための形式言語,および,その意味論によって構成される頻度論理を提案することである.事象の変化を表現するために,統計学における検定の理論が用いられる.また,頻度論理によって表現される独特な性質として,事象の偏在性についても述べる. |
(英) |
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 property that can be represented in our logic, ubiquitous property of phenomena is also introduced. |
キーワード |
(和) |
頻度 / 時相論理 / 偏在性 / 時系列データ / 医療データベース / / / |
(英) |
frequency / temporal logic / ubiquitous property / time-series data / medical database / / / |
文献情報 |
信学技報, vol. 117, no. 301, MSS2017-33, pp. 57-62, 2017年11月. |
資料番号 |
MSS2017-33 |
発行日 |
2017-11-09 (CAS, MSS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CAS2017-49 MSS2017-33 |