Использование процедурных знаний

Пример.

Использование функций в правилах

Оператор проверки условия test

Пример.

Пример.

Пример.

Ограничения на значения полей

Использование ограничений на значения полей позволяет ограничить значения, принимаемые образцами в левой части правила.

Рассмотрим три вида ограничений: «~», «|» и «&».

Ограничение первого типа действует на следующее прямо за ним значение и говорит о том, что поле не может принимать это значение.

(defrule walk

(light -green)

=>

(printout t "Don't walk" crlf))

Ограничение второго типа указывает на то, что поле может принимать одно из следующих значений.

(defrule cautious

(light yellow|blinking-yellow)

=>

(printout t "Be cautious" crlf))

Ограничение третьего типа используется только вместе с ограничениями первых двух типов и указывает на то, что должны удовлетворяться оба соединяемых при его помощи ограничения.

(defrule cautious

(light?color&yellow!blinking-yellow)

=>

(printout t "Be cautious because light is "?color crlf))

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

Функция test имеет следующий синтаксис:

(test (<аргумент_сравнения> <аргумент_1><аргумент_2>)),

где <аргумент_сравнения> – параметр, по которому сравниваются два следующих аргумента.

В CLIPS существует ряд предопределенных аргументов сравнения:

· eq – равно (сравнивает тип и значение);

· neq – не равно;

· = – равно;

· <> – не равно;

· >= – больше или равно;

· > – больше;

· <= – меньше или равно;

· < – меньше.

Все аргументы, кроме eq и neq, используются только для сравнения чисел. При интерпретации выражения сравнения считается, что <аргумент_1> стоит слева от <аргумента_сравнения>, а <аргумент_2> – справа.

Функции могут использоваться и в левой, и в правой части правила.

(defrule addition

(numbers?x?y)

(assert (answer (+?х?у))))

При использовании функции в левой части правила перед ней должен стоять знак «=», указывающий CLIPS, что следующее выражение необходимо вычислить, а не использовать буквально.

Например:

(defrule addition

(numbers?x?y)

(stock?ID =(sqrt (+ (**?x 2) (** у 2))))

=>

(printout t "stock ID = "?ID crlf))

CLIPS поддерживает также процедурную парадигму представления знаний, подобную принятой в обычных языках программирования (С, Паскаль). Конструкция deffunction позволяет пользователю определять новые функции. Эти новые функции могут вызываться точно так же, как и встроенные функции CLIPS. Конструкция defmodule позволяет разбивать базу знаний на части.

Дата добавления: 2014-12-29