- summary: Methed Checking --> Method Checking
The current parsing gives too much freedom, leading to stupid wastes of time.
For instance, a not written PC-rule can be freely called. It would be convenient to perform a simple check to test if there exists such a rule. If not, throw a syntax error.
Similarly, modules can be quite freely instantiated. It could be convenient to have constructors. For instance, if I want to start a move module, I do not like to have a strange behavior if I forgot to provide the destination for instance. It would be convenient either to have a constructor-like restriction (when instantiating a module, I get rejected if I did not give the right parameters), allowing monitoring of failure prior execution.
Another solution consists in defining set(s) of beliefs I need to give to this agent. If none of these set is provided, then throw an error.