Навигация
Главная
Поиск
Форум
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
Оператор выбора... 65535
Организация зап... 65289
Создание отчето... 61745
Модуль Forms 61629
ТЕХНОЛОГИИ ДОСТ... 58194
Пример работы с... 55820
Имитационное мо... 53561
Реклама
Сейчас на сайте
Гостей: 6
На сайте нет зарегистрированных пользователей

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

Двунаправленный динамический список на Delphi + Блок схемы
База данных - рабочее место кассира на Delphi + бд Access
Программа тестирования и обучающая программа по математике на Turbo Pasc...

Реклама



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

ПОДПИСЫВАЙСЯ на канал о программировании

Warning: preg_replace() [function.preg-replace]: Parameter mismatch, pattern is a string while replacement is an array in /var/www/u6406227/public_html/codingrus.ru/articles.php on line 38
Статьи: Представление знаний и логическое программирование в системах искусственнного интеллекта
Содержание


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

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

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

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

Синтаксис строк
Строка определяется как список кодов символов. Коды символов имеют особое значение в языках программирования. Они выступают как средство связи компьютера с внешним миром.

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

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

Ввод программ
Введение списка утверждений в Пролог-систему осуществляется с помощью встроенного предиката consult. Аргументом предиката consult является атом, который обычно интерпретируется системой как имя файла, содержащего текст программы на Прологе.

Унификация
Одним из наиболее важных аспектов программирования на Прологе является использование унификации (отождествления) и конкретизации переменных.

Арифметические выражения
Язык Пролог не предназначен для программирования задач с большим количеством арифметических операций. Для этого используются процедурные языки программирования.

Вычисление арифметических выражений


Сравнение результатов арифметических выражений
Системные предикаты =:=, =\=, >, <, >= и <= определены как инфиксные операторы и применяются для сравнения результатов двух арифметических выражений.

Структуры данных на языке Пролог


Списки
Задачи, связанные с обработкой списков, на практике встречаются очень часто. Скажем, нам понадобилось составить список студентов, находящихся в аудитории. С помощью Пролога мы можем определить список как последовательность термов, заключенных в скобки.
Страница 1 из 3 1 2 3 >
Гость
Имя

Пароль



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

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

Случайные загрузки
Создание фракталов
45 уроков по дельфи
Х. М. Дейтел, П. ...
32 урока по Delphi
Основы программир...
Domen Name IP
Delphi. Готовые а...
XPmenu
WinPopup
MPTools
Правила программи...
Dnavigator
Редактор анимаций
Rss Parser
Применение жадног...
Система баннеро...
WebReg v1.3
Краснов М. - Open...
Sztransppanel
TrayComp

Топ загрузок
Приложение Клие... 100399
Delphi 7 Enterp... 84043
Converter AMR<-... 20052
GPSS World Stud... 11501
Borland C++Buil... 11300
Borland Delphi ... 8251
Turbo Pascal fo... 6994
Visual Studio 2... 4975
Калькулятор [Ис... 4499
FreeSMS v1.3.1 3517
Случайные статьи
Лазерный термоядер...
Основная работа ок...
Вы создаете VPN с ...
Программные компон...
Итерация - пройтис...
Класс TIcon
Вычисление угла тр...
Компиляторы MIPS
African vases
Так, пользователь ...
Понятие клонирова...
Еще один пример ас...
Слот машины онлайн...
Этапы сборки
Более того, для ко...
Веб-дизайн и модел...
Метод средней точки
Проблемы, связанны...
Наркологическая кл...
File not open
Объектная модель д...
Программы для созд...
Ввод и вывод данны...
Оформление курсово...
С чего начинается ...
Статистика



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


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