Computer implementation of term functor logic, (TFL), based on directed graph representation of TFL

摘要

The invention is a method of computer implementation of Term Functor Logic (TFL), embodied in a fully functional prototype, a computer program, Functor Logic Processor-Version 1, (FLP-1). The method is the “FLP method”, FLP. Input to FLP-1 consists of sentences (logical formulae) in TFL. Output are sentences that are the logical conclusions, (deductive inferences) derivable from the Input. FLP provides a “natural deduction” system for TFL, a basis for expert systems for logical analysis of input data, capable of wide application. The FLP method is based on a functional representation of the Input by a non-planar directed graph. All Output is determined from the adjacency matrix of the directed graph by algorithmic routines, including calculations of conclusions in a functor algebra unique to the method.