Pathway Logic

[clayrat]

есть такая term rewriting система Maude, давно на нее заглядывался
это логический фреймворк, может выводить различные выражения из набора уравнений и правил перезаписи

нашел на нем интересную биологию: Pathway Logic
моделируют сетями Петри трансдукцию сигналов и прочие метаболические графы

Comments

[evil-glen.livejournal.com]

Логический фреймфорк, ммм.

http://mathworld.wolfram.com/TermRewritingSystem.html - почитал описание, не понял. какой области матчасти мне следует вкурить, чтобы понимать эту терминологию?

[clayrat.livejournal.com]

ну вообще это матлогика
вот тут попонятнее расписано: http://www.cs.swan.ac.uk/~csneal/MaudeCourse/index.html