Theory of Mind + Abduction
A Jason agent combining Theory of Mind with abductive reasoning
tomabd.agent.TomAbdAgent Member List

This is the complete list of members for tomabd.agent.TomAbdAgent, including all inherited members.

adoptViewpoint(List< Term > viewpoint)tomabd.agent.TomAbdAgentinlineprivate
backUptomabd.agent.TomAbdAgentprivate
backUpBeliefs()tomabd.agent.TomAbdAgentinlineprivate
buf(Collection< Literal > percepts)tomabd.agent.TomAbdAgentinline
buildAbductiveIC(ListTermImpl explanations)tomabd.agent.TomAbdAgentinlineprivate
buildTomRule(List< Term > viewpoint, Rule abductiveIC)tomabd.agent.TomAbdAgentinlineprivate
checkActionsInPossibleWorlds(double priority, Atom action, List< Object[]> actionsInPossWorlds)tomabd.agent.TomAbdAgentinlineprivate
checkImpossibleExplanation(ListTermImpl e)tomabd.agent.TomAbdAgentinlineprivate
erf(ListTermImpl expls)tomabd.agent.TomAbdAgentinlineprivate
euf()tomabd.agent.TomAbdAgentinline
getAbdToMRuleComponents(Literal l)tomabd.agent.TomAbdAgentinlineprivate
getAbducibles(LogExpr logicalFormula)tomabd.agent.TomAbdAgentinlineprivate
getBeliefsWithSource(Term source)tomabd.agent.TomAbdAgentinlineprivate
getSortedActionRules()tomabd.agent.TomAbdAgentinlineprivate
list2formula(List< Term > args, LogExpr.LogicalOp operator, boolean negateArgs)tomabd.agent.TomAbdAgentinlineprivate
queryAction()tomabd.agent.TomAbdAgentinlineprivate
recoverBeliefs()tomabd.agent.TomAbdAgentinlineprivate
removeRedundantExplanations(ListTermImpl rawExpls)tomabd.agent.TomAbdAgentinlineprivate
removeUninformativeFacts(ListTermImpl e)tomabd.agent.TomAbdAgentinlineprivate
selectAction()tomabd.agent.TomAbdAgentinline
tomAbductionTask(List< Term > obsAgentLevel, Atom actor, Atom action)tomabd.agent.TomAbdAgentinline