Существует ли какое-либо программное обеспечение, которое действует как пересечение между современными рассуждениями OWL / RDF и старыми автоматизированными планировщиками и планировщиками в стиле STRIPS ?Обе системы используют сопоставление с образцом на основе RETE, но, похоже, только автоматизированные планировщики формализуют концепцию «действия».К сожалению, все проекты, в которых реализовано автоматическое планирование, такие как Graphplan или SOAR , кажутся мертвыми или умирающими и с самого начала никогда не казались масштабными.Нынешние хранилища данных реализованы в RDMS и могут масштабироваться до миллионов триплетов и рассуждать о них, но я не нашел ни одного, который бы специально пытался рассуждать о действиях.Я могу представить, как концепция действий может быть представлена в традиционных RDF, но я уверен, что она все еще будет очень сложной и хакерской без официальной поддержки.К сожалению, я не могу найти много предшествующего уровня техники.Это было сделано раньше?