14. Семантика кооя, основанная на формальной модели понятия.

Синтаксис и семантика языка:

Алфавит:

9. Логические символы (¬, Ʌ, V, →, ↔)

10. Для любого, существует

11. =, ͼ

12. Имена сортов (имена классов)

13. Имена констант, предикатов, функций

14. (индивидуальные) переменные

15. «(», «) », «. », «, », …

16. Специальные знаки, символы

15. Описание типов. Примитивные типы и конструкторы типов.

16. Имена понятий. Суррогаты – встроенные системные идентификаторы.

Тип имен:

1. Имена понятий – это строки символов, начинающихся с прописной буквы без пробелов.

2. Суррогаты – это системные встроенные имена для описания отдельных объектов образцов (объект = класс (в нашем понимании)).

17. Концептуальные схемы и базы данных при построении концептуальной модели (КМ) ПО: КМ = КС UБД.

Понятие — отображённое в мышлении единство существенных свойств, связей и отношений предметов или явлений; мысль или система мыслей, выделяющая и обобщающая предметы некоторого класса по определённым общим и в совокупности специфических для них признакам.

Понятие есть результат применения категории к восприятию. Отсюда понятие в его отвлеченности противостоит конкретности восприятия. Также понятие противостоит слову, которое можно трактовать как знак понятия.

Концептуальная схема — система взаимосвязанных по определенным правилам понятий (а не единичное понятие) и концепций.

Объект (процесс, явление) познаваемы человеком постольку, поскольку человек имеет дело с этими объектами, пытаясь решить какие-то задачи или проблемы.

Иными словами, степень глубины и предмет познания прямо зависят от того, как человек собирается использовать изучаемый объект в своей практической деятельности.

Следовательно, помимо собственно объекта имеется субъект и стоящая перед ним практически значимая задача. Именно она формирует точку зрения человека на объект.

При воспроизведении этой точки зрения в явном виде выстраивается концептуальная схема — система взаимосвязанных понятий, необходимая и достаточная для описания требуемого аспекта объекта.

Концептуальная модель — это определённое множество понятий и связей между ними, являющихся смысловой структурой рассматриваемой предметной области.

Концептуальная модель — модель предметной области, состоящей из перечня взаимосвязанных понятий, используемых для описания этой области, вместе со свойствами и характеристиками, классификацией этих понятий, по типам, ситуациям, признакам в данной области и законов протекания процессов в ней. (Толковый словарь по искусственному интеллекту)

Концептуальная (содержательная) модель — это абстрактная модель, определяющая структуру моделируемой системы, свойства её элементов и причинно-следственные связи, присущие системе и существенные для достижения цели моделирования.

Схема системы базы данных (от англ. Database scheme) — её структура, описанная на формальном языке, поддерживаемом системой управления базами данных (СУБД). В реляционных базах данных схема определяет таблицы, поля в каждой таблице, а также отношения между полями и таблицами.

Схемы в общем случае хранятся в словаре данных. Хотя схема определена на языке базы данных в виде текста, термин часто используется для обозначения графического представления структуры базы данных. 

Основными объектами схемы являются таблицы и связи.

Схема описывает логическую структуру БД. Существует три уровня схем: концептуальная, внешняя и внутренняя.

Концептуальная схема дает общий взгляд на организацию всей БД. Она перечисляет все элементы данных и отношения между ними.

Внешняя схема состоит из набора логических представлений пользователей, каждое из которых называется подсхемой.

Внутренняя схема представляет структуру базы данных. Она описывает, как данные на самом деле хранятся, включая информацию об указателях, индексах, длине записей и т.д. Между схемами этих уровней существует соответствие, называемое отображением. Это правила преобразования одного представления в другое. СУБД использует отображения схем для вывода и ввода данных.

При создании БД для ИС эксперты организации (менеджеры, бухгалтеры) привлекаются для разработки схем концептуального и внешнего уровня. Поэтому им важно понимать разницу между этими типами схем. Например, для описания розничных продаж база данных на концептуальном уровне может содержать информацию о клиентах, продажах, кассовых операциях, продавцах и кассирах, товарах, счетах.

КМ = КС U БД,

КС = БЗ:

1. КС структурная

2. КС логическая

3. КС модальная

Формальная модель понятий – это концептуальная модель.

Понятие – это имя (группа символов, придуманная нами).

Понятие = Объект (его абстракция)

Объект = Класс

Каждое имя КМ имеет внешнюю интерпретацию, как объект, расшифровывается как сущность, явление или событие.