Patents by Inventor Mattia CHIARI

Mattia CHIARI 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).

  • Generating symbolic domain models from multimodal data
    Patent number: 11645476
    Abstract: A computer generates a formal planning domain description. The computer receives a first text-based description of a domain in an AI environment. The domain includes an action and an associated attribute, and the description is written in natural language. The computer receives the first text-based description of the domain and extracts a first set of domain actions and associated action attributes. The computer receives audio-visual elements depicting the domain, generates a second text-based description, and extracts a second set of domain actions and associated action attributes. The computer constructs finite state machines corresponding to the extracted actions and attributes. The computer converts the FSMs into a symbolic model, written in a formal planning language, that describes the domain.
    Type: Grant
    Filed: September 29, 2020
    Date of Patent: May 9, 2023
    Assignee: International Business Machines Corporation
    Inventors: Mattia Chiari, Yufang Hou, Hiroshi Kajino, Akihiro Kishimoto, Radu Marinescu
  • GENERATING SYMBOLIC DOMAIN MODELS FROM MULTIMODAL DATA
    Publication number: 20220100968
    Abstract: A computer generates a formal planning domain description. The computer receives a first text-based description of a domain in an AI environment. The domain includes an action and an associated attribute, and the description is written in natural language. The computer receives the first text-based description of said domain and extracts a first set of domain actions and associated action attributes. The computer receives audio-visual elements depicting the domain, generates a second text-based description, and extracts a second set of domain actions and associated action attributes. The computer constructs finite state machines corresponding to the extracted actions and attributes. The computer converts the FSMs into a symbolic model, written in a formal planning language, that describes the domain.
    Type: Application
    Filed: September 29, 2020
    Publication date: March 31, 2022
    Inventors: Mattia Chiari, Yufang Hou, Hiroshi Kajino, Akihiro Kishimoto, Radu Marinescu
  • INTELLIGENT APPLICATION SCENARIO TESTING AND ERROR DETECTION
    Publication number: 20210311860
    Abstract: Embodiments for intelligent application scenario testing and error detection by a processor. One or more modified application scenarios may be automatically generated from an initial application scenario having configuration data and a plurality of operations relating to an error. The one or more modified application scenarios are variations of the initial application. The one or more modified application scenarios may be executed to detect the existence or non-existence of the error in the one or more modified application scenarios.
    Type: Application
    Filed: April 3, 2020
    Publication date: October 7, 2021
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Adi I. BOTEA, Larisa SHWARTZ, Akihiro KISHIMOTO, Radu MARINESCU, Yufang HOU, Hiroshi KAJINO, Mattia CHIARI, Marco Luca SBODIO