Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Проблема обоснования в формальном представлении знаний С. П. Ковалёв, А. В. Родин

By: Ковалев, Сергей ПротасовичContributor(s): Родин, Андрей ВячеславовичMaterial type: ArticleArticleOther title: The problem of justification in formal knowledge representation [Parallel title]Subject(s): представление знаний | обоснование | доказательство | теоретико-доказательная семантика | гомотопическая теория типовGenre/Form: статьи в журналах Online resources: Click here to access online In: Вестник Томского государственного университета. Философия. Социология. Политология № 46. С. 22-29Abstract: Понятие знание, которое используется в компьютерной науке, не включает в себя обычное для философской эпистемологии требование обоснования знания. Такое положение вещей имеет глубокие корни в истории философской логики в XX в. и приводит к негативным практическим последствиям. Исследования последних лет в области теоретико-доказательной семантики, гомотопической теории типов и формальной эпистемологии позволяют наметить теоретическую основу для решения этой проблемы.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Библиогр.: 16 назв.

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

There are no comments on this title.

to post a comment.