Навигация
Главная
Поиск
Форум
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
Содержание сайт... 65535
Вызов хранимых ... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Программируемая... 64651
Invision Power ... 64068
Организация зап... 63492
Модуль Forms 60360
Создание отчето... 60342
ТЕХНОЛОГИИ ДОСТ... 56634
Пример работы с... 53748
Создание потоко... 52212
Имитационное мо... 52061
Реклама
Сейчас на сайте
Гостей: 9
На сайте нет зарегистрированных пользователей

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

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

Реклама



Подписывайся на 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...
Шаблон для новост...

Случайные загрузки
Tenis [Исходник н...
3D Тетрис [Исходн...
Использование Lis...
BIOS
PHP/MySQL для нач...
С. Г. Горнаков - ...
Основы Delphi. Пр...
SysInfo [Исходник...
Mass Photo Upload
Профессиональное ...
Разработка распре...
PrevInst
PHP 5 в подлинник...
WAP версия сайта
Rotolabel
Самоучитель PHP 4
Советы по Delphi
Клавиатурный трен...
HTMLredaktor
SODA [Исходник на...

Топ загрузок
Приложение Клие... 100371
Delphi 7 Enterp... 82743
Converter AMR<-... 20046
Borland C++Buil... 11139
GPSS World Stud... 10693
Borland Delphi ... 8082
Turbo Pascal fo... 6968
Visual Studio 2... 4963
Калькулятор [Ис... 4312
FreeSMS v1.3.1 3510
Случайные статьи
Протокол РоЕР внут...
Переопределенные м...
12.1. Задача
EQU (ОПРЕДЕЛИТЬ ЭК...
Определяя переменн...
Силовой модуль PW70
Конференция по PHP...
2.1.2. Переменные
а более строгое ра...
Многостраничные ко...
Описание предметно...
Размер фотографий ...
Поиск с помощью яз...
Устранение избыто...
Правовые обязатель...
Приём создания qua...
Другие способы лам...
зательно
ВВЕДЕНИЕ В РЕКУРСИЮ
Стратегии по испол...
Функции-операции п...
Работа с Cookies н...
Устройства тестиро...
Установка регулято...
СМЕШИВАНИЕ МЕТАДАН...
Статистика



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


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