| CPC G06N 20/00 (2019.01) | 18 Claims |
|
1. A method comprising:
selecting, based on a respective relevance score for each non-leaf node in a parse tree of a semantically valid logic statement, a relevant subset of non-leaf nodes;
grouping non-leaf nodes in the parse tree into a plurality of groups that represent respective portions of the semantically valid logic statement;
generating, from the parse tree, one or more disconnected trees by:
replacing each group of a relevant subset of the plurality of groups that contain at least one non-leaf node in the relevant subset of non-leaf nodes with a group node, and
retaining only the group nodes; and
generating, based on the one or more disconnected trees, an explanation of why the semantically valid logic statement is anomalous;
wherein the method is performed by one or more computers.
|