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

February 6, 2019

Knowledge Justification in Formal Epistemology

Filed under: — Andrei Rodin @ 5:17 pm

Project Description (Résumé):

 

The proposed research project is focused on a particular problem in Formal Epistemology, namely the problem of justification and verification of knowledge. Presently this problem stands open in Computer Science and Digital Technologies as well as in the Philosophical Logic. While the traditional epistemology draws a sharp distinction between true belief and knowledge as justified true belief, this conceptual distinction is hardly taken into consideration in the Knowledge Representation as a CS discipline. As a practical outcome the existing KR systems don’t provide their users with means for a routine checking and verification of knowledge. Recent results obtained on boaderlines between computational mathematical logic, formal epistemology and CS give new promising possibilities for developing formal justificatory procedures. The aim of the present project is to use up-to-date formal logical tools and bearing in mind current digital KR systems, to lay out a foundation of formal epistemological theory, which can be used for developing of a new generation of KR systems supporting a large spectrum of justificatory procedures available to their users.

 

supported by RFBR grant 19-011-00799

 

Participants:

Vladimir Vasyukov (IP RAS)

Sergei Titov (IP RAS)

Sergey Kovalyov (ICS RAS)

Danya Rogozin (MSU)

Andrei Rodin (IP RAS, PI)

George Shabat (RSUH)

 

 

Проблема обоснования знаний в формальной эпистемологии

 

поддержан РФФИ, грант 19-011-00799

 

 

Проект посвящен конкретной проблеме теории и практики формализации знаний, а именно проблеме формализации процедур обоснования и верификации знаний. Эта проблема остается на сегодняшний день открытой как в компьютерных науках и цифровых технологиях, так и в философской логике. В то время как традиционная философская эпистемология проводит четкое различие между истинным мнением и знанием (как обоснованным истинным мнением), формализация этого различия с помощью стандартных логических средств оказывается затруднительной. В теории представления знаний как разделе компьютерной науки это важное понятийное различие на сегодняшний день, как правило, вовсе не учитывается. В практическом плане это приводит к тому, что существующие системы цифрового представления знаний не предоставляют пользователям никаких специальных средств для рутинной проверки тех знаний, к которым пользователи данной системы получают доступ.

Полученные в последние годы результаты исследований на стыке вычислительной математической логики, формальной эпистемологии и компьютерной науки предоставляют новые возможности для эффективной формализации и вычислительной реализации обосновательных процедур. Цель настоящего проекта состоит в том, чтобы используя современные формально-логические средства и ориентируясь на существующую практику использования цифровых систем представления знаний, заложить основы формальной эпистемологической теории которая в будущем сможет быть использована для построения цифровых систем представления знаний нового поколения, которые будут предоставлять пользователям широкий спектр обосновательных процедур.

 

Участники:

Владимир Васюков (ИФ РАН)

Сергей Титов (ГАУГН и ИФ РАН)

Сергей Ковалёв (ИПУ РАН)

Даниил Рогозин (МГУ)

Андрей Родин (ИФ РАН, руководитель),

Георгий Шабат (РГГУ)

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress