A novel algorithm translates symbolic knowledge into vector spaces to combine deductive reasoning with machine learning.

2019 Maxat Kulmanov

Symbol of change for AI development

Bridging the knowledge gap in artificial intelligence requires an embedding function that helps step between different types of "thinking."

A mathematical framework that bridges the gap between high-level human-readable knowledge and statistical data has been developed by a KAUST team and is expected to improve machine learning.

Humans rely on patterns, labels and order to make sense of the world. We categorize, classify and make links between related things and ideas, creating symbols that we can use to share information. Artificial intelligence, on the other hand, is trained most effectively using raw numerical data. How, then, can artificial intelligence algorithms make use of our vast store of symbolic knowledge? This is a vexing problem and one that, if cracked, could open an enormous new multidimensional library for machine learning and artificial intelligence.

Robert Hoehndorf, Maxat Kulmanov and their collaborators at KAUST’s Computational Bioscience Research Center and Halifax University, Canada, have developed a mathematical bridge between these seemingly incompatible forms of information.

“There is a big gap in artificial intelligence research between approaches based on high-level symbolic representations understandable by humans and the subsymbolic approaches used for training artificial neural networks,” explains Kulmanov. “Symbolic approaches are built on logical relationships, while subsymbolic approaches rely on statistics and continuous real-numbered vector spaces.”

The researchers set out to develop an "embedding" function that maps one mathematical structure to another in a way that preserves some of the features of the first structure.

“Embeddings are used because the second structure may be more suitable for some operations,” says Hoehndorf. “In this work, we mapped a formal language, called a description logic, into a real-number vector space, which can be used more easily for machine learning, such as computing similarity and performing predictive operations.”

Description logics are widely used in biology and biomedicine to describe formalized theories, such as the functions of genes and the terminology used in medical diagnosis.

“Logics, such as description logic, have been the foundation for artificial intelligence systems since the 1960s and have been studied in mathematics for more than 100 years,” says Hoehndorf. “Building on this history of research, we created an embedding function that not only projects symbols into a vector space, but also generates algebraic models to capture the semantics of the symbols within description logic.”

The key to the team’s achievement is linking the embedding to model theory, which made it possible to draw on established knowledge and create the first embedding that preserves semantics. 

“Our method is directly applicable to hundreds of formalized theories in biological and biomedical research and hundreds of biological databases,” says Kulmanov. “In the future, we will apply our method to more problems in biology, which we hope will improve biomedical applications of artificial intelligence.”

References

  1. Kulmanov, M., Wang, L.-W., Yan, Y. & Hoehndorf, R. EL embeddings: Geometric construction of models for the description logic EL++. Proceedings of the Twenty-Eighth International Joint Conferences on Artificial Intelligence (IJCAI-19), 10-16 August 2019, Macao, China.| article