jason-users Mailing List for jason

The following asl code fails to compile in Jason 2.3:

@foo(1)
+!g <- .print("Plan ", foo(1), " was called").

@foo(2)
+!g <- .print("Plan ", foo(2), " was called").

I get this exception:

[test_plan_labels] as2j: error parsing "<...>\test_plan_labels.asl"
jason.JasonException: There already is a plan with label foo(2)
	at jason.asSyntax.PlanLibrary.add(PlanLibrary.java:152)
	at jason.asSyntax.PlanLibrary.add(PlanLibrary.java:128)
	at jason.asSyntax.parser.as2j.agent(as2j.java:215)
	at jason.asSemantics.Agent.parseAS(Agent.java:419)
	at jason.asSemantics.Agent.parseAS(Agent.java:404)
	at jason.asSemantics.Agent.load(Agent.java:174)
	at jason.asSemantics.Agent.create(Agent.java:121)
	at jason.infra.centralised.CentralisedAgArch.createArchs(CentralisedAgArch.java:72)
	at jason.infra.centralised.RunCentralisedMAS.createAgs(RunCentralisedMAS.java:481)
	at jason.infra.centralised.RunCentralisedMAS.create(RunCentralisedMAS.java:202)
	at jason.infra.centralised.RunCentralisedMAS.main(RunCentralisedMAS.java:79)

I read on page 58 of the Jason book that "as a label, it is normal practice to use a predicate of arity 0". However, the earlier part of that sentence says "we can use a complex predicate", and the example shown at the top of that page has this label: @shopping(1)[chance_of_success(0.7),usual_payoff(0.9), source(ag1),expires(autumn)]. The book does not say that when a plan label's arity is greater than 0, there must only be one instance of a plan label with the label's functor, so I presume that the exception above is due to a bug, not the code being in error.

Regards,
Stephen

Regarding “self-improving”, Felipe Meneguzzi has published several papers on that … some of them integrating planning and Jason. E.g. http://www.di.unito.it/~baldoni/DALT-2007/papers/paper_3.pdf


> On 25 Oct 2018, at 19:17, Jonatan Knud Lauritsen via Jason-users <jas...@li...> wrote:
> 
> Hello!
> 
> I am trying to build self-improving Jason agent (aka Goedel machine - http://people.idsia.ch/~juergen/goedelmachine.html). I have read first 4 chapters from the Jason book (and continuing to read) and as far as I can understand, then at any time AgentSpeak can receive new class names (classes), new object names (instances), new functions (predicates and relations) coming from external percepts.
> 
> What I don't understand clearly and what I wanted to ask it this:
> 
> 1) can AgentSpeak agent create new class/object/function name internally. E.g. Can it have construction +new_name(some_part_of_belief_base), where new_name ir some function that returns the new class/object/function name in string format. E.g. maybe agent has extensive knowledge base about judicial knowledge and this function new_name creates new class name "servitude" (possibly together with relevant definition). There is special field in artificial intelligence that is called "concept generation" and can AgentSpeak generate such concepts internally? I am not sure, but I have some intuition, that all AgentSpeak allow only boolean-valued functions/prediated/relations, is it so? If so, then my new_name function can be be made inside AgentSpeak. But maybe I can implement my concept-generation function externally and receive new class/object/function names as external/perceived events and integrate them into belief base? It is possible?
> 
> 2) I have not found in the Jason book the notion about update of plan library. Can AgentSpeak agent infere new plan or receive new plan from the external source? This is very important question, because plans are nothing more/less than the skills for the agent and it agent should be able to update it skills if it is to become self-learning, self-improving.
> 
> I guess, that 1)+2) are sufficient for implementing self-improving agents. So - is 1) and 2) possible?
> 
> And additionally - is there already some work in self-improving, self-modifying, self-evolving agents?
> 
> p.s. I am trying to follow the https://global.oup.com/academic/product/anatomy-of-the-mind-9780199794553?cc=us&lang=en& - book that forms the bases if Clarion cognitive architecture. Sometimes I wonder, why all the cognitivie architectures (Clarion, OpenCog, ACT-R, Soar) are investing so many resources in building specialised software and why they are not simply writing rules for already available BDI agent platform?
> 
> Regards,
> Jonatan
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

-- 
Jomi Fred Hubner
Department of Automation and Systems Engineering
Federal University of Santa Catarina
PO Box 476, Florianópolis, SC
88040-900 Brazil
http://jomi.das.ufsc.br
-- 
be good. be kind. be happy. (Conrad Anker)

Dear Jonatan,

a Jason agent can fully control its mind :-) and influence others. By mind I mean beliefs, intentions and plans.

To add plans, simply use the + operator:

	+x(bal) <-     + { +!g : ok <- .print(ok) } .

The demo available at demos/communication shows how plans can be exchanged by communication. 

HTH,

Jomi 




> On 26 Oct 2018, at 07:57, Jonatan Knud Lauritsen via Jason-users <jas...@li...> wrote:
> 
> Rafael already gave good answer on my similar question several months ago: https://sourceforge.net/p/jason/mailman/jason-users/?viewmonth=201806
> 
> Just wanted to make 2 things clear:
> 
> 1) can AgenSpeak generate its plan inside its own program. I guess that plans can be received only from external reasoner. I am hesitating how to distribute the load - how deeply involve AgentSpeak into reasoning process - do it in AgentSpeak or in external service.
> 
> 2) How, practically I can receive new plan and add to the plan library? I guess, that I can use new variable new_plan_variable to read plan from external service using command perceive(new_plan_variable). What what should I do next to add this new plan to library? Is there command add_new_plan(new_plan_variable)?
> 
> Jonatan
> 
> ----- Forwarded message -----
> From: Jonatan Knud Lauritsen <jon...@ya...>
> To: Jason-users <jas...@li...>
> Cc: Jonatan Knud Lauritsen <jon...@ya...>
> Sent: Friday, 26 October 2018, 01:17:45 EEST
> Subject: Is it possible to update (internally or externally) plan library during the agent life?
> 
> Hello!
> 
> I am trying to build self-improving Jason agent (aka Goedel machine - http://people.idsia.ch/~juergen/goedelmachine.html). I have read first 4 chapters from the Jason book (and continuing to read) and as far as I can understand, then at any time AgentSpeak can receive new class names (classes), new object names (instances), new functions (predicates and relations) coming from external percepts.
> 
> What I don't understand clearly and what I wanted to ask it this:
> 
> 1) can AgentSpeak agent create new class/object/function name internally. E.g. Can it have construction +new_name(some_part_of_belief_base), where new_name ir some function that returns the new class/object/function name in string format. E.g. maybe agent has extensive knowledge base about judicial knowledge and this function new_name creates new class name "servitude" (possibly together with relevant definition). There is special field in artificial intelligence that is called "concept generation" and can AgentSpeak generate such concepts internally? I am not sure, but I have some intuition, that all AgentSpeak allow only boolean-valued functions/prediated/relations, is it so? If so, then my new_name function can be be made inside AgentSpeak. But maybe I can implement my concept-generation function externally and receive new class/object/function names as external/perceived events and integrate them into belief base? It is possible?
> 
> 2) I have not found in the Jason book the notion about update of plan library. Can AgentSpeak agent infere new plan or receive new plan from the external source? This is very important question, because plans are nothing more/less than the skills for the agent and it agent should be able to update it skills if it is to become self-learning, self-improving.
> 
> I guess, that 1)+2) are sufficient for implementing self-improving agents. So - is 1) and 2) possible?
> 
> And additionally - is there already some work in self-improving, self-modifying, self-evolving agents?
> 
> p.s. I am trying to follow the https://global.oup.com/academic/product/anatomy-of-the-mind-9780199794553?cc=us&lang=en& - book that forms the bases if Clarion cognitive architecture. Sometimes I wonder, why all the cognitivie architectures (Clarion, OpenCog, ACT-R, Soar) are investing so many resources in building specialised software and why they are not simply writing rules for already available BDI agent platform?
> 
> Regards,
> Jonatan
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

-- 
Jomi Fred Hubner
Department of Automation and Systems Engineering
Federal University of Santa Catarina
PO Box 476, Florianópolis, SC
88040-900 Brazil
http://jomi.das.ufsc.br
-- 
be good. be kind. be happy. (Conrad Anker)

 Rafael already gave good answer on my similar question several months ago: https://sourceforge.net/p/jason/mailman/jason-users/?viewmonth=201806
Just wanted to make 2 things clear:
1) can AgenSpeak generate its plan inside its own program. I guess that plans can be received only from external reasoner. I am hesitating how to distribute the load - how deeply involve AgentSpeak into reasoning process - do it in AgentSpeak or in external service.
2) How, practically I can receive new plan and add to the plan library? I guess, that I can use new variable new_plan_variable to read plan from external service using command perceive(new_plan_variable). What what should I do next to add this new plan to library? Is there command add_new_plan(new_plan_variable)?
Jonatan
   ----- Forwarded message ----- From: Jonatan Knud Lauritsen <jon...@ya...>To: Jason-users <jas...@li...>Cc: Jonatan Knud Lauritsen <jon...@ya...>Sent: Friday, 26 October 2018, 01:17:45 EESTSubject: Is it possible to update (internally or externally) plan library during the agent life?
 Hello!
I am trying to build self-improving Jason agent (aka Goedel machine - http://people.idsia.ch/~juergen/goedelmachine.html). I have read first 4 chapters from the Jason book (and continuing to read) and as far as I can understand, then at any time AgentSpeak can receive new class names (classes), new object names (instances), new functions (predicates and relations) coming from external percepts.
What I don't understand clearly and what I wanted to ask it this:
1) can AgentSpeak agent create new class/object/function name internally. E.g. Can it have construction +new_name(some_part_of_belief_base), where new_name ir some function that returns the new class/object/function name in string format. E.g. maybe agent has extensive knowledge base about judicial knowledge and this function new_name creates new class name "servitude" (possibly together with relevant definition). There is special field in artificial intelligence that is called "concept generation" and can AgentSpeak generate such concepts internally? I am not sure, but I have some intuition, that all AgentSpeak allow only boolean-valued functions/prediated/relations, is it so? If so, then my new_name function can be be made inside AgentSpeak. But maybe I can implement my concept-generation function externally and receive new class/object/function names as external/perceived events and integrate them into belief base? It is possible?
2) I have not found in the Jason book the notion about update of plan library. Can AgentSpeak agent infere new plan or receive new plan from the external source? This is very important question, because plans are nothing more/less than the skills for the agent and it agent should be able to update it skills if it is to become self-learning, self-improving.
I guess, that 1)+2) are sufficient for implementing self-improving agents. So - is 1) and 2) possible?
And additionally - is there already some work in self-improving, self-modifying, self-evolving agents?
p.s. I am trying to follow the https://global.oup.com/academic/product/anatomy-of-the-mind-9780199794553?cc=us&lang=en& - book that forms the bases if Clarion cognitive architecture. Sometimes I wonder, why all the cognitivie architectures (Clarion, OpenCog, ACT-R, Soar) are investing so many resources in building specialised software and why they are not simply writing rules for already available BDI agent platform?

Regards,Jonatan
  

Hello!
I am trying to build self-improving Jason agent (aka Goedel machine - http://people.idsia.ch/~juergen/goedelmachine.html). I have read first 4 chapters from the Jason book (and continuing to read) and as far as I can understand, then at any time AgentSpeak can receive new class names (classes), new object names (instances), new functions (predicates and relations) coming from external percepts.
What I don't understand clearly and what I wanted to ask it this:
1) can AgentSpeak agent create new class/object/function name internally. E.g. Can it have construction +new_name(some_part_of_belief_base), where new_name ir some function that returns the new class/object/function name in string format. E.g. maybe agent has extensive knowledge base about judicial knowledge and this function new_name creates new class name "servitude" (possibly together with relevant definition). There is special field in artificial intelligence that is called "concept generation" and can AgentSpeak generate such concepts internally? I am not sure, but I have some intuition, that all AgentSpeak allow only boolean-valued functions/prediated/relations, is it so? If so, then my new_name function can be be made inside AgentSpeak. But maybe I can implement my concept-generation function externally and receive new class/object/function names as external/perceived events and integrate them into belief base? It is possible?
2) I have not found in the Jason book the notion about update of plan library. Can AgentSpeak agent infere new plan or receive new plan from the external source? This is very important question, because plans are nothing more/less than the skills for the agent and it agent should be able to update it skills if it is to become self-learning, self-improving.
I guess, that 1)+2) are sufficient for implementing self-improving agents. So - is 1) and 2) possible?
And additionally - is there already some work in self-improving, self-modifying, self-evolving agents?
p.s. I am trying to follow the https://global.oup.com/academic/product/anatomy-of-the-mind-9780199794553?cc=us&lang=en& - book that forms the bases if Clarion cognitive architecture. Sometimes I wonder, why all the cognitivie architectures (Clarion, OpenCog, ACT-R, Soar) are investing so many resources in building specialised software and why they are not simply writing rules for already available BDI agent platform?

Regards,Jonatan

Dear all,

We have just released a new version of Jason, version 2.3! The main new features are the support for yellow pages (directory facilitador) and new internal actions. More details are available at 

	https://github.com/jason-lang/jason/blob/master/release-notes.adoc#version-2-3

To download the new version please go to:

	https://sourceforge.net/projects/jason/?source=updater

Best wishes,

Jomi and Rafael