AIGL
Version 0.2.0 2006.05.11
The Artificial Intelligence God Language
Russian
ГлавнаяСодержаниеНовостиИстория версийКонтакты

Введение

Определение языка AIGL

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

Теорема Геделя о неполноте применительно к языку: при определенных условиях в любом языке существуют истинные, но недоказуемые в рамках самого языка утверждения. Неполнота языка AIGL заключается в том, что истинность многих его элементов определяется заранее в окружающем его контексте на момент создания языка.

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

AIGL - язык, основанный на ВРЕМЕННОЙ ВЕРОЯТНОСТНОЙ НЕЧЕТКОЙ ЛОГИКЕ ВЫСОКОГО ПОРЯДКА. Предполагается, что факты имеют место в конкретные интервалы времени и эти интервалы бесконечно малы и упорядочены, а сами отношения трактуются как объекты в других отношениях. При этом допускается выражать степень доверия в отношении степеней истинности отношениий.

Гипотеза Сапира-Уорфа утверждает, что язык, на котором мы говорим, оказывает глубокое влияние на способ мышления и на формирование структуры категорий, с помощью которых мы разделяем мир на объекты разного типа. Проверка этой гипотезы является одной из целей создания языка AIGL.

Логика определяет синтаксис и семантику языка AIGL.

В языке AIGL принята форма Бэкуса-Наура (Backus-Naur Form - BNF), основанная на понятиях объектов и отношениях между ними. В этой системе обозначений смысл приведенного ниже правила состоит в том, что конструкция S может состоять из любой конструкции NP, за которой следует конструкция VP:

S -> NP VP

где:
NP - именное словосочетание (Noun Phrase). Оно указывает на объекты в рассматриваемом мире.
VP - глагольное словосочетание(Verb Phrase).
S, NP, VP - нетерминальные символы.

Терм - логическое выражение, которое относится к некоторому объекту и представляет собой переменные, константы, функции от констант или переменных. Термы позволяют ссылаться на объекты. Атомарные высказывания состоят из термов. Для сложных высказываний используются логические связки. Кванторы всеобщности и существования. Равенство говорит о том, что объект, на который ссылается одно высказывание - один и тот же, что и объект в другом высказывании.

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

Этапы передачи сообщения на языке AIGL

Этапы передачи сообщения на языке AIGL, в котором отправитель сообщения X желает проинформировать получателя сообщения об истинности высказывания P с использованием слов A, состоит из следующих действий отправителя:
- намерение отправителя сообщить получателю высказывание P;
- синтез сообщения X, состоящего из слов A на основе высказывания P;
- физическая реализация сообщения FX(речь, письмо) из слов A.

Действия получателя:
- восприятие получателем физической реализации сообщения FY;
- распознавание слов B из FY с использованием лексического анализа языка AIGL;
- анализ предполагаемого сообщения Y, состоящего из слов B. Анализ состоит из синтаксического, семантического и прагматического анализов. Синтаксический анализ приводит к построению дерева синтаксической структуры сообщения Y на языке AIGL. Семантический анализ извлекает смысл сообщения Y как сообщения на языке AIGL, в рамках самого языка AIGL, соотнося полученное дерево синтаксической структуры сообщения Y с использованием слов B с допустимыми в языке семантическими структурами. Результат семантического анализа сообщения Y на языке AIGL всегда один и он либо принимает значение "истина", либо "ложь". Прагматический анализ учитывает контекст, существующий у отправителя сообщения X. Результатов прагматического анализа может быть несколько;
- устранение неоднозначности. В случае, если получатель сообщения Y в результате прагматического анализа получил более одной его интрепретации, то получатель должен сделать выбор наилучшей из них;
- определение степени доверия к отправителю сообщения. Истинность сообщения Y, полученного из высказывания P не означает, что его нужно принять к исполнению. Получатель сообщения Y может не доверять отправителю;
- использование сообщения Y. В случае, если доверие к отправителю сообщения позволяет использовать сообщение Y, получатель не всегда может использовать это сообщение (сообщение потеряло актуальность, контекст получателя не позволяет использовать сообщение Y и др.).



Copyright© 2006-2007 Victor Gennadievich Kazarinov. All Rights Reserved.