Package org.opennars.language

Term hierarchy in Narsese Open-NARS implements the following formal language, Narsese.

            <sentence> ::= <judgment>
                         | <question>
            <judgment> ::= <statement> <truth-value>
            <question> ::= <statement>
           <statement> ::= <<term> <relation> <term>>
                         | <compound-statement>
                         | <term>
                <term> ::= <word>
                         | <variable>
                         | <compound-term>
                         | <statement>
            <relation> ::= -->    // Inheritance
                         | <->    // Similarity
                         | {--    // Instance
                         | --]    // Property
                         | {-]    // InstanceProperty
                         | ==>    // Implication
                         | <=>    // Equivalence
  <compound-statement> ::= (-- <statement>)                 // Negation
                         | (|| <statement> <statement>+)    // Disjunction
                         | (&& <statement> <statement>+)    // Conjunction
       <compound-term> ::= {<term>+}    // SetExt
                         | [<term>+]    // SetInt
                         | (& <term> <term>+)    // IntersectionExt
                         | (| <term> <term>+)    // IntersectionInt
                         | (- <term> <term>)     // DifferenceExt
                         | (~ <term> <term>)     // DifferenceInt
                         | (* <term> <term>+)    // Product
                         | (/ <term>+ _ <term>*)    // ImageExt
                         | (\ <term>+ _ <term>*)    // ImageInt
            <variable> ::= <independent-var>
                         | <dependent-var>
                         | <query-var>
     <independent-var> ::= $[<word>]
       <dependent-var> ::= #<word>
           <query-var> ::= ?[<word>]
                <word> : string in an alphabet
         <truth-value> : a pair of real numbers in [0, 1] x (0, 1)
 

Major methods in the Term classes:

• constructors
• get and set
• clone, compare, and unify
• create and access corresponding concept
• structural operation in compound

Interface Summary

Interface	Description
AbstractTerm
Term.TermVisitor

Class Summary

Class	Description
CompoundTerm	Compound term as defined in the NARS-theory
CompoundTerm.ConvRectangle
Conjunction	Conjunction of statements as defined in the NARS-theory
DifferenceExt	A compound term whose extension is the difference of the extensions of its term as defined in the NARS-theory
DifferenceInt	A compound term whose extension is the difference of the intensions of its term as defined in the NARS-theory
Disjunction	A disjunction of Statements as defined in the NARS-theory
Equivalence	A Statement about an Equivalence relation as defined in the NARS-theory
Image	Generalization of Images as defined in the NARS-theory
ImageExt	An extension image as defined in the NARS-theory
ImageInt	An intension image as defined in the NARS-theory
Implication	A Statement about an Inheritance copula as defined in the NARS-theory
Inheritance	A Statement about an Inheritance relation as defined in the NARS-theory
Instance	A Statement about an Instance relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.
InstanceProperty	A Statement about an InstanceProperty relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.
IntersectionExt	A compound term whose extension is the intersection of the extensions of its term as defined in the NARS-theory
IntersectionInt	A compound term whose intension is the intersection of the extensions of its term as defined in the NARS-theory
Interval	This stores the magnitude of a time difference, which is the logarithm of the time difference in base D=duration ( @see Param.java ).
Negation	A negation of a statement as defined in the NARS-theory
Product	A Product is a sequence of 1 or more terms as defined in the NARS-theory
Property	A Statement about a Property relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.
SetExt	An extensionally defined set, which contains one or more instances as defined in the NARS-theory
SetInt	An intensionally defined set, which contains one or more instances defining the Term.
SetTensional	Base class for SetInt (intensional set) and SetExt (extensional set)
Similarity	A Statement about a Similarity relation as defined in the NARS-theory
Statement	A statement is a compound term as defined in the NARS-theory, consisting of a subject, a predicate, and a relation symbol in between.
Term	Term is the basic component of Narsese, and the object of processing in NARS.
Terms	Static utility class for static methods related to Terms
Variable	A variable term, which does not correspond to a concept
Variables	Static utility class for static methods related to Variables

Enum Summary

Enum	Description
Statement.EnumStatementSide
Tense

Exception Summary

Exception	Description
CompoundTerm.UnableToCloneException