story.scheherazade.elements
Class PredicateCalculusModel

java.lang.Object
  extended by story.scheherazade.elements.PredicateCalculusModel

public class PredicateCalculusModel
extends java.lang.Object

A "serialization" of the story graph into a set of first-order, predicate calculus assertions.


Field Summary
static java.lang.String ATT_AGENT
           
static java.lang.String ATT_SOURCE
           
static java.lang.String ATT_TYPE
           
static java.lang.String ATT_VERBALIZATION
           
 
Constructor Summary
PredicateCalculusModel()
           
 
Method Summary
 void declareArc(InterpretativeArcType arc, NodeAddress from, NodeAddress to)
           
 void declareAttribute(NodeAddress node, java.lang.String att_name, java.lang.String att_value)
           
 void declareNode(NodeAddress node, InterpretativeNodeType nodeType)
           
 java.lang.StringBuffer toProlog()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ATT_SOURCE

public static java.lang.String ATT_SOURCE

ATT_TYPE

public static java.lang.String ATT_TYPE

ATT_VERBALIZATION

public static java.lang.String ATT_VERBALIZATION

ATT_AGENT

public static java.lang.String ATT_AGENT
Constructor Detail

PredicateCalculusModel

public PredicateCalculusModel()
Method Detail

declareNode

public void declareNode(NodeAddress node,
                        InterpretativeNodeType nodeType)
                 throws Scheherexception
Throws:
Scheherexception

declareArc

public void declareArc(InterpretativeArcType arc,
                       NodeAddress from,
                       NodeAddress to)
                throws Scheherexception
Throws:
Scheherexception

declareAttribute

public void declareAttribute(NodeAddress node,
                             java.lang.String att_name,
                             java.lang.String att_value)
                      throws Scheherexception
Throws:
Scheherexception

toProlog

public java.lang.StringBuffer toProlog()
                                throws Scheherexception
Throws:
Scheherexception


Copyright © 2011 David K. Elson. All Rights Reserved.