jildt.tilde
Class rho

java.lang.Object
  jason.asSemantics.DefaultInternalAction
      jildt.tilde.rho

All Implemented Interfaces:

jason.asSemantics.InternalAction, java.io.Serializable

public class rho
extends jason.asSemantics.DefaultInternalAction

Internal action to generate the refinement candidates for the query Q. Candidates are computed after the language bias (jildt_rm directives) that the agent believes. A jildt_rm/1 directive indicates that its argument should be considered as a candidate to form part of the tree. String "+" denotes shared variables, (already occur in the query); Unshared variables are denoted by "-". Constant terms, (atoms, numbers) indicate that the candidate will considerate only the specified value.

Use:
jildt.tilde.rho(Q, Cns).

Parameters:

• + query (list): the query to be refined.
• + candidates (list): a list of candidates to refine the given query.

Examples: Assuming that the agent believes [jildt_rm(clear("+")), jildt_rm(on("+","+")), jildt_rm(on("-", "+")), jildt_rm(on("+", b))]:

• jildt.tilde.rho([intend(put(X,Y))], Cns): Cns unifies with the list [clear(X), clear(Y), on(X,X), on(X,Y), on(Y,X), on(Y,Y), on(Z,X), on(Z,Y), on(X,b), on(Y,b)].
• jildt.tilde.rho([intend(put(X,Y))], Cns, X): Throws an exception due to only two arguments are needed for executing the internal action.
• jildt.tilde.rho(intend(put(X,Y)), Cns): Throws an exception because the first argument must be a list.
• jildt.tilde.rho([intend(put(X,Y))], clear(X)): Throws an exception because the second argument must be variable.

Author:

Carlos Alberto González-Alarcón, Alejandro Guerra-Hernández, Francisco Grimaldo-Moreno

See Also:

languageBias, Serialized Form

Constructor Summary

rho()

Method Summary

java.lang.Object	execute(jason.asSemantics.TransitionSystem ts, jason.asSemantics.Unifier un, jason.asSyntax.Term[] args)
int	getMaxArgs()
int	getMinArgs()

Methods inherited from class jason.asSemantics.DefaultInternalAction

canBeUsedInContext, prepareArguments, suspendIntention

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

rho

public rho()

Method Detail

execute

public java.lang.Object execute(jason.asSemantics.TransitionSystem ts,
                                jason.asSemantics.Unifier un,
                                jason.asSyntax.Term[] args)
                         throws java.lang.Exception

Specified by:

execute in interface jason.asSemantics.InternalAction

Overrides:

execute in class jason.asSemantics.DefaultInternalAction

Throws:

java.lang.Exception

getMinArgs

public int getMinArgs()

Overrides:

getMinArgs in class jason.asSemantics.DefaultInternalAction

getMaxArgs

public int getMaxArgs()

Overrides:

getMaxArgs in class jason.asSemantics.DefaultInternalAction