aiddl-test.reasoning.temporal.stp.aiddl Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of aiddl-common-scala Show documentation

Provides common types and algorithm implementations for the fast prototyping integrative AI systems with the AIDDL framework.

The newest version!

(#mod self org.aiddl.test.reasoning.temporal.stp)

(#req STP org.aiddl.common.reasoning.temporal.stp)

(^NamedSimpleTemporalProblem@STP (stp-consistent 1)
  (
    { x1 x2 x3 }
    {
      ( x1 x2 5 5 )
      ( x2 x3 5 5 )
    }
  ) )

(^NamedSimpleTemporalProblem@STP (stp-inconsistent 1)
  (
    { x1 x2 x3 }
    {
      ( x1 x2 5 5 )
      ( x2 x3 5 5 )
      ( x3 x1 5 5 )      
    }
  ) )