базы
Для точного определения проблемной области требуется формальный язык.
В стандарте синтаксис формального языка определяется посредством
введения грамматических понятий без какого-либо указания, как эти понятия
могут быть выражены на каком-либо определенном языке. Понятиями являются
терм, предложение, функтор.
функтор: Лингвистический объект, который обозначает функцию от других
лингвистических объектов, имеющую в качестве аргументов (вход) список
лингвистическихобъектовивыдающуювкачествезначения(выход)
единственный уникально определенный лингвистический объект.
Термы и предложения могут включать в себя переменные.
переменная: Терм, который обозначает неконкретизированную сущность в
проблемной области.
4.4 Семантика концептуальной схемы и информационной базы
Чтобы приписать смысл (семантику) различным выражениям в языке,
необходимо начать с множества неопределенных понятий - примитивов. Другие
понятия тогда получают смысл, выводимый из неформальных примитивных
понятий с помощью формальных определений. Соответствующие аспекты
смысла каждого примитивного понятия формально вводятся посредством
задания аксиом, которые считаются истинными. Правила вывода должны
сохранять истинность.
Предложение выражает истинное высказывание, если оно утверждает, что
состояние проблемной области - такое-то, и оно действительно является
таковым.
и предикатов,
соотносит им
Интерпретация предложений зависит от значения термов
составляющихэтопредложение.Интерпретациятермов
конкретные сущности проблемной области.
Интерпретироватьпредикатвпредложенииозначаетвозможность
определитьдлялюбогосписка сущностейистинность высказывания,
выраженного этим предложением, для данного списка сущностей.
4.5 Принципы составления концептуальной схемы
Прирассмотрениипринциповсоставленияконцептуальнойсхемыи
информационной базы следует решить три вопроса:
- что входит в концептуальную схему?;
- каковы возможности информационного процессора?;
- как информационный процессор работает с концептуальной схемой?
Информационный процессор имеет встроенную минимальную
концептуальную схему, которая не может быть изменена без изменения самого