andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

February 1, 2022

Epistemology of Digital Knowledge Representation: empirical conjectures, formal proofs and human understanding / Эпистемология цифрового представления знаний: эмпирические гипотезы, формальные доказательства и человеческое понимание

Filed under: — Andrei Rodin @ 9:40 pm

Русский внизу


The project aims at studying epistemological principles that regulate acquiring, proceeding, representation and storage of knowledge with digital technologies, and at theoretical approaches to implementation of such principles in concrete engineering solutions. 

Knowledge representation and reasoning (KR) is a key area of Artificial Intelligence research; its tools and methods are widely used in today’s science, industry and education, which produces a very significant social impact.  KR plays an important role in Computer Science; there are special programming languages designed for KR purposes.  An open problem that the proposed project purports to solve is that the existing theories of KR have a purely applied character and don’t take into account many fundamental aspects of human knowledge including the fine logical, epistemological and cognitive structures of various types of knowledge, the historical and cultural variability of the concept of knowledge, the social and psychological aspects of scientific communications, education and  other epistemic practices. As a result, the existing in today’s Computer Science theories and methods do not allow one to predict the long-term social, anthropological and cultural consequences of using digital KR technologies in the general and professional education, in the science-laden industries, in the medicine, and in other human activities that make part of today’s knowledge-based economy.

Our proposed approach to solving this large problem is based on using principles and methods of formal philosophical epistemology supported by logical and mathematical methods that allow for computational implementation in form of software solutions. In particular, ways of formulating empirical conjectures with machine learning, computer-checkable formal deductive reasoning and proof, the topological data analysis as a recent example of using a non-standard conceptual optics in data-driven research  will be studied and analysed from an epistemological point of view.  A special attention will be given to the analysis of long-term socio-epistemological prospects of using digital methods in scientific communications and in education, which includes the issues of long-term storing valuable scientific data, public access to knowledge and technologies, and successful transmission of acquired knowledge through human generations.

Research Team: Sergei Titov, Andrei Rodin (PI), George Shabat and Alena Zhukova

The project is realised in the Russian Society of History and Philosophy of Science and supported by the Russian Science Foundation, research grant 22-28-01420

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress