1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 6(46)'2005
  5. Доказательство полноты алгебры для логического исчисления с четырехзначной семантикой

Доказательство полноты алгебры для логического исчисления с четырехзначной семантикой

С.А. Войтович, О.М. Сорокин
Системи обробки інформації. — 2005. — № 6(46). – С. 193-203.
УДК 004.8(075)+004.93(075)
Мова статті: російська

В статье представлена алгебра для строгого логического исчисления с четырехзначной семантикой, которое предназначено для представления знаний в системах управления реального масштаба времени с использованием качественной оценки неопределенности признаковой информации. Доказана полнота предлагаемой алгебры.
Ключові слова: логическое исчисление, четырехзначная семантика, неопределенность признаковой информации, полнота алгебры
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Войтович С.А. Доказательство полноты алгебры для логического исчисления с четырехзначной семантикой / С.А. Войтович, О.М. Сорокин  // Системи обробки інформації. – 2005. – № 6(46). – С. 193-203.