Package org.opennars.io

Class Narsese

java.lang.Object

org.opennars.io.Narsese

All Implemented Interfaces:

Serializable, Parser

public class Narsese
extends Object
implements Serializable, Parser

Utility methods for working and reacting to Narsese input. This will eventually be integrated with NarseseParser for systematic parsing and prediction of input.

Author:

Patrick Hammer

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface org.opennars.io.Parser

Parser.InvalidInputException

Field Summary

Fields

Modifier and Type	Field	Description
Memory	memory

Constructor Summary

Constructors

Constructor	Description
Narsese(Nar n)
Narsese(Memory memory)

Method Summary

Modifier and Type	Method	Description
private static String	getBudgetString(StringBuilder s)	Return the prefix of a task symbol that contains a BudgetValue
private static String	getTruthString(StringBuilder s)	Return the postfix of a task symbol that contains a TruthValue
private static boolean	isCloser(String s, int i)	Check CompoundTerm closer symbol
private static boolean	isOpener(String s, int i)	Check CompoundTerm opener symbol
private static int	nextSeparator(String s, int first)	Locate the first top-level separator in a CompoundTerm
private List<Term>	parseArguments(String s0)	Parse a String into the argument get of a CompoundTerm.
private Term	parseAtomicTerm(String s0)	Parse a term that has no internal structure.
private BudgetValue	parseBudget(String s, char punctuation, TruthValue truth)	react the addInput String into a BudgetValue
private Term	parseCompoundTerm(String s0)	Parse a String to create a CompoundTerm.
private Statement	parseStatement(String s0)	Parse a string to create a statement.
Task	parseTask(String s)	Enter a new Task in String into the memory, called from InputWindow or locally.
static Tense	parseTense(StringBuilder s)	Recognize the tense of an addInput sentence
Term	parseTerm(String s)	Top-level method that react a Term in general, which may recursively call itself.
private TruthValue	parseTruth(String s, char type)	react the addInput String into a TruthValue (or DesireValue)
static boolean	possiblyNarsese(String s)
private static int	topRelation(String s)	locate the top-level getRelation in a statement

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

memory

public final Memory memory

Constructor Detail

Narsese

public Narsese(Memory memory)

Narsese

public Narsese(Nar n)

Method Detail

parseTask

public Task parseTask(String s)
               throws Parser.InvalidInputException

Enter a new Task in String into the memory, called from InputWindow or locally.

Specified by:

parseTask in interface Parser

Parameters:

s - the single-line addInput String

Returns:

An experienced task

Throws:

Parser.InvalidInputException

getBudgetString

private static String getBudgetString(StringBuilder s)
                               throws Parser.InvalidInputException

Return the prefix of a task symbol that contains a BudgetValue

Parameters:

s - the addInput in a StringBuilder

Returns:

a String containing a BudgetValue

Throws:

Parser.InvalidInputException - if the addInput cannot be parsed into a BudgetValue

getTruthString

private static String getTruthString(StringBuilder s)
                              throws Parser.InvalidInputException

Return the postfix of a task symbol that contains a TruthValue

Parameters:

s - the addInput in a StringBuilder

Returns:

a String containing a TruthValue

Throws:

Parser.InvalidInputException - if the addInput cannot be parsed into a TruthValue

parseTruth

private TruthValue parseTruth(String s,
                              char type)

react the addInput String into a TruthValue (or DesireValue)

Parameters:

s - addInput String

type - Task type

Returns:

the addInput TruthValue

parseBudget

private BudgetValue parseBudget(String s,
                                char punctuation,
                                TruthValue truth)
                         throws Parser.InvalidInputException

react the addInput String into a BudgetValue

Parameters:

truth - the TruthValue of the task

s - addInput String

punctuation - Task punctuation

Returns:

the addInput BudgetValue

Throws:

Parser.InvalidInputException - If the String cannot be parsed into a BudgetValue

parseTense

public static Tense parseTense(StringBuilder s)

Recognize the tense of an addInput sentence

Parameters:

s - the addInput in a StringBuilder

Returns:

a tense value

parseTerm

public Term parseTerm(String s)
               throws Parser.InvalidInputException

Top-level method that react a Term in general, which may recursively call itself.

There are 5 valid cases: 1. (Op, A1, ..., An) is a CompoundTerm if Op is a built-in getOperator 2. {A1, ..., An} is an SetExt; 3. [A1, ..., An] is an SetInt; 4. <T1 Re T2> is a Statement (including higher-order Statement); 5. otherwise it is a simple term.

Parameters:

s - the String to be parsed

Returns:

the Term generated from the String

Throws:

Parser.InvalidInputException - if the String couldn't get parsed to a term

parseAtomicTerm

private Term parseAtomicTerm(String s0)
                      throws Parser.InvalidInputException

Parse a term that has no internal structure.

The term can be a constant or a variable.

Parameters:

s0 - the String to be parsed

Returns:

the Term generated from the String

Throws:

Parser.InvalidInputException - if the String couldn't get parsed to a term

parseStatement

private Statement parseStatement(String s0)
                          throws Parser.InvalidInputException

Parse a string to create a statement.

Parameters:

s0 - The addInput String to be parsed

Returns:

the statement generated from the string

Throws:

Parser.InvalidInputException - if the String couldn't get parsed to a term

parseCompoundTerm

private Term parseCompoundTerm(String s0)
                        throws Parser.InvalidInputException

Parse a String to create a CompoundTerm.

Parameters:

s0 - The String to be parsed

Returns:

the Term generated from the String

Throws:

Parser.InvalidInputException - if the String couldn't get parsed to a term

parseArguments

private List<Term> parseArguments(String s0)
                           throws Parser.InvalidInputException

Parse a String into the argument get of a CompoundTerm.

Parameters:

s0 - The String to be parsed

Returns:

the arguments in an List

Throws:

Parser.InvalidInputException - if the String couldn't get parsed to a term

nextSeparator

private static int nextSeparator(String s,
                                 int first)

Locate the first top-level separator in a CompoundTerm

Parameters:

s - The String to be parsed

first - The starting index

Returns:

the index of the next seperator in a String

topRelation

private static int topRelation(String s)

locate the top-level getRelation in a statement

Parameters:

s - The String to be parsed

Returns:

the index of the top-level getRelation

isOpener

private static boolean isOpener(String s,
                                int i)

Check CompoundTerm opener symbol

Parameters:

s - The String to be checked

i - The starting index

Returns:

if the given String is an opener symbol

isCloser

private static boolean isCloser(String s,
                                int i)

Check CompoundTerm closer symbol

Parameters:

s - The String to be checked

i - The starting index

Returns:

if the given String is a closer symbol

possiblyNarsese

public static boolean possiblyNarsese(String s)

Parameters:

s - string to get checked if it may be narsese

Returns:

returns if the string may be narsese