Patent ID: 9576244
Date: 2017-02-21
CPC Classifications: G06F,G06N

Claim:
1. A machine implemented method of executing four-valued logic in a semantic network, the method comprising: defining a logic system having a NOT logical connective denoted as “ F T U D F T U D generating a semantic network representing digitally stored information, said semantic network comprising a plurality of object nodes and a plurality of relationships between said plurality of object nodes, by: testing conditionals or quantifying variables in said semantic network during successive recursive steps in a predicate calculus using said logic system, the false values, true values, undefined values, and defined values in the semantic information associated with said plurality of object nodes, and the syntactic information associated with said plurality of relationships, wherein linear encoding of said semantic information and said syntactic information optimizes short term memory, maximizes long term storage, and optimizes communication and memory between different knowledge sources or processes.