вопрос
Если я немного представляю себе вопрос то в терминах переписывания это можно попытаться сформулировать как динамические правила и стратегии переписывания ... и это можно делать уже сейчас, вот только будет жутко медленно и ресурсоемко.
http://www.springerlink.com/content/pj750471783x6378/
Или это совершенно разные вещи?
Спасибо