Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 1069287

A Different Approach for Clique and Household Analysis in Synthetic Telecom Data Using Propositional Logic


Skansi, Sandro; Šekrst, Kristina; Kardum, Marko
A Different Approach for Clique and Household Analysis in Synthetic Telecom Data Using Propositional Logic // IEEE Mipro 2020 Proceedings (2020) (znanstveni, prihvaćen)


Naslov
A Different Approach for Clique and Household Analysis in Synthetic Telecom Data Using Propositional Logic

Autori
Skansi, Sandro ; Šekrst, Kristina ; Kardum, Marko

Vrsta, podvrsta
Radovi u časopisima, znanstveni

Izvornik
IEEE Mipro 2020 Proceedings (2020)

Status rada
Prihvaćen

Ključne riječi
Clique Detection ; SAT Solving ; DPLL ; Household Identification ; SAT encodings ; Telecom Data Analysis

Sažetak
In this paper we propose an non-machine learning artificial intelligence (AI) based approach for telecom data analysis, with a special focus on clique detection. Clique detection can be used to identify households, which is a major challenge in telecom data analysis and predictive analytics. Our approach does not use any form of machine learning, but another type of algorithm: satisfiability for propositional logic. This is a neglected approach in modern AI, and we aim to demonstrate that for certain tasks, it may be a good alternative to machine learning-based approaches. We have used a simple DPLL satisfiability solver over an artificially generated telecom dataset (due to GDPR regulations), but our approach can be implemented on any telecom data by following the SAT encoding we have developed, and the DPLL solver can be substituted by a more advanced alternative such as CDCL. This paper extends the method presented in [1] for banking logs to data containing caller information, and proposes a more efficient encoding.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo, Filozofija



POVEZANOST RADA


Ustanove
Fakultet hrvatskih studija, Zagreb

Profili:

Avatar Url Sandro Skansi (autor)

Avatar Url Marko Kardum (autor)

Citiraj ovu publikaciju

Skansi, Sandro; Šekrst, Kristina; Kardum, Marko
A Different Approach for Clique and Household Analysis in Synthetic Telecom Data Using Propositional Logic // IEEE Mipro 2020 Proceedings (2020) (znanstveni, prihvaćen)
Skansi, S., Šekrst, K. & Kardum, M. (2020) A Different Approach for Clique and Household Analysis in Synthetic Telecom Data Using Propositional Logic. Prihvaćen za objavljivanje u IEEE Mipro 2020 Proceedings. [Preprint].
@unknown{unknown, year = {2020}, keywords = {Clique Detection, SAT Solving, DPLL, Household Identification, SAT encodings, Telecom Data Analysis}, journal = {IEEE Mipro 2020 Proceedings}, title = {A Different Approach for Clique and Household Analysis in Synthetic Telecom Data Using Propositional Logic}, keyword = {Clique Detection, SAT Solving, DPLL, Household Identification, SAT encodings, Telecom Data Analysis} }