Формальные логические модели. Их примеры

В основе модели такого типа лежит формальн.сист., задаваемая 4-кой вида:

M=<T, P, A, B>

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

Р – мн-во синтаксич.правил,с пом-ью кот. из мн-ва базовых эл-ов строятся т.н. синтакс-и правильн. совок-ти.(из слов предлож-ия,из деталей машина)

А – аксиомы,подмножества синтаксич. правильных конструкций для кот. существ. процедура позв-яя опр-ить принадл. синтаксич.правильн. совок-ти или подмножеству аксиом.

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

Логическая (предикатная)модель

– представл. знаний основано на алгебре высказываний и предикатов,на сист. аксиом этой алгебры и её правилах вывода

В логич.мод. знаний

• Слова,опис-щие сущн-ти предм.обл.-термы(конст-ты,перем-ые, ф-ции)

• Слова,опис-щие отнош-ия сущн-тей предикаты

Предикат – логическая N-арная пропорцион-ая ф-ция, определенная для предм.обл-ти и приним-ая знач. истинности либо ложности.

Пропозиционной – наз-ся ф-ция,кот. ставит в соотв-ие объектам из обл-ти опр-ия одно из истинностных знач.(«истина» «ложь»)

Логич. Мод.

 Удобны для предст-ия логич.возм-тей между фактами

 Формализованы

 Строги теоретически

 Для их исп-ия имеется удобн. и адекватн. Инструментарий (яз.логич.программир-ия)

Достоинства Логич. Мод.

1)В кач-ве «фундамента» исп-ся классич. аппарат мат. логики

2)Существуют достаточно эффективные процедуры вывода,реализованные на языке логич-ого программир-ия Пролог

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

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

Сист.управл-ия БД Mіcrosoft Access (MA) 2003 и ее основные возможности

Приложение MA – это настольн. сист. управл-ия реляц-ыми БД (СУБД), предназнач-ая для раб. на автономном персональном комп-ре(ПК) или локальной вычислит-ой сети под управл-ием семейства операц-ых сист. Microsoft Windows (Windows 2000, Windows XP и Windows Server 2003).

СУБД MA обладает мощными, удобными и гибкими ср-ами визуального проектир-ия объектов с пом-ью Мастеров, что позволяет польз-лю при min-ой предварительной подгот-ке быстро создать полноценную инф-ную сист. на ур-не таблиц, запросов, форм,отчетов.

К осн-ым возм-тям СУБД MA можно отнести следующие:

-Проектир-ие базовых объектов–двумерные таблицы с полями разных типов данных.

-Созд-ие связей между табл-ами,с поддержкой целостности данных, каскадного обновления полей и каскадного удаления записей.

-Ввод,хранение,просмотр,сортировка,измен-ие и выборка данных из таблиц с исп-ием различных ср-ств контроля инф-ии, индексир-ия таблиц и аппарата алгебры логики.

-Созд.,модификация и исп-ие производных объектов(запр-ов,форм,отчетов)

Пользовательский интерфейс MA2003

Интерфейс пользователя MА–это комплекс прогр-м,кот.реализует диалог в процессе работы пользователя с приложением Access.

После загрузки MA на экране появ-ся главное окно,в кот-ом размещ-ся окно БД. При 1-ом запуске Access в гл-ом окне вывод-ся обл.зад. в режиме «Приступая к раб.»,с пом-ью кот.можно открыть существ-ие БД и «Созд. файл».

При выборе команды «Созд. файл» в обл. зад. изм-ся режим на «Созд.Ф.».

При выборе ком-ы «Нов.БД» откр-ся окно диалога«Файл нов.БД», в кот. необх-мо выбрать имя диска и директории для хран-ия БД, а также имя БД (тип файла устанавливается по умолчанию «Базы данных MA»)и щелкнуть на кнопке «Создать», будет сохранен файл с расширением .mdb.

В гл.окне появ-ся окно БД с назнач-ым именем.В Access2003 для новых БД по умолчанию исп-ся формат файла Access 2000,необх-ый для обеспечения совместимости с БД предыдущих версий.Для того чтобы изм-ить формат файлов Access2000,необх-мо в меню гл. окна выбрать ком-ду «Сервис/Служебн.прогр-ы/Преобр-ать БД» и указать нужный формат.

Для изм-ия исп-ого по умолч-ию формата файлов при созд.нов. БД необх-о выбрать команду Сервис/Параметры,активиз-ать вкладку «Другие» и в списке«Формат файла по умолч-ию»выбрать из списка Access 2002—2003.

Гл окно приложения MA сост. из след-их обл-тей:-строка заголовка;-строка меню;-панель инструментов;-окно БД;-строка сост-ия.

1)В строке заголовка нах-тся системн. меню в виде пиктограммы,располож-ой слева от названия главного окна: «Microsoft Access».2)Строка меню содержит группы команд объед-ые по функцион-ому признаку:Файл,Правка,Вид,Вставка,Сервис,Окно,Справка.Команды, содерж-ие в меню аналогичны командам в редакторах Word,Excel и в др. прилож-ях Office.3)Панель инстр-ов.При запуске Access по умолчанию активиз-тся одна панель инструментов.На панели инстр-ов расположены наиб. часто исп-ые команды.Перед созд-ем БД необходимо ознаком-ся с главным меню и панелью инструментов.4) Окно БД имеет:строку заголовка;панель инструментов, на кот.расп-ены след-ие кнопки: Открыть – (открытие выдел-го объекта (табл., запр., формы,т.д.)в режиме стр);Конструктор(открытие выделенного объекта в режиме конструктора); Создать; Удалить; Крупные значки; Мелкие значки; Список; Таблица; панель "Объекты": табл.,запр-ы,формы,отч-ы,стр-ы, макросы,модули;обл. окна со списком возм-ых режимов созд-ия нов. объектов или просм-а,редактир-ия существ-их объектов(в этой обл-ти также отображ-ся списки имеющихся в этой базе табл.,форм,запр.и т.д.) 5) Строка сост.Наход-ся внизу гл. окна и предназн-на для вывода кратк. инф.о текущем режиме раб.

Панель "Объекты": Табл.–двумерные табл-ы,кот.исп-ся для хранения данных в реляц-ых БД. Данные хранятся в записях,кот.сост.из отдельных полей. Кажд.табл. содержит инф-ию о сущностях опр-ого типа(например, студентах). Запрос – ср-во для отбора данных,удовлетвор-их опр-ым усл-ям.С пом-ью запросов можно выбрать из БД только необх-ую инф-ию

Форма – ср-во,кот.позв-яет упростить процесс ввода/изм-ия данных в табл-ах БД,что обесп-ает ввод данных персоналом невысокой квалификации.

Отчет – ср-во,кот.позв-яет извлечь из БД нужн. инф-ию и представить ее в виде,удобном для восприятия,подгот-ить для распечатки отчет,кот. оформлен соотв-им образом.Стр-ы-стр-ы доступа к данным предст-яют собой спец-ую Web-стр, предназн-ую для просм-а и раб. через Интернет/интрасеть с данными, кот. хранятся в БД MA или БД MS SQL Server.Макрос-набор макрокоманд,созд-ый польз-ем для автомат-ции вып-ия конкр. операций.Модуль-объект,содерж-ий прогр-ы на яз.Visual Basic,примен-ые в некот. случаях для обраб. данных.

Обл. со списком возм-ых режимов созд. объектов.В этой обл.кроме списка реж-ов созд. объектов отображ-ся созд-ые объекты (таблицы,формы,т.д.),кот.можно просм-ать/редакт-ать.Для этого необх-мо выделить треб-ый объект,наприм.,табл.и нажать кнопку"Откр."/"Констр-ор".Нажатие кнопки “Откр.”активизирует режим табл.,в кот. можно просм-ать и редакт-ать данные в выбр-ой табл.Нажатие кн-ки“Констр-ор”откр-ает табл.в режиме констр-ра,предназн-ом для просм-а и изме-ия структ-ы табл.