Theory of Mind + Abduction
A Jason agent combining Theory of Mind with abductive reasoning
Package tomabd.misc

Additional internal actions. More...

Classes

class  expr_operator
 
class  get_annots
 
class  rule
 
class  rule_head_body
 
class  unify_goal_rule
 

Detailed Description

Additional internal actions.

This package provides additional internal actions to manipulate Jason elements (logical formulas, rules, and literals) from the AgentSpeak code.