Skip to main content
SpringerLink
Log in

System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers

  • Conference paper
  • First Online:
Artificial Intelligence and Soft Computing (ICAISC 2018)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10842))

Included in the following conference series:

  • 1882 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abdar, M., Yen, N.Y.: Design of a universal user model for dynamic crowd preference sensing and decision-making behavior analysis. IEEE Access 5, 24842–24852 (2017)

    Article  Google Scholar 

  2. Blei, D.M., Ng, A.Y., Jordan, M.I.: Latent Dirichlet allocation. J. Mach. Learn. Res. 3, 993–1022 (2003). http://dl.acm.org/citation.cfm?id=944919.944937

    MATH  Google Scholar 

  3. Harris, Z.: Distributional structure. Word 10(23), 146–162 (1954)

    Article  Google Scholar 

  4. Klimek, R.: Deduction-based formal verification of requirements models with automatic generation of logical specifications. In: Maciaszek, L.A., Filipe, J. (eds.) ENASE 2012. CCIS, vol. 410, pp. 157–171. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-45422-6_11

    Chapter  Google Scholar 

  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_22

    Chapter  Google 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_37

    Chapter  Google 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 2017

    Google 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 2017

    Google Scholar 

  14. Wisniewski, P., Kluza, K., Ligeza, A.: Decision support system for robust urban transport management. In: FedCSIS, pp. 1069–1074 (2017)

    Google Scholar 

Download references

Acknowledgments

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.

Author information

Authors and Affiliations

  1. AGH University of Science and Technology, Al. Mickiewicza 30, 30-059, Kraków, Poland

    Radosław Klimek

Authors
  1. Radosław Klimek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Radosław Klimek .

Editor information

Editors and Affiliations

  1. Częstochowa University of Technology, Częstochowa, Poland

    Leszek Rutkowski

  2. Częstochowa University of Technology, Częstochowa, Poland

    Rafał Scherer

  3. Częstochowa University of Technology, Częstochowa, Poland

    Marcin Korytkowski

  4. University of Alberta, Edmonton, AB, Canada

    Witold Pedrycz

  5. AGH University of Science and Technology, Kraków, Poland

    Ryszard Tadeusiewicz

  6. University of Louisville, Louisville, KY, USA

    Jacek M. Zurada

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Klimek, R. (2018). System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers. In: Rutkowski, L., Scherer, R., Korytkowski, M., Pedrycz, W., Tadeusiewicz, R., Zurada, J. (eds) Artificial Intelligence and Soft Computing. ICAISC 2018. Lecture Notes in Computer Science(), vol 10842. Springer, Cham. https://doi.org/10.1007/978-3-319-91262-2_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91262-2_35

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91261-5

  • Online ISBN: 978-3-319-91262-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation