Package ora4mas.light

Class LightNormativeBoard

  • All Implemented Interfaces:
    ToXML, npl.DynamicFactsProvider

    public class LightNormativeBoard
    extends NormativeBoard
    Artifact to manage a normative program (NPL)

    Operations (see details in the methods list below):
    • load a NPL program
    • addFact
    • removeFact
    • addNorm
    Observable properties:
    • obligation(ag,reason,goal,deadline): current active obligations.
      e.g. obligation(bob,n4,committed(ag2,mBib,s1),1475417322254)
    Signals the same signals of SchemeBoard.
Author:
Jomi
See Also:
SchemeBoard