[Jason-users] What are requirements on AgentSpeak language, is it possible from every logic to form new agent language?

[Jonatan K. L. <jon...@ya...>]

Hello!
I am trying to build cognitive architecture which can have some agent framework as the managing component. Jason can be good candidate for this but I am developing specialised deontic/substructural logic for my knowledge base which should do deontic/legal reasoning as well. I am not sure that the AgentSpeak can capture deontic concepts well, at least I am trying to prepare for the case when the necessity for elaborate expressiveness can push me to use different logic. 
That is why my question is - what are requirements for some logic to be used as the logic programming language?Here I elaborated more this question:https://cs.stackexchange.com/questions/96058/what-are-constraints-on-some-new-logic-programming-language-and-system/

So - can I take any logic and form form clauses in it: body->head, where body is any boolean type expression in this logic and the head is any assignment of truth values and any other values to the variables in this logic? Or the situation is not so simple in this case - maybe there are further conditions that the language/logic should satisfy in order to be used as the logic programming language generally or as logic programming language for modelling agents specifically.
As far as I understand, then the approach is quite pragmatic: I am not required to prove any halting properties, I can induced halting of execution artificially, e.g. limiting the number of match-execute cycles.
What were the requirements on AgentSpeak and can I take any logic and develop new language that can be used instead of AgentSpeak in Jason platform?
BR.J.L.