| Presentation | 2018-11-13 Extension of Frequency Logic for Cooperation Analysis of Diverse Data Osamu Takaki, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The previous papers [1,2] presented a formal logic called “Frequency Logic” to represent a change in the frequency of an event such as surgery. In this paper, the logic is extended to have more expressiveness, based on two approaches. The first approach is to extend the model which is the basis for the semantics of frequency logic. The second approach is to add a new statistical testing method to assigning truth values to formulas in frequency logic. The extended logic enables to coordinate more diverse data and to analyze a change in the frequency from multiple viewpoints. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Frequency / Temporal Logic / Time Series Data / Database |
| Paper # | CAS2018-77,MSS2018-53 |
| Date of Issue | 2018-11-05 (CAS, MSS) |
| Conference Information | |
| Committee | MSS / CAS / IPSJ-AL |
|---|---|
| Conference Date | 2018/11/12(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Morikazu Nakamura(Univ. of Ryukyus) / Hideaki Okazaki(Shonan Inst. of Tech.) |
| Vice Chair | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) |
| Secretary | Shigemasa Takai(Toshiba) / Taizo Yamawaki(Osaka Univ.) / (Shonan Inst. of Tech.) |
| Assistant | Hideki Kinjo(Okinawa Univ.) / Motoi Yamaguchi(Renesas Electronics) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Extension of Frequency Logic for Cooperation Analysis of Diverse Data |
| Sub Title (in English) | Towards Evaluation of Larger Business Process Based on Frequency Logic |
| Keyword(1) | Frequency |
| Keyword(2) | Temporal Logic |
| Keyword(3) | Time Series Data |
| Keyword(4) | Database |
| 1st Author's Name | Osamu Takaki |
| 1st Author's Affiliation | Gunma University(Gunma Univ.) |
| Date | 2018-11-13 |
| Paper # | CAS2018-77,MSS2018-53 |
| Volume (vol) | vol.118 |
| Number (no) | CAS-295,MSS-296 |
| Page | pp.pp.131-136(CAS), pp.131-136(MSS), |
| #Pages | 6 |
| Date of Issue | 2018-11-05 (CAS, MSS) |