Знания о предметной области

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

С формальной точки зрения здесь знания являются некоторым подмножеством множества правильных выражений языка семиотической системы.

Из предыдущего обсуждения ясно, что это подмножество состоит из трех частей.

Первая часть, которую мы обозначим через A₁ — это неподверженные изменениям знания, включающие законы мира. Их можно назвать аксиомами.

Вторая часть, A₂ — выражения импликативного вида, условия и заключения которых полагаются выводимыми (опровержимыми) в различные такты времени. Для простоты будем полагать, что (для всех выражений из A₂) такты времени, приписываемые условию и заключению, являются смежными. Элементы A₂ будем называть правилами переходов или смены состояний.

Третья часть этого множества, A₃ — факты, которые истинны в некоторых состояниях мира. Их мы будем называть фактами состояния.

Разумеется, конкретный набор правил и фактов полностью определятся предметной областью, однако существуют достаточно универсальные схемы аксиом, полезные для моделирования рассуждений в различных областях, на которых здесь мы не будем останавливаться.