Scalable reasoning using a polarity-based module

摘要

Modularization-based reasoning of reasoning tasks is provided. Performing a reasoning task includes receiving the reasoning task. Symbols in the reasoning task are interpreted to extract a module from the knowledge base. The reasoning task is them performed with the extracted module to obtain a result of the reasoning task.

主权项

1. A method to perform a reasoning task, the method comprising:
receiving a reasoning task, wherein the reasoning task includes one or more symbols; extracting, based on an interpretation of the one or more symbols, polarity-based modules from a knowledge base, wherein the polarity-based modules includes axioms relevant to at least one of a positive polarity and a negative polarity of each of the one or more symbols; intersecting the polarity-based modules to identify an intersection polarity-based module that includes axioms from each of the polarity-based modules; and performing the reasoning task with the at least one intersection polarity-based module to obtain a result.