International Business Machines Corporation

Alexander Gray

Dinesh Garg

Ismail Yunus Akhalwaya

Naweed Aghmad Khan

Pavan Kapanipathi Bangalore

Francois Pierre Luus

Parikshit Ram

Salim E Roukos

Ndivhuwo Makondo

Ryan Nelson Riegel

Lior Horesh

Achille Belly Fokoue-Nkoutche

Dakuo Wang

L Venkata Subramaniam

Sijia Liu

Giacomo Nannicini

Horst Cornelius Samulowitz

Rosario A Uceda-Sosa

Maria Chang

Gregory Bramble

Deepak Vijaykeerthy

Ibrahim Abdelaziz

Nandana Sampath Mihindukulasooriya

Vaibhav Saxena

Oktay Gunluk

Saswati Dana

Guilherme Augusto Ferreira Lima

Francisco Barahona

Sanjeeb Dash

Dinesh Khandelwal

G P Shrivatsa Bhargav

Arunima Chaudhary

Marcelo Machado

Srinivas Ravishankar

Provided are techniques for a search using an overlay graph mapping to source knowledge graphs. A plurality of overlay graphs are generated, where each overlay graph comprises entities represented by nodes and relations represented by edges, and where the entities and the relations map to a subset of entities and relations in a plurality of source knowledge graphs. A search request comprising an entity and a relation is received. An overlay graph is selected from the plurality of overlay graphs based on the entity and the relation. The search request is issued against the overlay graph, where the search request is translated to knowledge graph specific queries, and where the knowledge graph specific queries are issued against the plurality of source knowledge graphs. Search results are received from the plurality of source knowledge graphs. The search results are used to respond to the search request.

Search using an overlay graph mapping to source knowledge graphs

The exemplary embodiments disclose a method, a computer program product, and a computer system for determining that one or more model pipelines satisfy one or more constraints. The exemplary embodiments may include detecting a user uploading data, one or more constraints, and one or more model pipelines, collecting the data, the one or more constraints, and the one or more model pipelines, and determining that one or more of the model pipelines satisfies all of the one or more constraints based on applying one or more algorithms to the collected data, constraints, and model pipelines.

Machine learning with multiple constraints

A system for configuring and using a logical neural network including a graph syntax tree of formulae in a represented knowledgebase connected to each other via nodes representing each proposition. One neuron exists for each logical connective occurring in each formula and, additionally, one neuron for each unique proposition occurring in any formula. All neurons return pairs of values representing upper and lower bounds on truth values of their corresponding subformulae and propositions. Neurons corresponding to logical connectives accept as input the output of neurons corresponding to their operands and have activation functions configured to match the connectives' truth functions. Neurons corresponding to propositions accept as input the output of neurons established as proofs of bounds on the propositions' truth values and have activation functions configured to aggregate the tightest such bounds. Bidirectional inference permits every occurrence of each proposition in each formula to be used as a potential proof.

First-order logical neural networks with bidirectional inference

Methods, systems, and computer program products for zero-shot entity linking based on symbolic information are provided herein. A computer-implemented method includes obtaining a knowledge graph comprising a set of entities and a training dataset comprising text samples for at least a subset of the entities in the knowledge graph; training a machine learning model to map an entity mention substring of a given sample of text to one corresponding entity in the set of entities, wherein the machine learning model is trained using a multi-task machine learning framework using symbolic information extracted from the knowledge graph; and mapping an entity mention substring of a new sample of text to one of the entities in the set using the trained machine learning model.

Zero-shot entity linking based on symbolic information

One or more computer processors parse a received natural language question into an abstract meaning representation (AMR) graph. The one or more computer processors enrich the AMR graph into an extended AMR graph. The one or more computer processors transform the extended AMR graph into a query graph utilizing a path-based approach, wherein the query graph is a directed edge-labeled graph. The one or more computer processors generate one or more answers to the natural language question through one or more queries created utilizing the query graph.

Knowledge base question answering

Word sense disambiguation using a glossary layer embedded in a deep neural network includes receiving, by one or more processors, input sentences including a plurality of words. At least two words in the plurality of words are homonyms. The one or more processors convert the plurality of words associated with each input sentence into a first vector including possible senses for the at least two words. The first vector is then combined with a second vector including a domain-specific contextual vector associated with the at least two words. The combination of the first vector with the second vector is fed into a recurrent deep logico-neural network model to generate a third vector that includes word senses for the at least two words. A threshold is set for the third vector to generate a fourth vector including a final word sense vector for the at least two words.

Word sense disambiguation using a deep logico-neural network

A processor may include a set of primitive operators, receive a set of data-driven operators, at least one of the set of data-driven operators including a machine learning model, and receive an input-output data pair set. Based on a grammar specifying rules for linking the set of primitive operators and the set of data-driven operators, the processor may search among the set of primitive operators and the set of data-driven operators to find a symbolic model that fits the input-output data set.

Free-form integration of machine learning model primitives

Growing community of inventors

Yonkers, NY, United States of America

Alexander Gray