> -- Владислав Жаринов писал(а):
> ...Сделал связи предметики связями языка, сопоставил им правила существования (зависящие от состояния системы вместе со средой) - и всё... а какие там из связей осуществятся "на опыте", это реализация модели (конкретная система) решит... а если нам надо это узнать "до опыта", то накатаем имитореализацию (модельного исполнителя модели ) и прогоним на ней наше предложение (получив историю как конкретную подструктуру Крипке, "трассу" на этой структуре)... Вот можно такое сделать в Р-схемах?..
Можно и нужно. Автор оригинальных схемтаблиц выдвигает концепцию (а точнее, обобщает) "Example-Driven Developmen", например,здесь:
Вложение:
EDD.PNG [ 739.38 КБ | Просмотров: 18400 ]

В общих чертах. В среде запускаем "пробы", фиксируем результаты, в т.ч. ошибки/проблемы, ведём историю. Можем запускать "недоделанные" модели, среда конкретно запросит, чего не хватает, и исполнит. Фиксируем то, что изменяли на этапах. В общем, постепенно выстраиваем модель, пока "не дойдёт"... Используя те же схемтаблицы можем выполнять анализ "генетического кода", исследуя всё. Забабахаем SQL- или DataLog-запрос, где свяжем данные из истории (а история -- тоже функция), необходимые модели, и получим новый набор "слепышей" (правда, уже не таких "слепых"). Оформи как ф-цию в среде, подставляй аргументы, вводя пару букв в консоли с автодополнением, и вперёд..., формируй новое, изменяй имеющееся.

При этом Р-схемам/таблицам не помешает и интерактивная отладка, примерно так (отсюда):
Вложение:
debug.PNG [ 58.23 КБ | Просмотров: 18400 ]
