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

[snowtomcat.livejournal.com]

Maude это инструмент для строительства концептмапов или что-то наподобие майндменеджера?
не могли бы дать ссылку на графический пример работы Maude?

[clayrat.livejournal.com]

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