Deriving Logical Justification in an Extensible Logical Reasoning System

摘要

Mechanisms are provided for implementing a logical reasoning and justification engine that operates to receive a logical parse data structure of natural language content. The logical parse data structure comprises nodes and edges linking nodes and identifies latent logical terms within the natural language content indicative of logical relationships between elements of the natural language content. The engine further operates to receive a selection of a node in the logical parse data structure to thereby form a selected node, and execute at least one logical justification module on the selected node to identify zero or more justifying nodes that provide a contribution to a knowledge state of the selected node. The engine further operates to generate a logical justification output based on the identified zero or more justifying nodes, and output the logical justification output.