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

[Rafael H B. <r.b...@ac...>]

Hi Jonatan,

I replied to your stackexchange post.

cheers

Rafael

On 28/08/2018 17:35, Jonatan Knud Lauritsen via Jason-users wrote:
> 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.
> 
> 
> 
> 
> 
> 
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> 
> 
> 
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users
>