Виконуємість поради

Порада виражається в термінах цілей, які необхідно досягти, і засобів, які слід застосовувати для цього.

Цілі й обмеження на ходи

Метод подання знань про конкретну гру визначає:

· які ідеї слід випробувати в тих або інших типових ситуаціях.

· Ідеї формулюються в термінах цілей і засобів д осягнення цих цілей.

· Після цього інтерпретатор мови порад (Advice Languages) визначає за допомогою пошуку, яка ідея фактично спрацьовує у даній ситуації.

Основне поняття в мовах Advice Languages - елементарна порада (pіece-of-advіce), яка підказує, що слід робити (або намагатись робити) у деякій типовій ситуації.

Два учасники гри іменуються свій гравець і чужий гравець; порада завжди стосується до свого гравця. Кожна елементарна порада має чотири складові:

· Краща ціль (better-goal) - ціль, яку треба досягти,

· Консервативна ціль (holdіng-goal) – та, яку не можна упустити в боротьбі за досягнення кращої цілі.

· Обмеження свого ходу (us-move-constraіnts) - предикат визначення ходів, найперспективніших щодо досягнення зазначених цілей.

· Обмеження чужого ходу (them-move-constraіnts) - предикат вибору ходів чужого гравця, здатних перешкоджати досягненню цілей свого гравця.

Наприклад, у шаховому ендшпілі типу "король і пішак проти короля" застосовна очевидна ідея: провести пішак у ферзя, просуваючи його вперед без додаткових пересторог. У формі поради це виражається так:

· Краща ціль - перетворення пішака у ферзя.

· Консервативна ціль – запобігти втраті пішака.

· Обмеження свого ходу - хід пішаком.

· Обмеження чужого ходу - наближення короля до пішака.

Вважається, що елементарна порада виконуєма в даній позиції, якщо свій гравець може форсувати досягнення кращої цілі, зазначеної в пораді, за наступних умов.

(1) Ніколи не порушується вимога досягнення консервативної цілі.

(2) Усі ходи свого гравця задовольняють обмеженням свого ходу.

(3) Чужому гравцю дозволено робити лише ті ходи, які задовольняють обмеженням чужого ходу.

Форсуюче дерево задає детальну стратегію, яка гарантує досягнення кращої цілі при виконанні всіх обмежень, заданих в елементарній пораді.

Формально, форсуюче дерево Т для заданої позиції Р і елементарної поради А є таке піддерево дерева гри, що:

§ кореневим вузлом дерева Т є позиція Р;

§ усі позиції з Т задовольняють консервативній цілі;

§ усі термінальні вузли Т задовольняють кращій цілі, а жоден внутрішній вузол в Т не задовольняє кращій цілі;

§ для кожної внутрішньої позиції свого гравця в дереві Т є точно один хід свого гравця, який задовольняє обмеженням свого хода;

§ в кожній не заключній позиції чужого ходу Т містить всі ходи чужого гравця, які задовольняють обмеженням чужого ходу.

Кожну елементарну пораду можна вважати визначенням невеликої гри за наступними особливими правилами.

§ Учасникам гри дозволено ходити в межах обмежень, накладених на їхні ходи; позиція, що не задовольняє консервативній цілі, є виграшною для чужого гравця, а позиція, яка задовольняє консервативній цілі і кращій цілі, - виграшною для свого гравця.

§ Нетермінальна позиція є виграшною для свого гравця, якщо в ній може бути виконана елементарна порада.

Таким чином, свій гравець виграє, виконуючи в ході гри ходи з форсуючого дерева.

5. 3. Правила й таблиці порад

У мовах порад Advіce Language елементарні поради поєднуються в закінчену схему подання знань, що має наступну ієрархічну структуру.

§ Елементарна порада є частиною правила виводу.

§ Сукупність правил утворює таблицю порад.

§ Множина таблиць порад структурується в ієрархічну мережу.

Кожна таблиця порад виконує роль спеціалізованого експерта, що дозволяє впоратись з деякою підпроблемою з проблемної області. Прикладом такого експерта є таблиця порад із знаннями, як поставити мат в шаховому ендшпілі «король і тура проти короля». Ця таблиця викликається на виконання, коли у грі виникає таке закінчення.

Розглянемо тут спрощену версію Мови Порад, що допускає лише одну таблицю порад. Будемо називати її Мова Порад 0 або, коротше, AL0 (Advice Language 0). Нижче описано структуру мови AL0, синтаксично спеціально пристосовану для зручної реалізації на Прологу.

Програма на AL0 називається таблицею порад. Таблиця порад - це впорядкована множина "якщо-то"-правил. Кожне правило має вигляд:

Дата добавления: 2014-01-04