Difference between revisions of "Vulcan/HandlingGaps"

From Knowitall
Jump to: navigation, search
(Problem Overview)
(Problem Overview)
Line 20: Line 20:
 
E3: Type(iron, metal)
 
E3: Type(iron, metal)
  
E4: (iron, conducts, electricity)
+
E4: (metal, conducts, electricity)
  
 
Rules:
 
Rules:
  
 
R1: composed(x, y) (y, R, z) => (x, R, z)
 
R1: composed(x, y) (y, R, z) => (x, R, z)
 
R2: 
 
  
 
</pre>
 
</pre>

Revision as of 21:33, 8 September 2013

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)