Модераторы: Poseidon
  

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> [Prolog] игра-задача "Обезьяна и банан", на vip32 
:(
    Опции темы
Stom
Дата 26.3.2008, 21:07 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 2
Регистрация: 25.3.2008

Репутация: нет
Всего: нет
Предполагается, что существует некоторая комната, к потолку которой подвешена связка бананов. Также в комнате находится обезьяна и стул. Достать бананы без помощи стула обезьяна не может. 
Исходное состояние: обезьяна в точке a, стул в точке b, бананы в точке c, бананы - z, (S-перемещение)
S(a,b,c,[]).
Правила: 
1. Обезьяна, находясь в той же точке x0 что и стул, может перенести его в точку x1 
S(x1,x1,z,[carry(x0,x1);S]):-S(x0,x0,z,S).
2. Обезьяна, находясь в любой точке х0 может свободно перемещаться по комнате в произвольную точку х1
S(x1,y,z,[walk(x0,x1);S]):-S(x0,y,z,S).
Условие достижения успеха при котором обезьяна достает бананы:
Q([climb;S]):-S(x,x,x,S).
Цель: необходимо найти значение переменной S, удовлетворяющее предикату Q(S) - выполнение предиката реализует выполнение задачи
goal Q(S).
Т.е. решением будет выражение вида [climb, carry(b,c), walk(a,b)] - идти из точки А в точку Б; взять стул и отнести из точки Б в точку С; влезть на стул и сорвать бананы
Скрытый подводный камень: В дереве поиска этой задачи имеется бесконечная ветвь, попав в которую компилятор не сможет выйти, и несмотря на логическую корректность программы, ответа мы не получим. В данном примере компилятор пытается построить такое решение, при котором обезьяне пришлось бы носить стул по комнате бесконечно долго. Для преодоления этого нужно зафиксировать критерий, которому должны удовлетворять промежуточные решения задачи. Они формулируются в виде условий и правил с тем, чтобы  во время их выполнения гарантировать своевременный выход из бесконечной ветви дерева поиска
Программная реализация:
Код

clauses
S(a,b,c,[],Sx).
S(x1,x1,x,[carry(x0,x1)|S],Sx):-not(in_list(carry(_,_),Sx)),S(x0,x0,z,S,Sx).
S(x1,y,Z,[walk(x0,x1)|S],Sx):-not(in_list(walk(_,_),Sx)).
in_list(x,[x|z]):-List(z),in_list(x,z),!.
Q([climb|S]):-S(x,x,x,S,S).

goal
Q(S).

Помогите пожалуйста корректно описать домены и предикаты для задачки
user posted image 
PM MAIL   Вверх
Shaggie
Дата 27.3.2008, 07:13 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Завсегдатай
Сообщений: 570
Регистрация: 21.12.2006
Где: outer space

Репутация: нет
Всего: 72
Внимательно изучаем.


--------------------
Цитата(alina3000 @  6.3.2014,  10:47 Найти цитируемый пост)
Сорри что не по теме 
PM MAIL ICQ GTalk Jabber   Вверх
Stom
Дата 27.3.2008, 12:29 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 2
Регистрация: 25.3.2008

Репутация: нет
Всего: нет
Цитата(Shaggie @ 27.3.2008,  07:13)
Внимательно изучаем.

Спасибо Shaggie
задача решена

Это сообщение отредактировал(а) Stom - 1.4.2008, 15:49
PM MAIL   Вверх
  
 Ответ в темуСоздание новой темы Создание опроса
Правила форума "Центр помощи"

ВНИМАНИЕ! Прежде чем создавать темы, или писать сообщения в данный раздел, ознакомьтесь, пожалуйста, с Правилами форума и конкретно этого раздела.
Несоблюдение правил может повлечь за собой самые строгие меры от закрытия/удаления темы до бана пользователя!


  • Название темы должно отражать её суть! (Не следует добавлять туда слова "помогите", "срочно" и т.п.)
  • При создании темы, первым делом в квадратных скобках укажите область, из которой исходит вопрос (язык, дисциплина, диплом). Пример: [C++].
  • В названии темы не нужно указывать происхождение задачи (например "школьная задача", "задача из учебника" и т.п.), не нужно указывать ее сложность ("простая задача", "легкий вопрос" и т.п.). Все это можно писать в тексте самой задачи.
  • Если Вы ошиблись при вводе названия темы, отправьте письмо любому из модераторов раздела (через личные сообщения или report).
  • Для подсветки кода пользуйтесь тегами [code][/code] (выделяйте код и нажимаете на кнопку "Код"). Не забывайте выбирать при этом соответствующий язык.
  • Помните: один топик - один вопрос!
  • В данном разделе запрещено поднимать темы, т.е. при отсутствии ответов на Ваш вопрос добавлять новые ответы к теме, тем самым поднимая тему на верх списка.
  • Если вы хотите, чтобы вашу проблему решили при помощи определенного алгоритма, то не забудьте описать его!
  • Если вопрос решён, то воспользуйтесь ссылкой "Пометить как решённый", которая находится под кнопками создания темы или специальным флажком при ответе.

Более подробно с правилами данного раздела Вы можете ознакомится в этой теме.

Если Вам помогли и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, Poseidon, Rodman
 
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | Центр помощи | Следующая тема »

Подписаться на тему | Подписка на этот форум | Скачать/Распечатать тему


 




[ Время генерации скрипта: 0.0544 ]   [ Использовано запросов: 22 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
 По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.