Patents by Inventor Dabvid M. Massie

Dabvid M. Massie has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20150074031
    Abstract: 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.
    Type: Application
    Filed: September 7, 2013
    Publication date: March 12, 2015
    Inventor: Dabvid M. Massie