Робопроект Centaurus

=DeaD=

Но мы же можем говорить, что факт "бумага белая" влечёт отзыв факта "бумага черная"? Или я совсем ничего не понял?

Добавлено спустя 53 секунды:

Виктор Казаринов писал(а):

Содержит еще объекты, которые имеют возможность множественного наследования. Мне именно объектная часть больше нравится. У объектов есть слоты (property) и методы. Объект со слотами образует фрейм. Содержимое слотов может участвовать в правой и левой части правил. Если в левой, то изменение содержимого слота приводит к активизации соотв. правила.

Это уже COOL, т.е. расширение CLIPS, хотелось бы базу сначала разобрать.

Добавлено спустя 43 секунды:
Попробовал прочитать программу разбора загадки про правдолюбов и лжецов - это атас какой-то, они сами не видят, что это проще на Си++ написать бруте-форсом? Где же красота решения на CLIPS?

setar

коллеги, если нужно обменяться файлами то используйте папку users на ftp://robo@roboforum.ru (pass:robo)
напоминаю что фтп настроен только на запись, при необходимости что либо стереть - пишите мне

=DeaD=

2setar: Вот! Сейчас загрузилось. Залил "Rassel_S.,_Norvig_P._(_S.J.Russell,P.Norvig_)_Iskusstvennyj_intellekt.._sovremennyj_podxod_(2e_izd".

Виктор Казаринов

setar писал(а):

коллеги, если нужно обменяться файлами то используйте папку users на ftp://robo@roboforum.ru (pass:robo)
напоминаю что фтп настроен только на запись, при необходимости что либо стереть - пишите мне

Пока ненадолго кину сюда. Около 10 мб. http://aiwinsoft.com/aiassistant/doc/djarr.djvu А вы уж перекиньте в нужную папку на вашем ftp.

=DeaD=

djarr.djvu залил на фтп робофорума.

Виктор Казаринов

Я, кстати, упоминал в начале данной темы, что много лет разрабатываю другой проект AIGod, специально заточенный под онтологии и распараллеливание обработки. Для этого создал собственную виртуальную машину. Один из самых трудных там элементов - онтологию со встроенными средствами ускоренного поиска при соспоставлении я сделал. Но т.к. сил моих оказалось крайне мало, перешел на то, что является более законченной вещью - CLIPS. Хотя мои онтологические идеи на нем могут быть реализованы немного похуже. Но лучше синица в руках...

=DeaD=

Так может есть какие-то примеры, на которых видно что CLIPS нереально круто решает какой-то класс задач из практической плоскости?

Виктор Казаринов

=DeaD= писал(а):

Так может есть какие-то примеры, на которых видно что CLIPS нереально круто решает какой-то класс задач из практической плоскости?

Т.е. начинается холивар?
Прошу сделать аналогичную перекидку на ваш ftp: http://aiwinsoft.com/aiassistant/doc/chastikov.djvu Теперь все указанные мною книги есть в вашем респозитории. Делайте выводы сами.

=DeaD=

Да при чем тут холивар, я хочу примеры короткие и простые как "МУ" найти, чтобы было ясно где CLIPS силён.

Холивар - это когда безотносительно задач начинают сравнивать 2 языка. Тут то совсем другое.

Добавлено спустя 57 секунд:
Частиков залит на ФТП.

Виктор Казаринов

=DeaD= писал(а):

Да при чем тут холивар, я хочу примеры короткие и простые как "МУ" найти, чтобы было ясно где CLIPS силён.
Холивар - это когда безотносительно задач начинают сравнивать 2 языка. Тут то совсем другое.

Так определите маленькую задачку какую-нибудь или узкое направление задач. А то "сходи туда не знаю куда..."

avr123.nm.ru

=DeaD= писал(а):

Холивар - это когда безотносительно задач начинают сравнивать 2 языка.

ПРЕВОЗНОСИТЬ одно относительно остальных.

Виталий

Виктор, хотелось бы вот что узнать, у вас как у специалиста по онтологиям и CLIPS. А также человека с огромным опытом.

1. Скажите вы печатались в научных журналах или может участвовали в конференциях? Где можно почитать про ваши идеи?
2. Скажите в CLIPS есть машина поддерживающая немонотонный логический вывод? С монотонным все ясно, это ничего для ИИ не дает.
3. Какая самая сложная система была реализована на CLIPS? (известная вам естественно).

Это не контр аргументы в виде вопросов, мне действительно интересно.

Цитата:

Так определите маленькую задачку какую-нибудь или узкое направление задач. А то "сходи туда не знаю куда..."

Хорошо. Решите нам пожалуйста на CLIPS задачу AB R O: сформировать сигнал O как только произойдут каждый из сигналов A и B. Сигнал R сбрасывает текущее состояние системы.

Потом покажите как оно решится для ABCDEF R O.

=DeaD=

2Виталий: если я правильно понял тебя и CLIPS - эту задачу и я решу

ABCDEFRO это факты,
+ 2 правила
1. A&B&C&D&E&F => O;
2. R => отзыв фактов ABCDEF;

Добавлено спустя 1 минуту 11 секунд:

Виктор Казаринов писал(а):

Так определите маленькую задачку какую-нибудь или узкое направление задач. А то "сходи туда не знаю куда..."

Ну, например, какие простые задачи может решать робот-помощник с помощью CLIPS, которые было бы неудобно писать на С++? Или которые потребовали бы перепрограммирования каждый раз, а тут пользователь сам может "объяснить" роботу что надо делать?

Я честно боюсь 25 раз попасть пальцем в небо при выборе задачи и честно не прикидываю вот так с ходу где подход типа CLIPS может быть полезен на практике

.

Добавлено спустя 48 секунд:

avr123.nm.ru писал(а):

=DeaD= писал(а):

Холивар - это ...

ПРЕВОЗНОСИТЬ одно относительно остальных.

Ничего не могу сказать против

Виктор Казаринов

Виталий писал(а):

Виктор, хотелось бы вот что узнать, у вас как у специалиста по онтологиям и CLIPS. А также человека с огромным опытом.

Я бы не сказал, что я огромный специалист. Интересующийся.

Виталий писал(а):

1. Скажите вы печатались в научных журналах или может участвовали в конференциях? Где можно почитать про ваши идеи?

На данную тему нигде не печатался. Вслух размышляю на форумах по ИИ и кодю кое- что. Посвящаю этому все имеющееся время. В 1981 г темой диплома было трехмерное зрение роботов с разработкой собственного алгоритма восстановления 3D сцены.

Виталий писал(а):

2. Скажите в CLIPS есть машина поддерживающая немонотонный логический вывод? С монотонным все ясно, это ничего для ИИ не дает.

Факты из рабочей памяти удаляются командой retract (см Частиков стр. 186).

Виталий писал(а):

3. Какая самая сложная система была реализована на CLIPS? (известная вам естественно).

Не знаю, если честно. Дело в том, что на основе Клипса понаделали десятки производных систем в т.ч. и коммерческих. А кто будет публично рассказывать о них? С помощью G2 спутниками управляют. В книжках ведь только учебные примеры даются в основном.

Виталий писал(а):

Хорошо. Решите нам пожалуйста на CLIPS задачу AB R O: сформировать сигнал O как только произойдут каждый из сигналов A и B. Сигнал R сбрасывает текущее состояние системы.
Потом покажите как оно решится для ABCDEF R O.

Извините, но я саму постановку задачи не понял до конца. Хотя и не говорил, что именно я буду решать задачу. Я считаю, что приблизительно смогу оценить пригодность Клипса к решению определенного класса задач и лишь качественно сравнить его эффективность с другими языками. Но простую задачку можно и решить. Очего же не сделать для хороших людей?
Т.е. если появятся факты A и B и ... Важна ли их последовательность? или лишь бы они рано или поздно появились все по одному разу? Или по сколько раз допустимо? Выражайте условия задачи точнее. Для этого в Базовой Онтологии я ввел понятие "Процесс", где есть ресурсы процесса, тело процесса, результаты процесса. А тело процесса может состоять из других последовательных или параллельных процессов. Если вам это покажется интересным, сможем т.о. точно описывать явления в т.ч. и те, что наблюдает робот.
Допустим, что вх. данные приходят последовательно :A, затем B. Нужно, чтобы в итоге система очистила рабочую память и после этого сформировала сигнал O ? Так? Это все решается одним правилом.

Виталий

На вход системы приходит сигнал A потом он может опять придти, сколько угодно раз, потом приходит B и генерируется O.
В обратную сторону то же самое сколько угодно раз B, потом А - генерируется O.
Для нескольких букв то же самое.
К примеру для ABCD R O:
AAAAAAAAABBBCABCCCD - выход O
AAAAAAAAABBBCA R BCCCD - нет выхода - система сброшена командой R.

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

roboforum.ru

Робопроект Centaurus

Кто сейчас на конференции