8135

Планирование действий в реальном мире. Условное планирование. Непрерывное планирование

Лекция

Информатика, кибернетика и программирование

Планирование действий в реальном мире. Условное планирование. Непрерывное планирование. В ряде реальных проблемных областей необходимо указание времени начала и окончания действий. Например, в проблемной области транспортировки грузов...

Русский

2015-02-01

45.5 KB

4 чел.

Планирование действий в реальном мире.

Условное планирование. Непрерывное планирование.

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

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

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

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

engine – спецификация факта начала установки двигателя e на шасси c с плановым временем t,

wheels – спецификация факта начала установки колес w на шасси c за время t,

chassis – спецификация факта использования шасси c,

enginein – спецификация факта окончания установки двигателя на шасси c,

wheelson – спецификация факта окончания установки колес на шасси c,

done – спецификация факта окончания поверки автомобиля, собранного на шасси c.

Правила addengine, addwheels и inspect описывают, соответственно, действия по установке двигателя, колес и проверке.

(deftemplate engine

(slot e (type SYMBOL))

(slot c (type SYMBOL))

(slot t (type INTEGER))

)

(deftemplate wheels

(slot w (type SYMBOL))

(slot c (type SYMBOL))

(slot t (type INTEGER))

)

(deftemplate chassis

(slot c (type SYMBOL))

)

(deftemplate enginein

(slot c (type SYMBOL))

)

(deftemplate wheelson

(slot c (type SYMBOL))

)

(deftemplate done

(slot c (type SYMBOL))

)

(deftemplate goal

(slot current-task (type SYMBOL))

)

(deffacts init

(engine (e E1)(c C1)(t 30))

(engine (e E2)(c C2)(t 60))

(wheels (w W1)(c C1)(t 30))

(wheels (w W2)(c C2)(t 15))                

(chassis (c C1))

(chassis (c C2))

)

(defrule init-system

(initial-fact)

=>

(assert (goal(current-task find)))

)

(defrule addengine

(engine (e ?e)(c ?c)(t ?d))

(chassis (c ?c))

(not (enginein (c ?c)))

(goal (current-task find))

=>

(assert (enginein(c ?c)))

(printout t crlf "addengine " ?e " " ?c " " ?d)

)

(defrule addwheels

(enginein (c ?c))

(wheels (w ?w)(c ?c)(t ?d))

(chassis (c ?c))

(goal (current-task find))

=>

(assert (wheelson(c ?c)))

(printout t crlf "addwheels " ?w " " ?c " " ?d)

)

(defrule inspect

(enginein (c ?c))

(wheelson(c ?c))

(chassis (c ?c))

(goal (current-task find))

=>

(assert (done(c ?c)))                      

(printout t crlf "inspect " ?c " 10")

)

(defrule finish-process

(done (c C1))

(done (c C2))

?goal-ptr <- (goal (current-task find))

=>

(retract ?goal-ptr)

(printout t crlf "Solution found" crlf)

)

Далее показан результат выполнения программы в среде CLIPS с использованием стратегии “в глубину” (depth). Так как действия по сборке обоих автомобилей лишь частично упорядочены, то есть действия, относящиеся к разным автомобилям, могут производиться параллельно, то полученный план можно изобразить так, как показано на рисунке 1. Продолжительность каждого действия обозначена в нижней части каждого прямоугольника, а значения самого раннего и самого позднего времени начала, показаны в верхней левой части.

addengine E1 C1 30

addwheels W1 C1 30

inspect C1 10

addengine E2 C2 60

addwheels W2 C2 15

inspect C2 10

Solution found

Рис.1

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


[0,0]

Start

0,15]

addengine1

30

[30,45]

addwheels1

30

[60,75]

inspect1

10

[85,85]

Finish

[0,0]

addengine2

60

[60,60]

addwheels2

15

[75,75]

inspect2

10


 

А также другие работы, которые могут Вас заинтересовать

8925. Отработка заданных режимов системы позиционирования при переменном моменте инерции нагрузки и следующих вариациях параметров объекта 131.5 KB
  Цель работы: Целью работы является отработка заданных режимов системы позиционирования при переменном моменте инерции нагрузки и следующих вариациях параметров объекта. - коэффициент жесткости с упругого звена - посто...
8926. Лекции по теории автоматов Часть 1 Теория абстрактных автоматов 241 KB
  Лекции по теории автоматов Часть 1 Теория абстрактных автоматов Учебное пособие для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. ОГЛАВЛЕНИЕ Часть 1. Теория абстрактных автоматов...
8927. Енергозбереження - шлях до віддалення глобальної катастрофи 115.5 KB
  Тема 10. Енергозбереження - шлях до віддалення глобальної катастрофи Людська цивілізація знаходиться на порозі чергової кризи, звязаної з наслідками її діяльності, а саме - глобальним забрудненням довкілля, зокрема парниковими газами...
8928. Інвестиційна політика в галузі енергозбереження 122 KB
  Тема 9. Інвестиційна політика в галузі енергозбереження З таблиці 2 теми 1 бачимо, що обсяг капіталовкладень, які необхідні для забезпечення ефективної політики в галузі енергозбереження на Україні, становить у розрахунку на 2005 рік...
8929. Утилізація вторинних енергоресурсів 284.5 KB
  Утилізація вторинних енергоресурсів Будь-які енергоносії, чи енергія у формі тепла або стиснених газів, що отримуються внаслідок основних технологічних процесів, наприклад, коксування вугілля, металургійних процесів, роботи ГТУ чи ТЕС, називаються в...
8930. Лекции по теории автоматов. Логические основы цифровых автоматов 620.5 KB
  Лекции по теории автоматов. Логические основы цифровых автоматов. Учебное пособие для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления..
8931. Нетрадиційні та поновлювані джерела енергії 644 KB
  Нетрадиційні та поновлювані джерела енергії Сучасна енергетика базується на викопному органічному паливі: камяному вугіллі, нафті та газі. Розвіданих і прогнозних запасів викопного палива при сучасних темпах енергоспоживання достатньо на 90-15...
8932. Біогазова технологія утилізації органічних відходів і виробництва енергії 581 KB
  Біогазова технологія утилізації органічних відходів і виробництва енергії Біогаз - енергоносій, який є сумішшю метану (60 - 70%), діоксиду вуглецю (30 - 40%), невеликої кількості сірководню, водню, аміаку та оксиду азоту(5%). Склад бі...
8933. Технология производства сырокопченых колбас 159.5 KB
  Технология производства сырокопченых колбас. Сырокопченые колбасы - изделия, приготовленные из мясного фарша, соли, пряностей, в оболочке подвергнутой созреванию 8 - 10 суток, холодному копчению при 18 - 250С и сушке до 1,5 мес...