Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Содержание сайт... 65535
Вызов хранимых ... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Организация зап... 64602
Создание потоко... 61594
Модуль Forms 61229
Создание отчето... 61174
ТЕХНОЛОГИИ ДОСТ... 57621
Пример работы с... 55124
Имитационное мо... 53015
Реклама
Сейчас на сайте
Гостей: 8
На сайте нет зарегистрированных пользователей

Пользователей: 13,067
новичок: senata7
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

База данных студентов на Delphi (файл записей) + Блок схемы
Моделирование автомойки на GPSS + Отчет + Блок схемы
Моделирование работы ЭВМ на GPSS + Пояснительная записка

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
Терминалогия принципов логического программирования


Теперь, уже с формальной стороны, рассмотрим основную терминологию. Поскольку базы знаний — относительно новый предмет, то некоторые из используемых здесь определений еще не устоялись. Это несколько затрудняет обсуждение излагаемого материала. Например, некоторые авторы пользуются термином основанные на знаниях системы, тогда как другие говорят о системах управления базами знаний [5]. Оба термина, обозначающие одно и то же, широко распространены.
Вывод – процесс получения заключения из некоторых предложений.
Система управления базами знаний - это система, обладающая всеми стандартными возможностями систем управления базами данных, т.е. хранения данных и манипуляций ими, а также средствами создания правил вывода, их хранения и применения к хранимым таблицам данных.
Основанная на знаниях система это альтернативный термин для системы управления базой знаний.
Система баз знаний (СБЗ). - компьютерная система, имеющая следующие составляющие:
o База данных, содержащая основные факты;
o База данных, содержащая правила, которые позволяют делать выводы из базы данных фактов;
o Программное обеспечение, называемое системой управления базой знаний (СУБЗ), которое поддерживает обычные функции СУБД, а также управление процессом вывода в базе данных правил, оперирующих базой данных фактов.
Система управления базой знаний (СУБЗ) это системное программное обеспечение, которое поддерживает обычные функции СУБД, а также осуществляет управление процессом вывода правил в базе данных, оперирующей базой данных фактов.
Общий успех систем управления базами данных в сочетании с информационными потребностями менеджмента и исследованиями искусственного интеллекта привел к росту заинтересованности в превращении систем управления базами данных в системы управления базами знаний. Это переход к более высокому уровню абстракции информации. Поясним данное обстоятельство на конкретном примере. Пусть в базе данных находится информация

Собрание собрание_38 проводится в Таганроге.




Здесь имеется в виду, что для конкретного вида мероприятия (в данном случае – собрание, а не заседание и т.д.), и его условного обозначения (собрание_38 а не заседание_01) определено место проведения (Таганрог).

Это простой факт. Очевидно, что соответствующую этому факту информацию можно выразить в следующей строке реляционной таблицы:

собрание (собрание_38, Таганрог)




С другой стороны, информация, подобная следующей

Собрание собрание_38 плодотворно




не является простым фактом и представляет собой информацию более высокого уровня. Значение этого факта отражено в классификации, предложенной Уидерхолдом (Wiederhold, 1984) [1]:
o Структурное знание — это знание о зависимостях между данными и ограничениями на них. Например, «перевод студента на следующий курс зависит от того, были ли им сданы зачеты и экзамены в предыдущую сессию»;
o Общее процедурное знание — это знание, которое можно описать только процедурой. Например, «совпадение заказанного количества товара с полученным количеством товара позволяет санкционировать оплату»;
o Прикладное знание — знание, которое определяется правилами и соглашениями, относящимися к конкретной предметной области, например, «определению наиболее дешевого плана двухнедельного отдыха на море»;
o Знание предприятия — знание, помогающее предприятию принимать решения. Например, для фирмы, производящей компьютеры, анализ информации о ценах, прибылях, продажах и конкурирующих товарах может помочь в принятии решений о стратегии маркетинга.
Знание, существующее в базах данных состоит из фактов и элементов, хранящихся в реляционных таблицах. Оно называется экстенсивным знанием. Знание, которое определяется независимо от наполнения базы данных фактами, обычно при помощи логических механизмов, называется интенсивным знанием. Большинство из разрабатываемых баз знаний хранят интенсивное знание в виде логических правил.
Логическое программирование - программирование, основанное на использовании механизма доказательства теорем в логике, позволяющее выяснить, является ли противоречивым некоторое множество логических формул. При этом программа рассматривается как набор логических формул, описывающих предметную область, совместно с теоремой, которая должна быть доказана. Логическое программирование избавляет разработчика от необходимости определения точной последовательности шагов выполнения вычислений. Далее приведем основные термины Пролога [2].
Программа на языке Пролог - набор утверждений, составляющих базу фактов и базу правил, к которым допустимо обращение с запросами, касающимися их содержимого. Запросы называются также целевыми утверждения.
Терм языка Пролог - это либо константа, либо переменная, либо структура. Константами являются атомы и числа.
Константы используются для обозначения (именования) конкретных объектов предметной области и конкретных отношений между ними.
Атом языка Пролог - это
• последовательность букв, цифр и знака "подчеркивание", обязательно начинающаяся со строчной буквы;
• последовательности специальных знаков ":-", "?-", "=", ">" и других.
Переменная языка Пролог - последовательность букв, цифр и знака "подчеркивание", обязательно начинающаяся с прописной буквы.
База фактов в языке Пролог - последовательность утверждений, описывающих факты предметной области в виде структур, функторами которых являются атомы - имена отношений (предикатные буквы), а компонентами - предметные константы.
Каждый факт представляет собой элементарную формулу (предикат) исчисления предикатов первого порядка и является дизъюнктом Хорна, состоящим из одного (положительного) литерала. При описании фактов переменные не используются.
Опубликовал Kest September 23 2010 17:03:20 · 0 Комментариев · 5715 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Страница 1 из 2 1 2 >
Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
VFW
Керниган Б.В., Ри...
INSTANT BOOSTER v...
Print Grid
Tank [Исходник на...
CABfiles
Prolog Interprete...
Работа с картотеками
PDJPack
Киллер окон
Проигрыватель Mp3
C++ Builder: Книг...
MxProtector
Report
AVIwriter
Delphi 7: Для про...
PHP 5 на примерах
Создание Web-сайт...
TrayComp
Алгоритм трассиро...

Топ загрузок
Приложение Клие... 100384
Delphi 7 Enterp... 83517
Converter AMR<-... 20051
GPSS World Stud... 11298
Borland C++Buil... 11233
Borland Delphi ... 8175
Turbo Pascal fo... 6987
Visual Studio 2... 4970
Калькулятор [Ис... 4416
FreeSMS v1.3.1 3516
Случайные статьи
Чтение/показ из фа...
Планирование разве...
Отличные наушники
Фантомные файлы. 2
Доступ к записям в...
Блокировка чтения-...
AVL-деревья
Обзор глав и прило...
Что документировать
Программирование п...
Базовые элементы и...
Разработка програм...
Организация видеоа...
Проверка достоверн...
Подготовка удаленн...
Стандартные компон...
Добавление квалифи...
сервера (всегда)]т...
Новый клиент Outlo...
По поводу отчислен...
IBS Вы можете пред...
Массивы это после...
Базовые криптограф...
Проверка подключен...
СПОСОБЫ РАСПОЗНАВА...
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?