Вход в систему

Консульство Овалон-2

Навигация

  • strict warning: Non-static method Pagination::getInstance() should not be called statically in /var/www/owalo863/data/www/owalon.com/modules/pagination/pagination.module on line 308.
  • strict warning: Only variables should be assigned by reference in /var/www/owalo863/data/www/owalon.com/modules/pagination/pagination.module on line 308.
  • strict warning: Non-static method Pagination::getInstance() should not be called statically in /var/www/owalo863/data/www/owalon.com/modules/pagination/pagination.module on line 403.
  • strict warning: Only variables should be assigned by reference in /var/www/owalo863/data/www/owalon.com/modules/pagination/pagination.module on line 403.
  • strict warning: Non-static method Pagination::getInstance() should not be called statically in /var/www/owalo863/data/www/owalon.com/modules/pagination/pagination.module on line 345.
  • strict warning: Only variables should be assigned by reference in /var/www/owalo863/data/www/owalon.com/modules/pagination/pagination.module on line 345.

Новый подход к Искуственному Интеллекту "Экскалибур-2013"

+ - * / ^ - арифметические двухместные операторы вида X f Y
"sin", "cos", "tan", "sqr", "exp", "log", "asin", "acos", "atan", "log10", - алгебраические и тригонометрические функции вида f(X)
abs(X)" - абсолютная величина числа
int(X)" - целая часть числа
not(X) - логическое отрицание
Or , XOr, And - логические двухместные операторы вида X f Y
= >< > < <= >= - логические двухместные операторы вида X f Y
Len(Text) – вычисление длины текста
left(Text,длина) - выделение левой части текста
right(Текст. длина) - выделение правой части текста
mid(Текст, начало_фрагмента, длина) - выделение произвольной части текста
& - текстовый двухместный оператор соединения двух текстов в один вида X f Y
item(Индекс) - получение элемента массива или последовательности * в некоторых версиях отсутствует.
word(Текст. указатель) - выделение следующего слова из текста, со смещением указателя (может отсутствовать в версии Э)
replace(Текст, образец, замена) - замена в тексте всех элементов по образцу.
elem(Список, индекс) - получение элемента списка
acquir(Объект, Отношение, Свойство) - поиск значения свойства у объекта и его потомков.
news(Объект) - список всех ново-приобретенных свойств у объекта и его потомков.
?(“текст вопроса”) - функция запроса значения через окно “Диалог”

Функции функциональных сообщений.
В Э определены следующие встроенные функции функциональных сообщений:
+ - * \
- арифметические действия со Словами -целыми числами или числами с плавающей запятой (Экскалибур определяет режим контекстуально) с любым числом количеством Слов-аргументов ( 10 знаков мантисса и четыре знака порядок).

Or XOr And Not - логические функции любого числа Слов-аргументов

++ --
- инкремент и декремент любого числа Слов-аргументов, причем, если Слово-аргумент ранее не заявлен, то функция вводит его с начальным значением = 0 . Функция относится к типу FSUBR.

n!
- вычисляет факториал каждого из своих аргументов, а затем перемножает факториалы.
(! (n! 6) ) → 720
(! (n! 6 3) ) → 4320
(! (n! 6 -1) ) → 720

Конкатенация строк или сообщений (не их результатов)
соединяет строки или сообщения следующим образом:
(! (+ "X2 " "+" " X1 " " = ") (+ 2 1)) → “X2 + X1 = 3”

Логические функции имеют сокращенные формы записи:
; - Or & - And \\ - Not
Пример:
(\\ A B (& C D) (; A D) )
ПРИМЕЧАНИЕ: Слова-аргументы логической функции Not (если их больше чем один аргумент) автоматически объединяются по отношением And

Встроенные предикаты ( классификаторы-распознаватели Сообщений)
- проверяют языковые свойства вводимых сообщений :
Форма записи: (Предикат Аргумент_1 ….)
isL
– проверяет все аргументы (один или несколько), и возвращает True , если все они являются списками.
isT
- сопоставление нескольких произвольных текстов с одним регулярным образцом (см. Часть 2)
isF
– проверяет все аргументы (один или несколько), и возвращает True, если все они являются списками, которые можно вычислить как функцию.
isW
– проверяет все аргументы (один или несколько), и возвращает True, если все они являются зарезервированным ( ключевым) , словом Э (например, именем функции).
Примечание: перечень всех ключевых слов в Э-Справочнике ниже.
isAtom
– проверяет все аргументы (один или несколько), и возвращает True, если все они являются объектами Базы Знаний.
isNum
- проверяет все аргументы (один или несколько), и возвращает True, если все они являются числами
isFunc
- проверяет все аргументы (один или несколько), и возвращает True, если все они являются функциями
isVar
- проверяет все аргументы (один или несколько), и возвращает True, если все они являются объектами Контекста (например, переменными цикла и т.п.)

Is
- сопоставление со структурированным образцом (см. Часть 2)

Rambler

Сейчас на сайте

Сейчас на сайте 0 пользователей и 0 гостей.