Формальная теория и интерпретация. Уточнение понятия изоморфизма. Языковой и процедурный компоненты формальных систем.
Определение формальной системы. Понятие символа, алфавита, синтаксиса, аксиоматики и правил вывода. Метаязыковые средства задания формальных систем. Формальная теория и интерпретация. Уточнение понятия изоморфизма. Языковой и процедурный компоненты формальных систем. Формализм как средство представления знаний. Моделирование формальных систем и процесса логического вывода на ЭВМ. Практическое значение теории формальных систем для специалиста в области прикладной информатики.
Бинарное отношение ψ, позволяющее установить одинаковость структур двух систем, называют изоморфизмом
Отношение Ψ устанавливает взаимно-обратную связь между системами, поля которых упорядочивают отношения f и g
Формализм как средство представления знаний.
Знания – это информация (как правило, неполная и неточная) о структуре систем
в отличие от информации о состоянии и поведении систем
По существу, знания представляют собой модель окружающего мира
Метазнания – это информация о способах накопления, представления и использования знаний
База знаний вкл:
Знания, упорядоченные и закреплен на материальном носителе
Метазнание вкл знание о достоверности источников знаний
Программое обеспечение, обеспеч:доступ к знаниям;пополнение знаний; использование знанийдля решен практич зад.
Представление знаний(трансляция знаний в форму, допускающую их использование независимо от источника знаний)
Один из способов представления знаний - их формализация(т.е. представление знаний средствами той или иной формальной системы например в форме предикатов или диффер урав
Формализм-это формальная система, испол в качестве средства представления знаний. Включ: 1)языковой(изобразительн) компонент-алфавит и синтаксис 2)процедурный(алгоритмич, вычислит) компонент-аксиоматика и продукционные правила
Моделирование формальных систем и процесса логического вывода на эвм. Практическое значение теории формальных систем для специалиста в области прикладной информатики.
Формальную систему образуют
Алфавит
|
Синтаксис
|
Аксиоматика
|
Множество продукционных правил
|
• Рекурсивно перечислимый набор произвольных символов
|
• Рекурсивно перечислимое непустое множество правил построения формул (слов) из символов алфавита
|
• Конечное Непустое множество Формул(слов) называемых аксиомами
|
Должно быть рекурсивно перечислимым и не пустым |
Формальная система – это неинтерпретированное исчисление предполагающее подразделение символьных последовательностей на классы теорем и нетеорем.
Исчисление – это основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида позволяющий дать исчерпывающе точное описание некоторого класса задач.
Формальная система- это совокупность абстрактных объектов (символов) для которой определены правила оперирования данными символами вне зависимости от их возможного смысла.