Patents by Inventor Paul V. Haley

Paul V. Haley 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).

  • Patent number: 12050874
    Abstract: A system and method that translates sentences of natural language text into sets of axioms of formal logic that are consistent with parses resulting from NLP and acquired constrains as they accumulate. The system and method further present these axioms so as to facilitate further disambiguation of such sentences and produces axioms of formal logic suitable for processing by automated reasoning technologies, such as first-order or description logic suitable for processing by various reasoning algorithms, such as logic programs, inference engines, theorem provers, and rule-based systems.
    Type: Grant
    Filed: December 13, 2021
    Date of Patent: July 30, 2024
    Inventor: Paul V. Haley
  • Publication number: 20240143349
    Abstract: A method comprises determining a threshold based on a shape or size of a graphical user interface (GUI); selecting one or more sequences of digital actions (actions) as one or more compound actions from a list of sequences of actions, the one sequence of actions being performed by multiple computer devices of a plurality of computer devices, including at least one input device and at least one output device, the one or more sequences of actions having a total number of sequences that is no more than the threshold and satisfying a set of criteria related to a number of actions in each sequence of actions; creating a deep link as a shortcut representing a specific compound action, the shortcut when invoked causing performing the specific compound action and producing a specific result; causing presenting the shortcut as an UI element in the GUI.
    Type: Application
    Filed: January 4, 2024
    Publication date: May 2, 2024
    Inventors: RAVINDRANATH KOKKU, ADITYA VEMPATY, SHARAD SUNDARARAJAN, SATYA V. NITTA, LATHA RAMANAN, JUAN ERNESTO PENARRIETA CORNEJO, RAJKUMAR CHANDRASEKARAN, HÉLÈNE ALONSO, PAUL V. HALEY, TAMER ABUELSAAD, PRASENJIT DEY
  • Patent number: 11868789
    Abstract: A data management server computer (“server”) is disclosed. The server receives action data associated with one or more users identifying a plurality of actions performed through one or more computer devices in a multi-modal networked environment, identifies useful sequences of actions as compound actions, and generates deep links representing the compound actions as UI elements which when invoked cause execution of the represented compound actions.
    Type: Grant
    Filed: November 30, 2021
    Date of Patent: January 9, 2024
    Assignee: Merlyn Mind, Inc.
    Inventors: Ravindranath Kokku, Aditya Vempaty, Sharad Sundararajan, Satya V. Nitta, Latha Ramanan, Juan Ernesto Penarrieta Cornejo, Rajkumar Chandrasekaran, Helene Alonso, Paul V. Haley, Tamer Abuelsaad, Prasenjit Dey
  • Publication number: 20230069549
    Abstract: A data management server computer (“server”) is disclosed. The server receives action data associated with one or more users identifying a plurality of actions performed through one or more computer devices in a multi-modal networked environment, identifies useful sequences of actions as compound actions, and generates deep links representing the compound actions as UI elements which when invoked cause execution of the represented compound actions.
    Type: Application
    Filed: November 30, 2021
    Publication date: March 2, 2023
    Inventors: RAVINDRANATH KOKKU, ADITYA VEMPATY, SHARAD SUNDARARAJAN, SATYA V. NITTA, LATHA RAMANAN, JUAN ERNESTO PENARRIETA CORNEJO, RAJKUMAR CHANDRASEKARAN, HELENE ALONSO, PAUL V. HALEY, TAMER ABUELSAAD, PRASENJIT DEY
  • Publication number: 20220269865
    Abstract: A system and method that translates sentences of natural language text into sets of axioms of formal logic that are consistent with parses resulting from NLP and acquired constrains as they accumulate. The system and method further present these axioms so as to facilitate further disambiguation of such sentences and produces axioms of formal logic suitable for processing by automated reasoning technologies, such as first-order or description logic suitable for processing by various reasoning algorithms, such as logic programs, inference engines, theorem provers, and rule-based systems.
    Type: Application
    Filed: December 13, 2021
    Publication date: August 25, 2022
    Inventor: PAUL V. HALEY
  • Patent number: 11222181
    Abstract: A system and method that translates sentences of natural language text into sets of axioms of formal logic that are consistent with parses resulting from NLP and acquired constraints as they accumulate. The system and method further present these axioms so as to facilitate further disambiguation of such sentences and produces axioms of formal logic suitable for processing by automated reasoning technologies, such as first-order or description logic suitable for processing by various reasoning algorithms, such as logic programs, inference engines, theorem provers, and rule-based systems.
    Type: Grant
    Filed: October 11, 2019
    Date of Patent: January 11, 2022
    Inventor: Paul V. Haley
  • Publication number: 20200042599
    Abstract: A system and method that translates sentences of natural language text into sets of axioms of formal logic that are consistent with parses resulting from NLP and acquired constraints as they accumulate. The system and method further present these axioms so as to facilitate further disambiguation of such sentences and produces axioms of formal logic suitable for processing by automated reasoning technologies, such as first-order or description logic suitable for processing by various reasoning algorithms, such as logic programs, inference engines, theorem provers, and rule-based systems.
    Type: Application
    Filed: October 11, 2019
    Publication date: February 6, 2020
    Inventor: PAUL V. HALEY
  • Patent number: 10452779
    Abstract: A system and method that translates sentences of natural language text into sets of axioms of formal logic that are consistent with parses resulting from NLP and acquired constraints as they accumulate. The system and method further present these axioms so as to facilitate further disambiguation of such sentences and produces axioms of formal logic suitable for processing by automated reasoning technologies, such as first-order or description logic suitable for processing by various reasoning algorithms, such as logic programs, inference engines, theorem provers, and rule-based systems.
    Type: Grant
    Filed: May 7, 2014
    Date of Patent: October 22, 2019
    Inventor: Paul V. Haley
  • Publication number: 20160085743
    Abstract: A system and method that translates sentences of natural language text into sets of axioms of formal logic that are consistent with parses resulting from NLP and acquired constraints as they accumulate. The system and method further present these axioms so as to facilitate further disambiguation of such sentences and produces axioms of formal logic suitable for processing by automated reasoning technologies, such as first-order or description logic suitable for processing by various reasoning algorithms, such as logic programs, inference engines, theorem provers, and rule-based systems.
    Type: Application
    Filed: May 7, 2014
    Publication date: March 24, 2016
    Inventor: Paul V. HALEY
  • Patent number: 8135576
    Abstract: The present invention is directed to a system for managing business knowledge expressed as statements, preferably sentences using a vocabulary, where such statements may be automated by the generation of programming language source code or computer program instructions. As such, the present invention also manages software design specifications that define, describe, or constrain the programming code it generates or programs with which it or the code it generates is to integrate. The present invention facilitates the creation of composite sentences. In one embodiment, the present invention also interprets a composite sentence as a logical formula in first order predicate calculus or similar logic formalism supporting conjunction, disjunction, and negation as well as existentially and universally quantified variables. The invention further interprets natural language, including singular common count noun phrases and connectives, as variables in formal logic.
    Type: Grant
    Filed: November 14, 2005
    Date of Patent: March 13, 2012
    Assignee: Oracle International Corporation
    Inventors: Paul V. Haley, Peter D. Venable, Albin L. Vareha, Jr., Klaus P. Gross