Skip to main content

Subjective Expert Evaluations in the Model-Theoretic Representation of Object Domain Knowledge

  • Conference paper
  • First Online:
Artificial Intelligence (RCAI 2021)

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

Included in the following conference series:

Abstract

Often, evaluative knowledge about the object area is formulated not only as an objective (statistical) probability but also as a subjective (expert) probability. Expert evaluations may be incomplete or inconsistent with each other. A tool is needed to check the consistency of expertise.

The paper proposes a theoretical-modal formalization of subjective and objective interpretations of probability. This allows us to formulate the criteria for the correctness of the evaluative knowledge received from the experts. The article describes an algorithm for checking the correctness of evaluative knowledge, as well as an algorithm for correcting some incorrectness.

The research was funded by RFBR and Novosibirsk region, project No. 20-47-540005.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.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

Notes

  1. 1.

    https://github.com/Z3Prover/z3.

References

  1. Sokolov, I.A.: Theory and practice of application of artificial intelligence methods. Her. Russ. Acad. Sci. 89(2), 115–119 (2019). https://doi.org/10.1134/S1019331619020205

    Article  Google Scholar 

  2. Naydanov, C., Palchunov, D., Sazonova, P.: Development of automated methods for the critical condition risk prevention, based on the analysis of the knowledge obtained from patient medical records. In: Proceedings International Conference on Biomedical Engineering and Computational Technologies, SIBIRCON 2015 (2015)

    Google Scholar 

  3. Palchunov, D., Yakgyaeva, G.: Representation of Knowledge Using Different Structures of Concepts. CEUR Workshop Proceedings, p. 2729 (2020)

    Google Scholar 

  4. Kuznetsov, S.O., Poelmans, J.: Knowledge representation and processing with formal concept analysis. Wiley Interdisc. Rev.: Data Mining Knowl. Discov. 3(3) (2013). https://doi.org/10.1002/widm.1088

  5. Kaytoue, M., Codocedo, V., Buzmakov, A., Baixeries, J., Kuznetsov, S.O., Napoli, A.: Pattern structures and concept lattices for data mining and knowledge processing. In: Bifet, A., et al. (eds.) ECML PKDD 2015. LNCS (LNAI), vol. 9286, pp. 227–231. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23461-8_19

  6. Kuznetsov, S.O., Makhalova, T.: On interestingness measures of formal concepts. Inf. Sci. 442–443, 202–219 (2018)

    Google Scholar 

  7. Palchunov, D., Yakhyaeva, G.: Application of Boolean-valued models and FCA for the development of ontological model. CEUR Workshop Proceedings, pp. 1921 (2017)

    Google Scholar 

  8. Palchunov, D.E., Yakhyaeva G.E.: Integration of Fuzzy Model Theory and FCA for Big Data Mining. In: SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Novosibirsk, Russia, pp. 0961–0966 (2019)

    Google Scholar 

  9. Palchunov, D.E., Tishkovsky, D.E., Tishkovskaya, S.V., Yakhyaeva G.E.: Combining logical and statistical rule reasoning and verification for medical applications. In: Proceedings - 2017 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2017, 18–22 September 2017, Novosibirsk, Russia (2017)

    Google Scholar 

  10. Rocchi, P.: Interpretations of Probability. In: Janus-Faced Probability, pp. 3–8. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-04861-1_1

    Chapter  MATH  Google Scholar 

  11. Carnap, R.: Philosophical Foundations of Physics. Basic Books, New York (1966)

    Google Scholar 

  12. Yakhyaeva, G.E.: Application of Boolean Valued and Fuzzy Model Theory for Knowledge Base Development. In: SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings, pp. 0868–0871 (2019)

    Google Scholar 

  13. Palchunov, D., Yakhyaeva, G.: Fuzzy logics and fuzzy model theory. Algebra Logic 54(1), 74–80 (2015)

    Article  MathSciNet  Google Scholar 

  14. Yakhyaeva, G.: Fuzzy model truth values. In: Proceedings of the 6-th International Conference Aplimat, February 6–9, Bratislava, Slovak Republic, pp. 423–431 (2007)

    Google Scholar 

  15. Yakhyaeva, G.: Logic of fuzzifications. In: Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, pp. 222–239 (2009)

    Google Scholar 

  16. Beliakov, G., James, S., Wu, J.-Z.: Discrete Fuzzy Measures: Computational Aspects. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-15305-2

  17. Dulesov, A.S., Semenova, M.Yu.: Subjective probability in determining the measure of uncertainty of the state of an object. Fundamental research, No.3 (2012). (in Russian)

    Google Scholar 

  18. Kobrinsky, B.A.: Approaches to displaying subjectively fuzzy representations of an expert and a user in intelligent systems. Software products and systems. No.4 (1997). (in Russian)

    Google Scholar 

  19. Kobrinsky, B.A.: Fuzzy and confidence factors of verbal and visual expert knowledge. Fuzzy systems, soft computing and intelligent technologies. In: Proceedings of the VII All-Russian Scientific and Practical Conference (St. Petersburg, July 3–7, 2017) (2017). (in Russian)

    Google Scholar 

  20. Palchunov, D.E., Yakhyaeva, G.E.: Fuzzy algebraic systems. Vestnik NSU. Ser.: Math. Mech. Inf. 10(3), 75–92 (2010). (in Russian)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Yakhyaeva, G., Skokova, V. (2021). Subjective Expert Evaluations in the Model-Theoretic Representation of Object Domain Knowledge. In: Kovalev, S.M., Kuznetsov, S.O., Panov, A.I. (eds) Artificial Intelligence. RCAI 2021. Lecture Notes in Computer Science(), vol 12948. Springer, Cham. https://doi.org/10.1007/978-3-030-86855-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-86855-0_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-86854-3

  • Online ISBN: 978-3-030-86855-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics