International Business Machines Corporation

Cristina Cornelio

Arun Kwangil Iyengar

Mustafa Canim

Ryan A Musa

Mariano Rodriguez Muro

Achille Belly Fokoue-Nkoutche

Ibrahim Abdelaziz

Lior Horesh

Kavitha Srinivas

Lingfei Wu

Kenneth Lee Clarkson

Michael John Witbrock

Bassem Makni

Veronika Thost

Maxwell Crouse

Aldo Pareja

Sara Magliacane

Generate, from a logical formula, a directed acyclic graph having a plurality of nodes and a plurality of edges. Assign an initial embedding to each mode and edge, to one of a plurality of layers. Compute a plurality of initial node states by using feed-forward networks, and construct cross-dependent embeddings between conjecture node embeddings and premise node embeddings. Topologically sort the DAG with the initial embeddings and node states. Beginning from a lowest rank, compute layer-by-layer embedding updates for each of the plurality of layers until a root is reached. Assign the embedding update for the root node as a final embedding for the DAG. Provide the final embedding for the DAG as input to a machine learning system, and carry out the automatic theorem proving with same.

Capturing the global structure of logical formulae with graph long short-term memory

A method for optimal design of experiments for joint model selection and parametrization determination of a symbolic mathematical model includes: determining a prediction value for a given inquiry data point, functional form and parameterization for conducting an experiment relating to a system under investigation; assuming a set of input-output data pairs as a starting point in a model discovery process relating to the system under investigation; performing discovery of symbolic models minimizing complexity for a bounded misfit, or minimizing a misfit measure, subject to bounded complexity; determining a new data point through optimal experimental design that informs best as for the underlying symbolic models; and updating a posterior distribution, given results of the experiment relating to the system under investigation for the determined new data point to enable informed assessment among a plurality of functional forms and parameterizations. An apparatus configured to perform the method is also provided.

Experimental design for symbolic model discovery

A method of improving computing efficiency of a computing device for language-independent problem solving and reasoning includes receiving a query from a user, which is decomposed into one or more sub-queries arranged according to a tree structure. The one or more sub-queries are executed in a knowledge base. The results of the executed one or more sub-queries are received and composed into a query response. The query response is transmitted to the user.

Problem manipulators for language-independent computerized reasoning

An information processing system, a computer readable storage medium, and a computer-implemented method, collect tables from a corpus of documents, convert the collected tables to flattened table format and organized to be searchable by schema-less queries. A method collects tables, extracts feature values from collected table data and collected table meta-data for each collected table. A table classifier classifies each collected table as being a type of table. Based on the classifying, the collected table is converted to a flattened table including table values that are the table data and the table meta-data of the collected table. Dependencies of the data values are mapped. The flattened table and mapped dependencies are stored in a triple store searchable by schema-less queries. The table classifier learns and improves its accuracy and reliability. Dependency information is maintained among a plurality of database tables. The dependency information can be updated at variable update frequency.

Automatic transformation of complex tables in documents into computer understandable structured format and managing dependencies

Automatic transformation of complex tables in documents into computer understandable structured format and providing schema-less query support data extraction

Automatic transformation of complex tables in documents into computer understandable structured format with mapped dependencies and providing schema-less query support for searching table data

Growing community of inventors

White Plains, NY, United States of America

Cristina Cornelio