org.hops.dm.app
Class integrate

java.lang.Object
  org.hops.dm.app.integrate

public class integrate
extends java.lang.Object

updates the information state integrating the las moves

Version:

3.0

Author:

Meritxell Gonzalez

Field Summary

IS	actualstate the information state reference

Constructor Summary

integrate(IS is)
creates a new instance of integrate

Method Summary

boolean	do_integrate(update up) algorithm for the update method (integrate, try downdate_issues try remove_Findout, try execute_subaction try load_plan),
void	selectDefaultValue() checks wheter a question with a default value in the plan has a condition that matches the current commitments.

Methods inherited from class java.lang.Object

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

Field Detail

actualstate

public IS actualstate

the information state reference

Constructor Detail

integrate

public integrate(IS is)

creates a new instance of integrate

Parameters:

is - the information state reference

Method Detail

do_integrate

public boolean do_integrate(update up)

algorithm for the update method (integrate, try downdate_issues try remove_Findout, try execute_subaction try load_plan),

selectDefaultValue

public void selectDefaultValue()

checks wheter a question with a default value in the plan has a condition that matches the current commitments. rule selectDefaultValue class select_icm pre 1:first(/shared/COM,A) //picks out a the last integrated move 2:not lexicon::yn_answer(A) // A is not a yes-no-answer 3:in(private/plan, findout(Q)) // There is a findout action with content Q in the loaded plan 4:Domain::defaultMatch(A,Q) // such that A is relevant to Q 5: !in(private/nim/elem/snd, answer(Q) 6: !(in(private/nim/elem/snd, P) and incompatible(Q,P)) // There is no action in NIM incompatible with the default value eff 1 push(private/agenda, icm:accom:usr*Q) 2 add(shared/lu/moves, answer(Q) 3 add(shared/com,P) ansA ==> second parameter of the pair of the elem of NIM