jason-users Mailing List for jason

I do remember this, it should work pretty well, I've used the logical bit
of Jason for a classical planner. It is still working.


On Thu, May 16, 2013 at 8:09 AM, Jomi Fred Hubner <jo...@da...> wrote:

> Hi Hector, that is a really interesting use of the Jason project. As far
> as I can evaluate now, your approach is very good. The query* has no
> importance for the logical consequence. And you really need an Agent to
> provide the beliefs base, which can be of many kinds in jason.
>
> Some time ago, someone asked us for this functionality and we provided
> some examples which are attached. Maybe it can give you some hints to avoid
> the test if a formula is a Literal or a LogExpr.
>
> All the best for your project.
>
> Jomi
>
>
>
>
>
> On 15/05/2013, at 13:12, HECTOR XAVIER LIMON RIAÑO wrote:
>
> Hi, right now I'm trying to isolate the code for logical consequence in
> order to be able to call the method without an agent. I created a custom
> method for this, my custom method receives 3 things: the formula to be
> evaluated, a list of literals (it acts as the belief base), and an
> unifier.  I think I have accomplished the task but I don't know how clean
> it is. For starters, I saw that there are 2 implementations of the method,
> one in Literal and other in LogExpr, being the core implementation in
> Literal. I saw that the agent is used basically for two things: retrieve
> the beliefs base and retrieve a queryCache and queryProfiling. I don't know
> whats the purpose of the queryCache and the queryProfiling, I removed all
> the things related to these objects and all seems to be working right
> (annotations, rules, variables),  but I don't know if they are essential
> for some cases. Since my method receives directly the formula to be
> evaluated I couldn't use polymorphism so I had to check in the code if the
> formula is a Literal or a LogExpr to know what version of the method call
> (unfortunately I couldn't use overloading because a LogExpr is also a
> Literal).
>
> I don't know if there is a simpler way to do logical consequence without
> an agent in the way. I'm doing a CArtaAgo proyect, I want to put an
> operation that does logical consequence.
>
> Thanks for your attention. Greetings
>
> ------------------------------------------------------------------------------
> AlienVault Unified Security Management (USM) platform delivers complete
> security visibility with the essential security capabilities. Easily and
> efficiently configure, manage, and operate all of your security controls
> from a single console and one unified framework. Download a free trial.
>
> http://p.sf.net/sfu/alienvault_d2d_______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users
>
>
> --
> Jomi Fred Hubner
> Federal University of Santa Catarina
> Department of Automation and Systems Engineering
> PO Box 476, Florianópolis, SC
> 88040-900 Brazil
> http://www.das.ufsc.br/~jomi
>
>
>
> ------------------------------------------------------------------------------
> AlienVault Unified Security Management (USM) platform delivers complete
> security visibility with the essential security capabilities. Easily and
> efficiently configure, manage, and operate all of your security controls
> from a single console and one unified framework. Download a free trial.
> http://p.sf.net/sfu/alienvault_d2d
> _______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users
>
>


-- 
___________________________
Felipe Rech Meneguzzi
fel...@gm...
http://fmeneguzzi.blogspot.com
___________________________

Hi Hector, that is a really interesting use of the Jason project. As far as I can evaluate now, your approach is very good. The query* has no importance for the logical consequence. And you really need an Agent to provide the beliefs base, which can be of many kinds in jason. 

Some time ago, someone asked us for this functionality and we provided some examples which are attached. Maybe it can give you some hints to avoid the test if a formula is a Literal or a LogExpr. 

All the best for your project.

Jomi




On 15/05/2013, at 13:12, HECTOR XAVIER LIMON RIAÑO wrote:

> Hi, right now I'm trying to isolate the code for logical consequence in order to be able to call the method without an agent. I created a custom method for this, my custom method receives 3 things: the formula to be evaluated, a list of literals (it acts as the belief base), and an unifier.  I think I have accomplished the task but I don't know how clean it is. For starters, I saw that there are 2 implementations of the method, one in Literal and other in LogExpr, being the core implementation in Literal. I saw that the agent is used basically for two things: retrieve the beliefs base and retrieve a queryCache and queryProfiling. I don't know whats the purpose of the queryCache and the queryProfiling, I removed all the things related to these objects and all seems to be working right (annotations, rules, variables),  but I don't know if they are essential for some cases. Since my method receives directly the formula to be evaluated I couldn't use polymorphism so I had to check in the code if the formula is a Literal or a LogExpr to know what version of the method call (unfortunately I couldn't use overloading because a LogExpr is also a Literal). 
> 
> I don't know if there is a simpler way to do logical consequence without an agent in the way. I'm doing a CArtaAgo proyect, I want to put an operation that does logical consequence.  
> 
> Thanks for your attention. Greetings
> ------------------------------------------------------------------------------
> AlienVault Unified Security Management (USM) platform delivers complete
> security visibility with the essential security capabilities. Easily and
> efficiently configure, manage, and operate all of your security controls
> from a single console and one unified framework. Download a free trial.
> http://p.sf.net/sfu/alienvault_d2d_______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

-- 
Jomi Fred Hubner
Federal University of Santa Catarina
Department of Automation and Systems Engineering
PO Box 476, Florianópolis, SC
88040-900 Brazil
http://www.das.ufsc.br/~jomi

Hi, right now I'm trying to isolate the code for logical consequence in 
order to be able to call the method without an agent. I created a custom
 method for this, my custom method receives 3 things: the formula to be 
evaluated, a list of literals (it acts as the belief base), and an 
unifier.  I think I have accomplished the task but I don't know how 
clean it is. For starters, I saw that there are 2 implementations of the
 method, one in Literal and other in LogExpr, being the core 
implementation in Literal. I saw that the agent is used basically for 
two things: retrieve the beliefs base and retrieve a queryCache and 
queryProfiling. I don't know whats the purpose of the queryCache and the
 queryProfiling, I removed all the things related to these objects and 
all seems to be working right (annotations, rules, variables),  but I 
don't know if they are essential for some cases. Since my method 
receives directly the formula to be evaluated I couldn't use 
polymorphism so I had to check in the code if the formula is a Literal 
or a LogExpr to know what version of the method call (unfortunately I 
couldn't use overloading because a LogExpr is also a Literal). 

I
 don't know if there is a simpler way to do logical consequence without 
an agent in the way. I'm doing a CArtaAgo proyect, I want to put an 
operation that does logical consequence.  

Thanks for your attention. Greetings  		 	   		  

Hi Alan, 

this is a known issue with the GUI console of Jason. I guess that the simplest solution is to disable the graphical interface and use a "terminal" console. It can be done by configuring the logging system:

http://jason.sourceforge.net/faq/faq.html#SECTION00062000000000000000

HTH,

Jomi

On 11/05/2013, at 19:26, Alan Gordon White wrote:

> Hopefully this is something that can be fixed with a config change?
> 
> I'm putting out a fairly vast amount of logging messages in my agent system, with a similarly large number of individual logger instances; the last two are appended with a copy of the source line.
> 
> Up to now this has been fairly innocuous, with the symptom just being an annoying 'ping' (in fact, the exception messages were swallowed up by the logged messages in the console, so I don't know how long it's been going on for).  Unfortunately, the volume of logger calls seems to have exceeded some threshold, as the agent system is now outright crashing and closing down.
> 
> Now, I could just turn of the console logger, but I like having it available as a reference.  At the moment I also can't turn down the logger levels, as I need the info for debugging purposes.
> 
> So, er, yeah.  Kind of stuck.  I don't *think* it's my code.  Logging.properties from my project is attached.
> 
> java.lang.ArrayIndexOutOfBoundsException: -1
> 	at java.util.ArrayList.elementData(ArrayList.java:371)
> 	at java.util.ArrayList.get(ArrayList.java:384)
> 	at javax.swing.JTabbedPane.getTitleAt(JTabbedPane.java:1112)
> 	at javax.swing.plaf.basic.BasicTabbedPaneUI$Handler.updateHtmlViews(BasicTabbedPaneUI.java:3578)
> 	at javax.swing.plaf.basic.BasicTabbedPaneUI$Handler.componentAdded(BasicTabbedPaneUI.java:3713)
> 	at java.awt.Container.processContainerEvent(Container.java:2255)
> 	at java.awt.Container.processEvent(Container.java:2226)
> 	at java.awt.Component.dispatchEventImpl(Component.java:4861)
> 	at java.awt.Container.dispatchEventImpl(Container.java:2287)
> 	at java.awt.Component.dispatchEvent(Component.java:4687)
> 	at java.awt.Container.addImpl(Container.java:1131)
> 	at javax.swing.JTabbedPane.insertTab(JTabbedPane.java:724)
> 	at javax.swing.JTabbedPane.addTab(JTabbedPane.java:798)
> 	at javax.swing.JTabbedPane.add(JTabbedPane.java:835)
> 	at jason.runtime.MASConsoleColorGUI.append(MASConsoleColorGUI.java:79)
> 	at jason.runtime.MASConsoleLogHandler.publish(MASConsoleLogHandler.java:71)
> 	at java.util.logging.Logger.log(Logger.java:565)
> 	at java.util.logging.Logger.doLog(Logger.java:586)
> 	at java.util.logging.Logger.logp(Logger.java:702)
> 	at com.sun.istack.internal.logging.Logger.finer(Logger.java:157)
> 	at agent.planning.PlanningUtils.beliefBaseToInitialStateString(PlanningUtils.java:298)
> 	at agent.planning.graphplan.JavaGPModule.formPlan(JavaGPModule.java:239)
> 	at agent.planning.graphplan.JavaGPModule.getPlan(JavaGPModule.java:68)
> 	at agent.planning.graphplan.PlannerExecThread.run(PlannerExecThread.java:71)
> 	at agent.planning.graphplan.PlannerExecThread.call(PlannerExecThread.java:92)
> 	at java.util.concurrent.FutureTask$Sync.innerRun(FutureTask.java:334)
> 	at java.util.concurrent.FutureTask.run(FutureTask.java:166)
> 	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145)
> 	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:615)
> 	at java.lang.Thread.run(Thread.java:722)
> 
> javax.swing.text.BadLocationException: Invalid insert
> 	at javax.swing.text.GapContent.insertString(GapContent.java:129)
> 	at javax.swing.text.AbstractDocument.handleInsertString(AbstractDocument.java:724)
> 	at javax.swing.text.AbstractDocument.insertString(AbstractDocument.java:708)
> 	at jason.runtime.MASColorTextPane.append(MASConsoleColorGUI.java:154)
> 	at jason.runtime.MASConsoleColorGUI.append(MASConsoleColorGUI.java:100)
> 	at jason.runtime.MASConsoleLogHandler.publish(MASConsoleLogHandler.java:71)
> 	at java.util.logging.Logger.log(Logger.java:565)
> 	at java.util.logging.Logger.doLog(Logger.java:586)
> 	at java.util.logging.Logger.logp(Logger.java:702)
> 	at com.sun.istack.internal.logging.Logger.finer(Logger.java:157)
> 	at agent.planning.PlanningUtils.beliefBaseToInitialStateString(PlanningUtils.java:298)
> 	at agent.planning.graphplan.JavaGPModule.formPlan(JavaGPModule.java:239)
> 	at agent.planning.graphplan.JavaGPModule.getPlan(JavaGPModule.java:68)
> 	at agent.planning.graphplan.PlannerExecThread.run(PlannerExecThread.java:71)
> 	at agent.planning.graphplan.PlannerExecThread.call(PlannerExecThread.java:92)
> 	at java.util.concurrent.FutureTask$Sync.innerRun(FutureTask.java:334)
> 	at java.util.concurrent.FutureTask.run(FutureTask.java:166)
> 	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145)
> 	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:615)
> 	at java.lang.Thread.run(Thread.java:722)
> 
> Cause is at; logger.finer("belief is; " + belief + ", annots=" + belief.getAnnots()); - belief is a literal, taken from an iterator of a BB and used to form a PDDL style state string.
> 
> 
> -- 
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
> 
> <logging.properties>------------------------------------------------------------------------------
> Learn Graph Databases - Download FREE O'Reilly Book
> "Graph Databases" is the definitive new guide to graph databases and 
> their applications. This 200-page book is written by three acclaimed 
> leaders in the field. The early access version is available now. 
> Download your free book today! http://p.sf.net/sfu/neotech_d2d_may_______________________________________________
> Jason-users mailing list
> Jas...@li...
> https://lists.sourceforge.net/lists/listinfo/jason-users

-- 
Jomi Fred Hubner
Federal University of Santa Catarina
Department of Automation and Systems Engineering
PO Box 476, Florianópolis, SC
88040-900 Brazil
http://www.das.ufsc.br/~jomi

Hopefully this is something that can be fixed with a config change?

I'm putting out a fairly vast amount of logging messages in my agent  
system, with a similarly large number of individual logger instances;  
the last two are appended with a copy of the source line.

Up to now this has been fairly innocuous, with the symptom just being  
an annoying 'ping' (in fact, the exception messages were swallowed up  
by the logged messages in the console, so I don't know how long it's  
been going on for).  Unfortunately, the volume of logger calls seems  
to have exceeded some threshold, as the agent system is now outright  
crashing and closing down.

Now, I could just turn of the console logger, but I like having it  
available as a reference.  At the moment I also can't turn down the  
logger levels, as I need the info for debugging purposes.

So, er, yeah.  Kind of stuck.  I don't *think* it's my code.   
Logging.properties from my project is attached.

java.lang.ArrayIndexOutOfBoundsException: -1
	at java.util.ArrayList.elementData(ArrayList.java:371)
	at java.util.ArrayList.get(ArrayList.java:384)
	at javax.swing.JTabbedPane.getTitleAt(JTabbedPane.java:1112)
	at  
javax.swing.plaf.basic.BasicTabbedPaneUI$Handler.updateHtmlViews(BasicTabbedPaneUI.java:3578)
	at  
javax.swing.plaf.basic.BasicTabbedPaneUI$Handler.componentAdded(BasicTabbedPaneUI.java:3713)
	at java.awt.Container.processContainerEvent(Container.java:2255)
	at java.awt.Container.processEvent(Container.java:2226)
	at java.awt.Component.dispatchEventImpl(Component.java:4861)
	at java.awt.Container.dispatchEventImpl(Container.java:2287)
	at java.awt.Component.dispatchEvent(Component.java:4687)
	at java.awt.Container.addImpl(Container.java:1131)
	at javax.swing.JTabbedPane.insertTab(JTabbedPane.java:724)
	at javax.swing.JTabbedPane.addTab(JTabbedPane.java:798)
	at javax.swing.JTabbedPane.add(JTabbedPane.java:835)
	at jason.runtime.MASConsoleColorGUI.append(MASConsoleColorGUI.java:79)
	at jason.runtime.MASConsoleLogHandler.publish(MASConsoleLogHandler.java:71)
	at java.util.logging.Logger.log(Logger.java:565)
	at java.util.logging.Logger.doLog(Logger.java:586)
	at java.util.logging.Logger.logp(Logger.java:702)
	at com.sun.istack.internal.logging.Logger.finer(Logger.java:157)
	at  
agent.planning.PlanningUtils.beliefBaseToInitialStateString(PlanningUtils.java:298)
	at agent.planning.graphplan.JavaGPModule.formPlan(JavaGPModule.java:239)
	at agent.planning.graphplan.JavaGPModule.getPlan(JavaGPModule.java:68)
	at agent.planning.graphplan.PlannerExecThread.run(PlannerExecThread.java:71)
	at agent.planning.graphplan.PlannerExecThread.call(PlannerExecThread.java:92)
	at java.util.concurrent.FutureTask$Sync.innerRun(FutureTask.java:334)
	at java.util.concurrent.FutureTask.run(FutureTask.java:166)
	at  
java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145)
	at  
java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:615)
	at java.lang.Thread.run(Thread.java:722)

javax.swing.text.BadLocationException: Invalid insert
	at javax.swing.text.GapContent.insertString(GapContent.java:129)
	at  
javax.swing.text.AbstractDocument.handleInsertString(AbstractDocument.java:724)
	at javax.swing.text.AbstractDocument.insertString(AbstractDocument.java:708)
	at jason.runtime.MASColorTextPane.append(MASConsoleColorGUI.java:154)
	at jason.runtime.MASConsoleColorGUI.append(MASConsoleColorGUI.java:100)
	at jason.runtime.MASConsoleLogHandler.publish(MASConsoleLogHandler.java:71)
	at java.util.logging.Logger.log(Logger.java:565)
	at java.util.logging.Logger.doLog(Logger.java:586)
	at java.util.logging.Logger.logp(Logger.java:702)
	at com.sun.istack.internal.logging.Logger.finer(Logger.java:157)
	at  
agent.planning.PlanningUtils.beliefBaseToInitialStateString(PlanningUtils.java:298)
	at agent.planning.graphplan.JavaGPModule.formPlan(JavaGPModule.java:239)
	at agent.planning.graphplan.JavaGPModule.getPlan(JavaGPModule.java:68)
	at agent.planning.graphplan.PlannerExecThread.run(PlannerExecThread.java:71)
	at agent.planning.graphplan.PlannerExecThread.call(PlannerExecThread.java:92)
	at java.util.concurrent.FutureTask$Sync.innerRun(FutureTask.java:334)
	at java.util.concurrent.FutureTask.run(FutureTask.java:166)
	at  
java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145)
	at  
java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:615)
	at java.lang.Thread.run(Thread.java:722)

Cause is at; logger.finer("belief is; " + belief + ", annots=" +  
belief.getAnnots()); - belief is a literal, taken from an iterator of  
a BB and used to form a PDDL style state string.


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.