org.hops.dm.app
Class integrate

java.lang.Object
  extended by 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