bps-scala/org.maraist.truthmaintenancesystems.justificationbased.ruleengine

org.maraist.truthmaintenancesystems.justificationbased.ruleengine

package org.maraist.truthmaintenancesystems.justificationbased.ruleengine

Type members

Classlikes

class Datum[I]

FILL IN

FILL IN

The initialization of node, and the storage to dbClass.facts, were originally in the Lisp defun insert. The plist slot of the defstruct is not written to or read from any point of the Lisp code, and has been dropped.

class DbClass[I](val name: Any, val jtre: JTRE[I], val facts: ListBuffer[Datum[I]], val rules: ListBuffer[Rule[I]])
class JTMS[D, I](val title: String, val nodeString: Node[D, I] => String, var debugging: Boolean, val checkingContradictions: Boolean, var enqueueProcedure: Option[Rule[I] => Unit], var contradictionHandler: Option[(JTMS[D, I], ListBuffer[Node[D, I]]) => Unit])

Implementation of justification-based truth maintenance systems.

Implementation of justification-based truth maintenance systems.

Type Params
I

Type of (external) informants in justifications.

Value Params
checkingContradictions

For external systems.

contradictionHandler

External handler for detecting contradictions.

debugging

Debugging flag.

nodeString

Default formatter for TMS nodes.

title

Name of this TMS, for output.

class JTRE[I](val title: String, val debugging: Boolean)
class Just[D, I](val index: Int, val informant: I, val consequence: Node[D, I], val antecedents: ListBuffer[Node[D, I]])
class Node[D, I](val datum: D, val jtms: JTMS[D, I], var isAssumption: Boolean, var isContradictory: Boolean)
abstract
class Rule[I](val id: Int, val dbClass: DbClass[I])
Companion
object
object Rule
Companion
class
class TmsContradictionHandler(num: Int) extends RuntimeException
class TmsError[D, I](val node: Node[D, I], string: String) extends RuntimeException

Types

type ContraAssumptions[D, I] = ListBuffer[Node[D, I]]

Temporary type placeholder, until we work out a final form.

Temporary type placeholder, until we work out a final form.

type DbClassTable[I] = HashMap[Any, Any]
type Fact = Matchable
type Justification[D, I] = Just[D, I] | Symbol
type Support[D, I] = Justification[D, I]

Value members

Concrete methods

inline
def dbgJtre[I](jtre: JTRE[I], msg: String): Unit

Concrete fields