Vulcan/HandlingGaps

This page outlines possible solutions for handling gaps in inference.

Problem Overview

Inference using textual evidence will have gaps due to lexical variations. Consider the following example:

Proposition:
     
Iron nail is a good conductor of electricity.

Evidence:

E1: (metals, have the ability to conduct, electricity)

E2: composed(iron nail, iron)

E3: Type(iron, metal)

E4: (metal, conducts, electricity)

Rules:

R1: composed(x, y) (y, R, z) => (x, R, z)