RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ПОМИ, 1997, том 241, страницы 135–149 (Mi znsl485)
Градуируемые логические значения для представления знаний

Н. К. Косовский, А. В. Тишков

Санкт-Петербургский государственный университет

Аннотация: Статья посвящена описанию секвенциальных исчислений с возможностью сравнения утверждений логик Поста и изучению их основных свойств. Эти исчисления могут быть применены для компьютерного представления знаний. Библ. – 5 назв.

УДК: 510.64

Поступило: 19.02.1997


 Англоязычная версия: Journal of Mathematical Sciences (New York), 2000, 98:4, 500–507

Реферативные базы данных:

© МИАН, 2024