System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers
Discovering and modeling preferences has an important meaning in the modern IT systems, also in the intelligent and multi-agent systems which are context sensitive and should be proactive. The preference modelling enables understanding the needs of objects working within intelligent spaces, in an intelligent city. There was presented a proposal for a system, which, based on logical reasoning and using advanced SAT solvers, is able to analyze data from social networks for preference determination in relation to its own presented offers from different domains. The basic algorithms of the system were presented as well as the validation of practical application.
KeywordsPreference model SAT solvers Social networking data Facebook Twitter
I would like to thank my students Vadym Perepeliak and Karol Pietruszka (AGH UST, Kraków, Poland) for their valuable cooperation when preparing this work.
- 5.Klimek, R.: Behaviour recognition and analysis in smart environments for context-aware applications. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2015), 9–12 October 2015, City University of Hong Kong, Hong Kong, pp. 1949–1955. IEEE Computer Society (2015)Google Scholar
- 6.Klimek, R., Kotulski, L.: Proposal of a multiagent-based smart environment for the IoT. In: Augusto, J.C., Zhang, T. (eds.) Workshop Proceedings of the 10th International Conference on Intelligent Environments, 30th June–1st July 2014, Shanghai, China. Ambient Intelligence and Smart Environments, vol. 18, pp. 37–44. IOS Press (2014)Google Scholar
- 7.Klimek, R., Kotulski, L.: Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2015. LNCS (LNAI), vol. 9120, pp. 237–246. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19369-4_22CrossRefGoogle Scholar
- 8.Klimek, R., Rogus, G.: Proposal of a context-aware smart home ecosystem. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2015. LNCS (LNAI), vol. 9120, pp. 412–423. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19369-4_37CrossRefGoogle Scholar
- 9.Klimek, R., Szwed, P.: Verification of ArchiMate process specifications based on deductive temporal reasoning. In: Proceedings of Federated Conference on Computer Science and Information Systems (FedCSIS 2013), 8–11 September 2013, Kraków, Poland, pp. 1131–1138. IEEE Xplore Digital Library (2013)Google Scholar
- 10.Kluza, K., Jobczyk, K., Wisniewski, P., Ligeza, A.: Overview of time issues with temporal logics for business process models. In: Ganzha, M., Maciaszek, L.A., Paprzycki, M. (eds.) Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, 11–14 September 2016, Gdańsk, Poland, pp. 1115–1123 (2016). https://doi.org/10.15439/2016F328
- 11.Le Berre, D., Parrain, A.: Sat4j - the Boolean satisfaction and optimization library in Java (2017). http://www.sat4j.org/. Accessed 8 Jun 2017
- 12.Liu, Y., Xie, Q., Xiong, F.: Recommendations based on collaborative filtering by tag weights. In: 2017 13th International Conference on Semantics, Knowledge and Grids (SKG), pp. 62–68, August 2017Google Scholar
- 13.Magdum, S.S., Megha, J.V.: Mining online reviews and tweets for predicting sales performance and success of movies. In: 2017 International Conference on Intelligent Computing and Control Systems (ICICCS), pp. 334–339, June 2017Google Scholar
- 14.Wisniewski, P., Kluza, K., Ligeza, A.: Decision support system for robust urban transport management. In: FedCSIS, pp. 1069–1074 (2017)Google Scholar