jason-users — For users to exchange experiences in using Jason

Re: [Jason-users] .term2string does not preserve single quotes in atoms such as '$%12'

[Jomi H. <jom...@gm...>]

> On 11 Nov 2020, at 18:00, Stephen Cranefield <ste...@ot...> wrote:
>  
> One more suggestion: In my current code, I needed a getenv internal action to get an OS environment variable and so wrote my own. Have there been any thoughts about adding some system-related internal actions such as getenv and exec? Probably, a number of users have already created these, so if there were a shared repository of user-contributed internal actions it would make Jason programmers’ live easier.

Hi Stephen,

we really like to move on in this direction --- having a repository of shared code for jason/jacamo!

I’m placing below some questions to start the discussion…

Does you or someone else in this list have ideias of how to implement it?
How this collaborative repository can be managed? 
Is there a model of other language we can “copy”? 
Could we have a simple GitHub repository where Pull Requests are proposed?
How to handle these libraries vs jason versions? (just a doc of each contribution?)
Do we (automatically) build jars of these internal actions and place them in jason maven rep?
	
best,

Jomi

[Jason-users] .term2string does not preserve single quotes in atoms such as '$%12'

[Stephen C. <ste...@ot...>]

Is it possible to convert "special" atoms such as '$%12' into strings that include the single quotation marks? .term2string does not include the quotation marks, and .print does not include them either. I tested this with Jason 2.6.1. For example:

!start.
+!start <-
    .term2string(foo('$%12'), S);
    .print(S);
    .length(S, Len);
    .print("Length: ", Len).

Output:
foo($%12)
Length: 9

If the quotation marks aren't included in the string, then it is not possible to parse the strings again to convert them back to Jason atoms.

Regards, 
Stephen  

Re: [Jason-users] Parallel (concurrent) plan execution

[Jomi H. <jom...@gm...>]

I recommend the reading of 
	https://github.com/jason-lang/jason/blob/master/doc/tech/concurrency.adoc

> On 28 Oct 2019, at 16:04, Helio Henrique Lopes <hel...@gm...> wrote:
> 
> Hello,
> 
> I want to enable agents to execute some parts of action plans in parallel. I saw in stdlib that there is a '.fork' internal action, but there is no example of use provided. Can someone provide an example to understand how this can be done?
> 
> For example, I add 2 goals: !support(P); !support(Q); and I wish the action plans for the two of them executed concurrently, then comparing their results when both of them finished.
> 
> Thanks!!
> 
> --
> Helio Henrique L. C. Monte-Alto
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

[Jason-users] Parallel (concurrent) plan execution

[Helio H. L. <hel...@gm...>]

Hello,

I want to enable agents to execute some parts of action plans in parallel.
I saw in *stdlib* that there is a '.fork' internal action, but there is no
example of use provided. Can someone provide an example to understand how
this can be done?

For example, I add 2 goals: *!support(P); !support(Q); *and I wish the
action plans for the two of them executed concurrently, then comparing
their results when both of them finished.

Thanks!!

--
Helio Henrique L. C. Monte-Alto

Re: [Jason-users] Add predicates (beliefs) to a list

[Helio H. L. <hel...@gm...>]

Great, this is what I was trying to do. Thank you very much!!

--
Helio Henrique L. C. Monte-Alto



Em seg, 28 de out de 2019 às 15:01, Jomi Hubner <jom...@gm...>
escreveu:

> Hi Helio,
>
> Variables do not change the value in Jason (as in Prolog) — they are more
> like math vars, and less like a programming vars. So, in your code, the
> value of L is set as [] and cannot change later.
>
> If you want to build lists from Belief Base, I’d suggest to use .findall:
>
>         .findall( focus_rule(H,B), focus_rule(H,B), L);
>         .send(A, tell, L).
>
> HTH,
>
> Jomi
>
>
> > On 28 Oct 2019, at 14:10, Helio Henrique Lopes <hel...@gm...>
> wrote:
> >
> > Thanks Jomi,
> >
> > So I think I did not understand how to capture de predicates into the
> variables (unification). Can I do something like this?
> >
> > /* Beliefs (the ones that I want to transmit to other agents) /*
> > focus_rule(mushroom(m1), [death_cap(m1)])
> > focus_rule(mushroom(m1), [caesar_mushroom(m1)])
> >
> > /* Action plan. Get every belief 'focus_rule(...)' and send them to
> agent A. */
> > +!query(P, A): <-
> >    L = []
> >    for (focus_rule(H,B)) {
> >       X =  focus_rule(H,B);
> >       L = [X|L];
> >     };
> >     .send(A, tell, L).
> >
> > I am sorry if this question is very basic or simple, but I really did
> not see similar examples.
> >
> > Thanks!!
> >
> > --
> > Helio Henrique L. C. Monte-Alto
> >
> > Em seg, 28 de out de 2019 às 13:51, Jomi Hubner <jom...@gm...>
> escreveu:
> > Hello Helio,
> >
> > It is quite simple: just send a list of predicates, as in
> >
> >         .send(bob,tell,[a,b,c]).
> >
> > HTH,
> >
> > Jomi
> >
> > > On 28 Oct 2019, at 12:02, Helio Henrique Lopes <
> hel...@gm...> wrote:
> > >
> > > Hello,
> > >
> > > I have a case in which I want an agent to send  a list of beliefs to
> another agent. I want to do it in one single message, thus the idea is
> sending a predicate containing, among other things, this list of
> predicates. What would be the best way to do this?
> > >
> > > Thanks,
> > > Helio
> > > _______________________________________________
> > > Jason-users mailing list
> > > Jas...@li...
> > > https://lists.sourceforge.net/lists/listinfo/jason-users
> >
>
>

Re: [Jason-users] Add predicates (beliefs) to a list

[Jomi H. <jom...@gm...>]

Hi Helio, 

Variables do not change the value in Jason (as in Prolog) — they are more like math vars, and less like a programming vars. So, in your code, the value of L is set as [] and cannot change later.

If you want to build lists from Belief Base, I’d suggest to use .findall:

	.findall( focus_rule(H,B), focus_rule(H,B), L);
	.send(A, tell, L).

HTH,

Jomi


> On 28 Oct 2019, at 14:10, Helio Henrique Lopes <hel...@gm...> wrote:
> 
> Thanks Jomi,
> 
> So I think I did not understand how to capture de predicates into the variables (unification). Can I do something like this?
> 
> /* Beliefs (the ones that I want to transmit to other agents) /*
> focus_rule(mushroom(m1), [death_cap(m1)])
> focus_rule(mushroom(m1), [caesar_mushroom(m1)])
> 
> /* Action plan. Get every belief 'focus_rule(...)' and send them to agent A. */
> +!query(P, A): <-
>    L = []
>    for (focus_rule(H,B)) {
>       X =  focus_rule(H,B);
>       L = [X|L];
>     };
>     .send(A, tell, L).
> 
> I am sorry if this question is very basic or simple, but I really did not see similar examples.
> 
> Thanks!!
> 
> --
> Helio Henrique L. C. Monte-Alto
> 
> Em seg, 28 de out de 2019 às 13:51, Jomi Hubner <jom...@gm...> escreveu:
> Hello Helio,
> 
> It is quite simple: just send a list of predicates, as in
> 
>         .send(bob,tell,[a,b,c]). 
> 
> HTH,
> 
> Jomi
> 
> > On 28 Oct 2019, at 12:02, Helio Henrique Lopes <hel...@gm...> wrote:
> > 
> > Hello,
> > 
> > I have a case in which I want an agent to send  a list of beliefs to another agent. I want to do it in one single message, thus the idea is sending a predicate containing, among other things, this list of predicates. What would be the best way to do this?
> > 
> > Thanks,
> > Helio
> > _______________________________________________
> > Jason-users mailing list
> > Jas...@li...
> > https://lists.sourceforge.net/lists/listinfo/jason-users
> 

Re: [Jason-users] Add predicates (beliefs) to a list

[Helio H. L. <hel...@gm...>]

Thanks Jomi,

So I think I did not understand how to capture de predicates into the
variables (unification). Can I do something like this?

/* Beliefs (the ones that I want to transmit to other agents) /*
focus_rule(mushroom(m1), [death_cap(m1)])
focus_rule(mushroom(m1), [caesar_mushroom(m1)])

/* Action plan. Get every belief 'focus_rule(...)' and send them to agent
A. */
+!query(P, A): <-
   L = []
   for (focus_rule(H,B)) {
      X =  focus_rule(H,B);
      L = [X|L];
    };
    .send(A, tell, L).

I am sorry if this question is very basic or simple, but I really did not
see similar examples.

Thanks!!

--
Helio Henrique L. C. Monte-Alto

Em seg, 28 de out de 2019 às 13:51, Jomi Hubner <jom...@gm...>
escreveu:

> Hello Helio,
>
> It is quite simple: just send a list of predicates, as in
>
>         .send(bob,tell,[a,b,c]).
>
> HTH,
>
> Jomi
>
> > On 28 Oct 2019, at 12:02, Helio Henrique Lopes <hel...@gm...>
> wrote:
> >
> > Hello,
> >
> > I have a case in which I want an agent to send  a list of beliefs to
> another agent. I want to do it in one single message, thus the idea is
> sending a predicate containing, among other things, this list of
> predicates. What would be the best way to do this?
> >
> > Thanks,
> > Helio
> > _______________________________________________
> > Jason-users mailing list
> > Jas...@li...
> > https://lists.sourceforge.net/lists/listinfo/jason-users
>
>

Re: [Jason-users] Add predicates (beliefs) to a list

[Jomi H. <jom...@gm...>]

Hello Helio,

It is quite simple: just send a list of predicates, as in

	.send(bob,tell,[a,b,c]). 

HTH,

Jomi

> On 28 Oct 2019, at 12:02, Helio Henrique Lopes <hel...@gm...> wrote:
> 
> Hello,
> 
> I have a case in which I want an agent to send  a list of beliefs to another agent. I want to do it in one single message, thus the idea is sending a predicate containing, among other things, this list of predicates. What would be the best way to do this?
> 
> Thanks,
> Helio
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

[Jason-users] Add predicates (beliefs) to a list

[Helio H. L. <hel...@gm...>]

Hello,

I have a case in which I want an agent to send  a list of beliefs to
another agent. I want to do it in one single message, thus the idea is
sending a predicate containing, among other things, this list of
predicates. What would be the best way to do this?

Thanks,
Helio

[Jason-users] wait a logical expression

[Amandine M. <am...@la...>]

Hello,

It seems that sometimes, .wait(belief(a), 6000) times out before the 
6000 ms. Once, just now it seems that it timed out after 2601 ms (I 
added some time logging after I had some suspicions). It's not often and 
I don't know how to reproduce it. I did some small tests to see if 
respected and in those tests time out was ok. In my system, it receives 
some other beliefs like belief(b), belief(c) during the waiting. I think 
it's not related but just for you to know.

Best,

Amandine

Re: [Jason-users] suspended intentions

[Jomi H. <jom...@gm...>]

Hi Amandine,

I guess this is the first time this situation is considered :-)
	— a kind of double suspension

For sure, it should be optimised. Let’s think about a proper solution….

Best,

Jomi

ps.: anyway, what a performance, 20K RC in a second!!!!!


> On 30 Aug 2019, at 14:34, Amandine Mayima <am...@la...> wrote:
> 
> Hello,
> 
> I have a case in which an intention 1 having a feedback action is suspended by another intention 2. The intention 1 was acting and got a feedback action, but is still suspended. The intention 2 is in a way. In this case, the agent is looping without any sleep, performing dozens of thousands reasoning cycles because canSleep=false (line 235 CentralisedAgArch) because C.hasFeedbackAction=true. But it this case I'm not sure that it makes sense to check the feedback action since selectAction of the TS do not return suspended intentions. Is it the wanted behavior of the system, to get in 20 000 RC in 1 second ?
> 
> Best,
> Amandine
> 
> 
> 
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

[Jason-users] suspended intentions

[Amandine M. <am...@la...>]

Hello,

I have a case in which an intention 1 having a feedback action is 
suspended by another intention 2. The intention 1 was acting and got a 
feedback action, but is still suspended. The intention 2 is in a way. In 
this case, the agent is looping without any sleep, performing dozens of 
thousands reasoning cycles because canSleep=false (line 235 
CentralisedAgArch) because C.hasFeedbackAction=true. But it this case 
I'm not sure that it makes sense to check the feedback action since 
selectAction of the TS do not return suspended intentions. Is it the 
wanted behavior of the system, to get in 20 000 RC in 1 second ?

Best,
Amandine

Re: [Jason-users] Start-up exception when printing out warnings about singletons

[Jomi H. <jom...@gm...>]

Hi Francisco,

It is great to receive an email from you!!!!

Thanks for reporting the problem, it is fixed in the GitHub repository. 

Best,

Jomi

> On 26 Aug 2019, at 15:50, Francisco Grimaldo Moreno <fra...@uv...> wrote:
> 
> 
> Hi Jomi, all,
> 
> I am getting the following start-up Exception when activating the checkbox "Print out warnings about singleton variables in plans and rules" in Jason options.
> 
> Jason Http Server running on http://192.168.2.8:3272
> [agent1] as2j: parsing error: "jar:file:/C:/Users/franc/Documents/jason-2.4/libs/jason-2.4.jar!/asl/kqmlPlans.asl"
> java.lang.NullPointerException
> 	at jason.asSyntax.Plan.getTerm(Plan.java:88)
> 	at jason.asSyntax.Structure.countVars(Structure.java:431)
> 	at jason.asSyntax.Structure.getSingletonVars(Structure.java:419)
> 	at jason.asSyntax.parser.as2j.agent(as2j.java:221)
> 	at jason.asSemantics.Agent.parseAS(Agent.java:440)
> 	at jason.asSemantics.Agent.parseAS(Agent.java:408)
> 	at jason.asSemantics.Agent.loadKqmlPlans(Agent.java:229)
> 	at jason.asSemantics.Agent.load(Agent.java:192)
> 	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:485)
> 	at jason.infra.centralised.RunCentralisedMAS.create(RunCentralisedMAS.java:207)
> 	at jason.infra.centralised.RunCentralisedMAS.main(RunCentralisedMAS.java:84)
> [agent1] hello world.
> 
> As you can see, a dummy "hello world" project still works but I wonder if other projects might have a problem. Anyway, this option is really useful and I hope it is easy to fix.
> 
> Many thanks for all you help and support.
> 
> Best,
> Fran
> 
> 
> 
> 
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

[Jason-users] Start-up exception when printing out warnings about singletons

[Francisco G. M. <fra...@uv...>]

Hi Jomi, all,

I am getting the following start-up Exception when activating the checkbox "Print out warnings about singleton variables in plans and rules" in Jason options.

Jason Http Server running on http://192.168.2.8:3272
[agent1] as2j: parsing error: "jar:file:/C:/Users/franc/Documents/jason-2.4/libs/jason-2.4.jar!/asl/kqmlPlans.asl"
java.lang.NullPointerException
	at jason.asSyntax.Plan.getTerm(Plan.java:88)
	at jason.asSyntax.Structure.countVars(Structure.java:431)
	at jason.asSyntax.Structure.getSingletonVars(Structure.java:419)
	at jason.asSyntax.parser.as2j.agent(as2j.java:221)
	at jason.asSemantics.Agent.parseAS(Agent.java:440)
	at jason.asSemantics.Agent.parseAS(Agent.java:408)
	at jason.asSemantics.Agent.loadKqmlPlans(Agent.java:229)
	at jason.asSemantics.Agent.load(Agent.java:192)
	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:485)
	at jason.infra.centralised.RunCentralisedMAS.create(RunCentralisedMAS.java:207)
	at jason.infra.centralised.RunCentralisedMAS.main(RunCentralisedMAS.java:84)
[agent1] hello world.

As you can see, a dummy "hello world" project still works but I wonder if other projects might have a problem. Anyway, this option is really useful and I hope it is easy to fix.

Many thanks for all you help and support.

Best,
Fran

Re: [Jason-users] goals diagrams

[Jomi H. <jom...@gm...>]

Hi Amandine,

you can try:

java -classpath $JASON_HOME/libs/jason-2.4.jar jason.util.asl2dot XXXX.asl 


> On 21 Aug 2019, at 10:33, Amandine Mayima <am...@la...> wrote:
> 
> Hello,
> 
> I wanted to generate the dot file as explained here https://sourceforge.net/p/jason/mailman/message/29131593/ but I don't have the asl2dot and I don't know how to generate it. I suppose I could find out spending some time but if you already have the answer... :)
> 
> Best,
> 
> Amandine
> 
> 
> 
> _______________________________________________
> 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)

[Jason-users] goals diagrams

[Amandine M. <am...@la...>]

Hello,

I wanted to generate the dot file as explained here 
https://sourceforge.net/p/jason/mailman/message/29131593/ but I don't 
have the asl2dot and I don't know how to generate it. I suppose I could 
find out spending some time but if you already have the answer... :)

Best,

Amandine

Re: [Jason-users] remove belief

[Jomi H. <jom...@gm...>]

Hi Amandine,

Thanks again for the detailed bug report.
They are fixed in the GitHub.

Best,

Jomi

> On 26 Jul 2019, at 11:38, Amandine Mayima <am...@la...> wrote:
> 
> Hello,
> 
> I noticed two behaviors that I was not expecting:
> 
> Behavior 1 :
> 
> I have in my belief base one belief that I want to remove : mybelief(abc)[annot1(d)]
> If I do -mybelief(_), the belief is not removed because  if ( ! t1s.hasSubsetAnnot(t2s, this)) of Unifier line 317 returns false with t1s=mybelief(abc)[annot1(d)] and t2s=mybelief(_) (called by line 962 in Agent)
> If I do -mybelief(abc), the belief is removed because this time the variable bl of DefaultBeliefBase line 173 is not null (which is normal) and then annots are analyzed with if (l.hasSubsetAnnot(bl)) with l=mybelief(abc) and bl=mybelief(abc)[annot1(d)]. Here we can notice that the order of evaluation of hasSubsetAnnot is in reverse order compared to the previous case. 
> 
> I would expect both to behave the same, or there is something that I don't understand.
> 
> Behavior 2 :
> 
> I have in my belief base one belief that I want to remove : mybelief(abc)[source(robot)]
> 
> if I do -mybelief(abc)[source(_)], the belief is not removed because hasSubsetAnnot line 174 from the DefaultBeliefBase returns false because in Pred class line 335 c = myAnnot.compareTo(t) = 1 because compareTo in UnnamedVar which calls compareTo in VarTerm returns 1.
> If I do -mybelief(_)[source(_)], the belief is removed, I didn't have time to analyzed why.
> 
> I hope I've been clear and that you will be able to enlighten me.
> 
> Have a nice week-end,
> 
> Amandine
> 
> 
> 
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

Re: [Jason-users] remove belief

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

Hi Amandine,

Many many thanks for finding these bugs, you are certainly right that 
the behaviours should be the same. Unfortunately I cannot help as the 
unification mechanism in Jason was completely re-implemented by Jomi 
some years ago, so it's best if he has a look at it, and he is currently 
on holidays.

Just as a separate comment, one thing to always remember when deleting 
beliefs is that belief addition and deletion from plan bodies always 
include a "source(self)" annotation unless you excplicitly add a source 
annotation to it.

Cheers,

Rafael


On 26/07/2019 16:38, Amandine Mayima wrote:
> Hello,
> 
> I noticed two behaviors that I was not expecting:
> 
> Behavior 1 :
> 
> I have in my belief base one belief that I want to remove : 
> mybelief(abc)[annot1(d)]
> If I do -mybelief(_), the belief is not removed because if ( ! 
> t1s.hasSubsetAnnot(t2s, this)) of Unifier line 317 returns false with 
> t1s=mybelief(abc)[annot1(d)] and t2s=mybelief(_) (called by line 962 in 
> Agent)
> If I do -mybelief(abc), the belief is removed because this time the 
> variable bl of DefaultBeliefBase line 173 is not null (which is normal) 
> and then annots are analyzed with if (l.hasSubsetAnnot(bl)) with 
> l=mybelief(abc) and bl=mybelief(abc)[annot1(d)]. Here we can notice that 
> the order of evaluation of hasSubsetAnnot is in reverse order compared 
> to the previous case.
> 
> I would expect both to behave the same, or there is something that I 
> don't understand.
> 
> Behavior 2 :
> 
> I have in my belief base one belief that I want to remove : 
> mybelief(abc)[source(robot)]
> 
> if I do -mybelief(abc)[source(_)], the belief is not removed because 
> hasSubsetAnnot line 174 from the DefaultBeliefBase returns false because 
> in Pred class line 335 c = myAnnot.compareTo(t) = 1 because compareTo in 
> UnnamedVar which calls compareTo in VarTerm returns 1.
> If I do -mybelief(_)[source(_)], the belief is removed, I didn't have 
> time to analyzed why.
> 
> I hope I've been clear and that you will be able to enlighten me.
> 
> Have a nice week-end,
> 
> Amandine
> 
> 
> 
> 
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users
> 

[Jason-users] remove belief

[Amandine M. <am...@la...>]

Hello,

I noticed two behaviors that I was not expecting:

Behavior 1 :

I have in my belief base one belief that I want to remove : 
mybelief(abc)[annot1(d)]
If I do -mybelief(_), the belief is not removed because if ( ! 
t1s.hasSubsetAnnot(t2s, this)) of Unifier line 317 returns false with 
t1s=mybelief(abc)[annot1(d)] and t2s=mybelief(_) (called by line 962 in 
Agent)
If I do -mybelief(abc), the belief is removed because this time the 
variable bl of DefaultBeliefBase line 173 is not null (which is normal) 
and then annots are analyzed with if (l.hasSubsetAnnot(bl)) with 
l=mybelief(abc) and bl=mybelief(abc)[annot1(d)]. Here we can notice that 
the order of evaluation of hasSubsetAnnot is in reverse order compared 
to the previous case.

I would expect both to behave the same, or there is something that I 
don't understand.

Behavior 2 :

I have in my belief base one belief that I want to remove : 
mybelief(abc)[source(robot)]

if I do -mybelief(abc)[source(_)], the belief is not removed because 
hasSubsetAnnot line 174 from the DefaultBeliefBase returns false because 
in Pred class line 335 c = myAnnot.compareTo(t) = 1 because compareTo in 
UnnamedVar which calls compareTo in VarTerm returns 1.
If I do -mybelief(_)[source(_)], the belief is removed, I didn't have 
time to analyzed why.

I hope I've been clear and that you will be able to enlighten me.

Have a nice week-end,

Amandine

Re: [Jason-users] Error while installing Eclipse Jason feature

[Alex M. <ale...@gm...>]

Indeed, I used the wrong link, I now updated it to
http://jason.sourceforge.net/eclipseplugin/juno/ and now installation
proceeds like charm. Thanks!

pirmd., 2019. g. 3. jūn., plkst. 15:29 — lietotājs Maicon (<
xsp...@gm...>) rakstīja:

> Hi Alex,
>
> The Jason Plugin is only compatible with the Eclipse provided by
> eclipse.org,
> versions Juno/Kepler/Luna/Mars/Neon/Oxygen/Photon/2018-09/2019-03 and
> package Committers or Java-EE.
>
> If you would like to use the latest version of Eclipse with the Jason
> plugin, I suggest you to get the Eclipse from the URL below and select the
> package Committers or Java-EE:
>
> https://www.eclipse.org/downloads/packages/
>
> The url to install the Jason Plugin is
> http://jason.sourceforge.net/eclipseplugin/juno/
>
> For further information, please check Step 6 of the installation procedure
> at http://jason.sourceforge.net/mini-tutorial/eclipse-plugin/
>
> Let me know if it worked.
>
> Best regards,
> Maicon
>
> On Sun, Jun 2, 2019 at 5:54 PM Alex Maier <ale...@gm...>
> wrote:
>
>> Hi!
>>
>> I am trying to install Jason Feature in Eclipse and I am receiving the
>> error message:
>> An error occurred while collecting items to be installed
>> session context was:(profile=DefaultProfile,
>> phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=,
>> action=).
>> Artifact not found:
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar.
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar
>> Artifact not found:
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar
>> .
>>
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar
>> Artifact not found:
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar
>> .
>>
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar
>> Artifact not found:
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar
>> .
>>
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar
>> Artifact not found:
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar
>> .
>>
>> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar
>> Artifact not found:
>> http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar
>> .
>>
>> http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar
>> Artifact not found:
>> http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar
>> .
>>
>> http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar
>>
>> Is it OK? I am using Eclipse 4.11 from Spring Tool Suite 4, but I have
>> checked compatibility checkboxes during feature search and it nevertheless
>> found the Jason feature, so, the feature should be compatible with my
>> Eclipse.
>>
>> When I am trying to access some file, I am getting:
>>
>> An error has been encountered in accessing this page.
>>
>> 1. *Server:* jason.sourceforge.net
>> 2. *URL path:*
>>  /eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar
>> 3. *Error notes:* NONE
>> 4. *Error type:* 404
>> 5. *Request method:* GET
>> 6. *Request query string:* NONE
>> 7. *Time:* 2019-06-02 20:21:48 UTC (1559506908)
>>
>> *Reporting this problem:* The problem you have encountered is with a
>> project web site hosted by SourceForge.net. This issue should be reported
>> to the SourceForge.net-hosted project (not to SourceForge.net).
>>
>> *If this is a severe or recurring/persistent problem,* please do one of
>> the following, and provide the error text (numbered 1 through 7, above):
>>
>>    1. Contact the project via their designated support resources
>>    <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net&support=1>
>>    .
>>    2. Contact the project administrators of this project via email (see
>>    the upper right-hand corner of the Project Summary page
>>    <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net> for
>>    their usernames) at *user-name*@users.sourceforge.net
>>
>> If you are a maintainer of this web content, please refer to the Site
>> Documentation regarding web services
>> <https://sourceforge.net/p/forge/documentation/Project%20Web%20Services/> for
>> further assistance.
>>
>> NOTE: As of 2008-10-23 directory index display has been disabled by
>> default. This option may be re-enabled by the project by placing a file
>> with the name ".htaccess" with this line:
>>
>> Options +Indexes
>>
>>
>> So, maybe that is something not under control of Jason group?
>>
>> _______________________________________________
>> Jason-users mailing list
>> Jas...@li...
>> https://lists.sourceforge.net/lists/listinfo/jason-users
>>
>

Re: [Jason-users] Error while installing Eclipse Jason feature

[Maicon <xsp...@gm...>]

Hi Alex,

The Jason Plugin is only compatible with the Eclipse provided by eclipse.org,
versions Juno/Kepler/Luna/Mars/Neon/Oxygen/Photon/2018-09/2019-03 and
package Committers or Java-EE.

If you would like to use the latest version of Eclipse with the Jason
plugin, I suggest you to get the Eclipse from the URL below and select the
package Committers or Java-EE:

https://www.eclipse.org/downloads/packages/

The url to install the Jason Plugin is
http://jason.sourceforge.net/eclipseplugin/juno/

For further information, please check Step 6 of the installation procedure
at http://jason.sourceforge.net/mini-tutorial/eclipse-plugin/

Let me know if it worked.

Best regards,
Maicon

On Sun, Jun 2, 2019 at 5:54 PM Alex Maier <ale...@gm...> wrote:

> Hi!
>
> I am trying to install Jason Feature in Eclipse and I am receiving the
> error message:
> An error occurred while collecting items to be installed
> session context was:(profile=DefaultProfile,
> phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=,
> action=).
> Artifact not found:
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar.
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar
> Artifact not found:
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar
> .
>
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar
> Artifact not found:
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar
> .
>
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar
> Artifact not found:
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar
> .
>
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar
> Artifact not found:
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar
> .
>
> http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar
> Artifact not found:
> http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar
> .
>
> http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar
> Artifact not found:
> http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar
> .
>
> http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar
>
> Is it OK? I am using Eclipse 4.11 from Spring Tool Suite 4, but I have
> checked compatibility checkboxes during feature search and it nevertheless
> found the Jason feature, so, the feature should be compatible with my
> Eclipse.
>
> When I am trying to access some file, I am getting:
>
> An error has been encountered in accessing this page.
>
> 1. *Server:* jason.sourceforge.net
> 2. *URL path:*
>  /eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar
> 3. *Error notes:* NONE
> 4. *Error type:* 404
> 5. *Request method:* GET
> 6. *Request query string:* NONE
> 7. *Time:* 2019-06-02 20:21:48 UTC (1559506908)
>
> *Reporting this problem:* The problem you have encountered is with a
> project web site hosted by SourceForge.net. This issue should be reported
> to the SourceForge.net-hosted project (not to SourceForge.net).
>
> *If this is a severe or recurring/persistent problem,* please do one of
> the following, and provide the error text (numbered 1 through 7, above):
>
>    1. Contact the project via their designated support resources
>    <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net&support=1>
>    .
>    2. Contact the project administrators of this project via email (see
>    the upper right-hand corner of the Project Summary page
>    <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net> for
>    their usernames) at *user-name*@users.sourceforge.net
>
> If you are a maintainer of this web content, please refer to the Site
> Documentation regarding web services
> <https://sourceforge.net/p/forge/documentation/Project%20Web%20Services/> for
> further assistance.
>
> NOTE: As of 2008-10-23 directory index display has been disabled by
> default. This option may be re-enabled by the project by placing a file
> with the name ".htaccess" with this line:
>
> Options +Indexes
>
>
> So, maybe that is something not under control of Jason group?
>
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users
>

Re: [Jason-users] Is is possible to use Jason engine non-interactively, from the command line?

[Jomi H. <jom...@gm...>]

Hi Alex,

Since the Jason interpreter is implemented in Java, it is quite easy to just call the interpreter form a Java application. Some doc is available at http://jason.sourceforge.net/faq/faq.html#SECTION00055000000000000000. It explains how to run a multi-agent system…. that may have just one agent. 

HTH,

Jomi

> On 2 Jun 2019, at 17:26, Alex Maier <ale...@gm...> wrote:
> 
> Hi!
> 
> Is it possible to use Jason engine non-interactively, possible starting it from the commandline and feeding (as the command line parameter) some AgentSpeak code file that contains the initial code for the agent? Jason manuals are quite explicit about running agent from the Eclipse, but my intention is to use Jason agent engine as part of some larger system (from Java Spring Boot, but that is mostly irrelevant here) and that is why I would like to call it programmatically and not interactively from the Eclipse. Is there documentation that describes such scenario?
> 
> Alex
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

[Jason-users] Is is possible to use Jason engine non-interactively, from the command line?

[Alex M. <ale...@gm...>]

Hi!

Is it possible to use Jason engine non-interactively, possible starting it
from the commandline and feeding (as the command line parameter) some
AgentSpeak code file that contains the initial code for the agent? Jason
manuals are quite explicit about running agent from the Eclipse, but my
intention is to use Jason agent engine as part of some larger system (from
Java Spring Boot, but that is mostly irrelevant here) and that is why I
would like to call it programmatically and not interactively from the
Eclipse. Is there documentation that describes such scenario?

Alex

[Jason-users] Error while installing Eclipse Jason feature

[Alex M. <ale...@gm...>]

Hi!

I am trying to install Jason Feature in Eclipse and I am receiving the
error message:
An error occurred while collecting items to be installed
session context was:(profile=DefaultProfile,
phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=,
action=).
Artifact not found:
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar.
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide_1.0.11.jar
Artifact not found:
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar
.
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl_1.0.11.jar
Artifact not found:
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar
.
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.asl.ui_1.0.11.jar
Artifact not found:
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar
.
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j_1.0.10.jar
Artifact not found:
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar
.
http://jason.sourceforge.net/eclipseplugin/plugins/jasonide.xtext.mas2j.ui_1.0.10.jar
Artifact not found:
http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar
.
http://jason.sourceforge.net/eclipseplugin/features/jasonide_feature_1.0.11.201504031048.jar
Artifact not found:
http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar
.
http://jason.sourceforge.net/eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar

Is it OK? I am using Eclipse 4.11 from Spring Tool Suite 4, but I have
checked compatibility checkboxes during feature search and it nevertheless
found the Jason feature, so, the feature should be compatible with my
Eclipse.

When I am trying to access some file, I am getting:

An error has been encountered in accessing this page.

1. *Server:* jason.sourceforge.net
2. *URL path:*
 /eclipseplugin/plugins/org.eclipse.xtext.logging_1.2.15.v201309030823.jar
3. *Error notes:* NONE
4. *Error type:* 404
5. *Request method:* GET
6. *Request query string:* NONE
7. *Time:* 2019-06-02 20:21:48 UTC (1559506908)

*Reporting this problem:* The problem you have encountered is with a
project web site hosted by SourceForge.net. This issue should be reported
to the SourceForge.net-hosted project (not to SourceForge.net).

*If this is a severe or recurring/persistent problem,* please do one of the
following, and provide the error text (numbered 1 through 7, above):

   1. Contact the project via their designated support resources
   <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net&support=1>
   .
   2. Contact the project administrators of this project via email (see the
   upper right-hand corner of the Project Summary page
   <https://sourceforge.net/support/prweb-lookup.php?host=jason.sourceforge.net>
for
   their usernames) at *user-name*@users.sourceforge.net

If you are a maintainer of this web content, please refer to the Site
Documentation regarding web services
<https://sourceforge.net/p/forge/documentation/Project%20Web%20Services/> for
further assistance.

NOTE: As of 2008-10-23 directory index display has been disabled by
default. This option may be re-enabled by the project by placing a file
with the name ".htaccess" with this line:

Options +Indexes


So, maybe that is something not under control of Jason group?

Re: [Jason-users] atomic formula and vars in asl

[Jomi F. H. <jom...@gm...>]

maybe, you can use some meta-programming with =.. operator
...
.intend(G) &
G =.. [Functor,[Arg1,Arg2],Annots] & // G arity is 2
.fail_goal(G) & ....


On Fri, 26 Apr 2019 at 12:00, Jomi Hubner <jom...@gm...> wrote:

> Hi Amandine,
>
> yes, vars can have annotations, but not terms. Using other words, the
> functor can be a variable (for unification purposes).
>
> Jomi
>
> > On 26 Apr 2019, at 10:25, Amandine Mayima <am...@la...> wrote:
> >
> > Hello,
> >
> > Is it normal that beliefs in the form of Var can be added but not in the
> form of Var(atom/Var) which are parsed when belief addition as +Var;
> atom/Var; ? When it's Var(atom1/Var2,atom2/Var3), it cannot be parsed. From
> the EBNF, I understand that it should be possible.
> >
> > Of the same style, I cannot use an IA with an argument of the form
> Var(atom/Var) for example I can do .fail_goal(goto(Place,Speed)), I can do
> .fail_goal(TaskName) but I cannot do .fail_goal(TaskName(Place,Speed)).
> >
> > Best regards,
> >
> > Amandine
> >
> >
> >
> > _______________________________________________
> > 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)
>
>
>
>