Формальн логич модели. Их примеры (исчисление высказываний и исчисл-е предикатов)

Логич модель сети – сов-ть логич объектов, контролируем системами управления или с помощ внешн измерител приборов. Основн идея подхода при построении логич моделей представления знаний — вся И, необход для решения прикладн задач, рассматривается как сов-ть фактов и утверждений, котор представляются как формулы в некотор логике.

«+» логич моделей представления знаний: в качестве «фундамента» здесь использ классич аппарат математич логики, методы котор достаточно хорошо изучены и формально обоснованы.

Логическая модель основана на системе исчисления предикатов 1го порядка. Знакомство с логикой предикатов начнем с исчисления высказываний. Высказывание – предлож-е, смысл котор можно выразить значениями: истина или ложь. Элементарн высказыв-я рассм как пере-менные логич типа, над кот разреш след логич операции:

отрицание (унарная операция);

- конъюнкция (логическое умножение);

- дизъюнкция (логическое сложение);

- импликация (если – то);

- эквивалентность.

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

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

6.44 Характеристика СУБД Micrоsoft Access 2003: тип, платформа, функциональные возможности, пользовател интерфейс, настройка рабоч среды.

СУБД Microsoft 2003 (в дальнейшем Access) предназначена для работы с реляц БД. Эта СУБД входит в программный комплекс Microsoft Office 2003. Access имеет инструментальные средства для создания: локальной БД, централизованной БД в локальной сети с файловым сервером, проектов. Access поддерживает механизм OLE – связывание и внедрение объектов различных приложений Windows в БД. Позволяет импортировать данные табл: других БД Access; БД dBase,, Oracle, Microsoft SQL Server; табличного процессора Microsoft Excel. Внешними для Access могут быть также: данные почтовой программы Microsoft Exchange; таблицы и списки HTML на сервере локальной, корпоративной сети (сети масштаба предприятия), сети Internet. Может экспортировать объекты БД в другие приложения.

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

Пользовательский интерфейс. Справочная система

После загрузки Access появляется стартовое окно Access, содержащее окно запуска, которое позволяет открыть существующую БД или создать новую. Выполнение одной из предложенных операций вызывает главное окно Access вида:

В строке заголовка отображается имя программы (Microsoft Access) и содержатся кнопки для управления окном.

Строка меню содержит несколько пунктов меню.

Панель инструментов Вид / Панели инструментов

В строке состояния в левой части отображается информация о текущем режиме работы системы, справа - индикаторы клавиатуры.

В рабочей области главного окна Access располагается окно БД, состоящее из:

1. Строки заголовка окна БД, в которой всегда отображается имя открытой БД (db1).

2. Панели объектов БД, находящейся в левой части окна БД

3. Рабочей области окна БД,

При конструировании объектов БД пользователь имеет дело с окнами конструкторов таблиц, запросов, форм, отчетов, страниц, макросов.

Настройка рабочей среды

Сервис/Параметры. На вкладке ВидНа вкладке Общие (поля страницы, порядок сортировки, звуковое сопровождение) На вкладке Правка. Вкладка Режим таблицыВкладка Таблицы и запросывкладки ФормыВкладка КлавиатураНа вкладке Другие осуществляется сетевая настройка и настройка интерфейса ODBC, имеется возможность конфигурировать программу Access для работы в многопользовательской среде.