Comments | gaperton: Декларативное планирование revisited: темпоральная логика

gaperton

Декларативное планирование revisited: темпоральная логика

Apr 03, 2009 15:04

Ну вот, после нескольких лет практики применения, удалось наконец более-менее подробно изучить свойства "декларативного планирования", и довести его до логически завершенной, самостоятельной концепции. Ахтунг, уважаемые коллеги, это оказывается вовсе не упрощенный вариант всем известного сетевого планирование. Это в самом деле новый единый подход к ( Read more... )

планирование, темпоральная логика

Comments 59

правильно ли я понял... tiorlasso April 16 2009, 10:30:28 UTC

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

а также вопрос - раз уж это формальная модель, то можем ли мы формально ответить на вопрос - сбудется ли наш план за выделенное время? (находясь в начале плана, в середине, в конце)

Re: правильно ли я понял... gaperton April 16 2009, 10:52:27 UTC

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

Как раз наоборот, дает. Модель позволяет составлять план "сверху вниз", декомпозируя цели. Ну, то есть, вы формулируете критерий достижения главной цели, и думаете, без чего вы не сможете получить ее. Из этого поста, впрочем, сие непонятно, надо предыдущие посты читать.

> а также вопрос - раз уж это формальная модель, то можем ли мы формально ответить на вопрос - сбудется ли наш план за выделенное время? (находясь в начале плана, в середине, в конце)

Сможем. Как только добавим ограничения на отношение "не ранее чем". Например, событие А произойдет не раннее, чем через 4-7 дней после события Б, при условии доступности ресурса С. Причем, еще и в терминах вероятностей - здесь в комментах долно обсуждаться.

Re: правильно ли я понял... tiorlasso April 16 2009, 11:00:44 UTC

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

если уж накладывать формальную логику на планирование, то наверное цель должна быть - формально доказать осуществимость плана. может стоит в эту сторону подумать?

Re: правильно ли я понял... gaperton April 16 2009, 11:15:24 UTC

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

Это с PERT и станддартным риск-анализом мы "нарисуем" наши заблуждения. А терминах данной модели мы сможем проверить результат на логические ошибки. Что касательно того, насколько он "верен" - он в той степени верен, в которой вы верно представляете ваши цели, ибо только из них н и состоит.

> если уж накладывать формальную логику на планирование, то наверное цель должна быть - формально доказать осуществимость плана. может стоит в эту сторону подумать?

Это в принципе невозможно сделать для эмпирического процесса. Выполняют план люди, и ничего доказать вы не сможете.

Цель применения формальной логики в данном случае - превратить планирование в логическое рассуждение. Это само по себе очень много.

Thread 5