Formalization of CGP
nUp until now:
CGPs are treated as plans: actions, states, transition functions. Methodologies from the AI Planning & OR Scheduling community
nWhy not:
Use Formal Ontology methodology to represent (at least, selected) aspects of CGPs in order to support consistency, fusion, and modulariziation of CGPs
Read

So what we propose is to perform an