Проблема обоснования в формальном представлении знаний С. П. Ковалёв, А. В. Родин
Material type: ArticleOther 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 в. и приводит к негативным практическим последствиям. Исследования последних лет в области теоретико-доказательной семантики, гомотопической теории типов и формальной эпистемологии позволяют наметить теоретическую основу для решения этой проблемы.Библиогр.: 16 назв.
Понятие знание, которое используется в компьютерной науке, не включает в себя обычное для философской эпистемологии требование обоснования знания. Такое положение вещей имеет глубокие корни в истории философской логики в XX в. и приводит к негативным практическим последствиям. Исследования последних лет в области теоретико-доказательной семантики, гомотопической теории типов и формальной эпистемологии позволяют наметить теоретическую основу для решения этой проблемы.
There are no comments on this title.