Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Последовательности





Помимо типов данных, представляющих единичные значения, такие символы, строки или числа, система CLIPS поддерживает тип данных, представляющий последовательность значений. Для обозначения этого типа данных в системе CLIPS используется термин мультиполе (multifield). Элементами последовательности могут быть единичные значения любого типа; однако элемент последовательность сам не может быть последовательностью, т. е, вложенные последовательности не допускаются. Количество элементов в последовательности называется длиной. Последовательность может вовсе не содержать элементов, в этом случае она называется пустой; длина пустой последовательности равна 0. Отметим также, что система CLIPS различает единичные значения и последовательности, состоящие из одного элемента.

Для создания новой последовательности можно использовать функцию create$; элементы возвращаемой последовательности перечисляются при вызове функции в качестве параметров. Пример:

CLIPS> (create$ a b 1 2 3)

(a b 1 2 3)

CLIPS> (create$)

()

CLIPS> (create$ a b (create$ 1 2) 3)

(a b 1 2 3)

CLIPS> (create$ a)

(a)

Для работы с последовательностью можно использовать следующие функции:

· length$ — возвращает длину последовательности; последовательность задается параметром;

· nth$ — возвращает элемент последовательности по номеру; номер задается первым параметром, а последовательность — вторым. Нумерация элементов начинается с 1. Если элемента с заданным номером нет, то функция возвращает символ nil;

· subseq$ — возвращает часть последовательности по диапазону номеров; последовательность задается первым параметром, а номера первого и последнего элементов — вторым и третьим. Если одного или обоих граничных элементов в последовательности нет, то возвращаются только те элементы, которые есть (т. е. ошибки не возникает);

· member$ — ищет в последовательности элемент с указанным значением и возвращает номер первого найденного элемента; искомое значение задается первым параметром, а сама последовательность — вторым. Если искомого значения в последовательности нет, то функция возвращает символ FALSE. Если искомое значение само является последовательностью, то в случае успеха функция возвращает последовательность из двух элементов, задающих границы части последовательности, совпадающей искомой.

Примеры:

CLIPS> (bind?s (create$ a b 1 2 1))

(a b 1 2 1)

CLIPS> (length$?s)

CLIPS> (nth$ 2?s)

b

CLIPS> (nth$ 6?s)

nil

CLIPS> (subseq$?s 2 4)

(b 1 2)

CLIPS> (subseq$?s 2 8)

(b 1 2 1)

CLIPS> (subseq$?s 6 8)

()

CLIPS> (member$ b?s)

CLIPS> (member$ 1?s)

CLIPS> (member$ c?s)

FALSE

CLIPS> (member$ (create$ b 1)?s)

(2 3)

CLIPS> (member$ (create$ b 2)?s)

FALSE

Вставка и удаление элементов последовательности в системе CLIPS также реализована функциями. Однако эти функции не изменяют оригинальную последовательность — вместо этого они возвращают новую последовательность, созданную на основе исходной. Перечислим эти функции, заметив, что исходная последовательность во всех них задается первым параметром:

· insert$ — вставляет в последовательность новые элементы начиная с указанного номера; номер задается вторым параметром, а значения новых элементов — параметрами начиная с третьего (т. е. первый из вставляемых элементов соответствуют третьему параметры, второй — четвертому, третий — пятому и т. д.);

· delete$ — удаляет часть последовательности по диапазону номеров; диапазон номеров задается вторым и третьим параметрами. При попытке удалить несуществующие элементы возникает ошибка;

· delete-member$ — удаляет из последовательности элементы по значению; значения удаляемых элементов задаются параметрами начиная со второго. Если некоторое удаляемое значение совпадает с несколькими элементами исходной последовательности, то функция удаляются все такие элементы. Если ни один элемент исходной последовательности не совпадает ни одним из удаляемых значений, то функция возвращает исходную последовательность без изменений. Порядок перечисления удаляемых значений не важен;

· replace$ — заменяет часть последовательности, заданной диапазоном номеров, новыми элементами; диапазон номеров задается вторым и третьим параметрами, а значения новых элементов — параметрами начиная с четвертого;

· replace-member$ — заменяет элементы последовательности, заданные значениями, новыми значением или последовательностью; новое значение или последовательность задается вторым параметром, а значения удаляемых элементов — параметрами, начиная с третьего.

· subsetp

CLIPS> (bind?s (create$ a b 1))

(a b 1)

CLIPS> (insert$?s 3 a 2)

(a b a 2 1)

CLIPS> ?s

(a b 1)

CLIPS> (bind?s (insert$?s 3 a 2))

(a b a 2 1)

CLIPS> ?s

(a b a 2 1)

CLIPS> (insert$?s 4 x (create$ y z))

(a b a x y z 2 1)

CLIPS> (delete$?s 2 3)

(a 2 1)

CLIPS> (delete-member$?s b)

(a a 2 1)

CLIPS> (delete-member$?s a b)

(2 1)

CLIPS> (delete-member$?s c)

(a b a 2 1)

CLIPS> (replace$?s 2 3 x)

(a x 2 1)

CLIPS> (replace$?s 2 3 x y z)

(a x y z 2 1)

CLIPS> (replace-member$?s x a)

(x b x 2 1)

CLIPS> (replace-member$?s x a b)

(x x x 2 1)

CLIPS> (replace-member$?s (create$ x y) a)

(x y b x y 2 1)

Последовательности могут использоваться для представления множеств (за неимением в системе CLIPS более подходящего типа данных). Чтобы проверить является ли одно множество, заданное последовательность, подмножеством другого множества, также заданного списком, можно использовать функцию subsetp. Эта функция возвращает символ TRUE, если первый аргумент является подмножеством второго, или символ FALSE в противном случае. Повторяющиеся элементы в каждой из последовательностей не учитываются; порядок элементов не важен. Пример:

CLIPS> (subsetp (create$ a b) (create$ b c a))

TRUE

CLIPS> (subsetp (create$ a b) (create$ b a))

TRUE

CLIPS> (subsetp (create$ a b) (create$ b c))

FALSE

Одна последовательность может использоваться для задания сразу же нескольких аргументов функции; для этого используется функция expand$, параметром которой является раскрываемая последовательность. Вызов функции expand$ может размещаться только в пределах вызова какой-либо другой функции. Пример:

CLIPS> (bind?t (create$ 1 2 3))

(1 2 3)

CLIPS> (+ (expand$?t))

CLIPS> (+ 10 (expand$?t))

Отметим, что не все функции допускают использование expand$.

Последовательность могут использоваться в команде assert для задания параметров фактов. При этом такие последовательности раскрываются автоматически (без использования функции expand$). Пример:

CLIPS> (assert (seq a b c))

<Fact-1>

CLIPS> (assert (seq (create$ b c) d))

<Fact-2>

CLIPS> (facts 1)

f-1 (seq a b c)

f-2 (seq b c d)

For a total of 2 facts.

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

CLIPS> (assert (num-seq 1 2 3 4))

<Fact-1>

CLIPS> (assert (num-seq 20 30 40))

<Fact-2>

CLIPS> (defrule print-all-sum

(num-seq $?n)

=>;

(printout t (+ (expand$?n)) crlf))

CLIPS> (run)

CLIPS> (defrule print-all-but-first-sum

(num-seq? $?n)

=>;

(printout t (+ (expand$?n)) crlf))

CLIPS> (run)

CLIPS> (defrule print-all-but-last-sum

(num-seq $?n?)

=>;

(printout t (+ (expand$?n)) crlf))

CLIPS> (run)

Напомним, что если значение, присваиваемое переменной в ходе сопоставления факта образцу не важно, то вместо переменной можно использовать заполнитель. Пример:

CLIPS> (defrule print-last

(num-seq $??n)

=>;

(printout t?n crlf))

CLIPS> (run)

В том случае, когда в один образец входят несколько переменных, которым присваиваются последовательности, система CLIPS порождает отдельную активацию для каждого возможного распределения параметров между этими переменным, что в частности приводит к тому, что один факт и тот же может породить несколько активаций одного и того же правила. Пример:

CLIPS> (defrule print-two-sums

(num-seq $?n1 $?n2)

=>;

(printout t (+ 0 0 (expand$?n1)) " " (+ 0 0 (expand$?n2)) crlf))

CLIPS> (agenda)

0 print-two-sums: f-2

0 print-two-sums: f-2

0 print-two-sums: f-2

0 print-two-sums: f-2

0 print-two-sums: f-1

0 print-two-sums: f-1

0 print-two-sums: f-1

0 print-two-sums: f-1

0 print-two-sums: f-1

For a total of 9 activations.

CLIPS> (run)

0 90

20 70

50 40

90 0

0 10

1 9

3 7

6 4

10 0

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







Дата добавления: 2015-08-30; просмотров: 638. Нарушение авторских прав; Мы поможем в написании вашей работы!




Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...


Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...


Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...


Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...

Приложение Г: Особенности заполнение справки формы ву-45   После выполнения полного опробования тормозов, а так же после сокращенного, если предварительно на станции было произведено полное опробование тормозов состава от стационарной установки с автоматической регистрацией параметров или без...

Измерение следующих дефектов: ползун, выщербина, неравномерный прокат, равномерный прокат, кольцевая выработка, откол обода колеса, тонкий гребень, протёртость средней части оси Величину проката определяют с помощью вертикального движка 2 сухаря 3 шаблона 1 по кругу катания...

Неисправности автосцепки, с которыми запрещается постановка вагонов в поезд. Причины саморасцепов ЗАПРЕЩАЕТСЯ: постановка в поезда и следование в них вагонов, у которых автосцепное устройство имеет хотя бы одну из следующих неисправностей: - трещину в корпусе автосцепки, излом деталей механизма...

Классификация ИС по признаку структурированности задач Так как основное назначение ИС – автоматизировать информационные процессы для решения определенных задач, то одна из основных классификаций – это классификация ИС по степени структурированности задач...

Внешняя политика России 1894- 1917 гг. Внешнюю политику Николая II и первый период его царствования определяли, по меньшей мере три важных фактора...

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

Studopedia.info - Студопедия - 2014-2025 год . (0.011 сек.) русская версия | украинская версия