Difference between revisions of "Vulcan/TextualMatching"

From Knowitall
Jump to: navigation, search
Line 43: Line 43:
  
 
<b>Textual Matching?</b>
 
<b>Textual Matching?</b>
 +
 +
<b> Examples of constraints in Tuffy </b>
 +
 +
3 phrases(pid, str), personName(n), [contains(str,n)] => isaPerson(pid)
 +
 +
2 teamScore(t1, s1), teamScore(t2, s2), s1 > s2 => winner(t1)
 +
 +
8 teamScore(t, s), [s % 2 = 1 AND floor(sqrt(s)) = 0] => goodTeam(t)
 +
 +
100 users(uid, name, hashedPswd), easyPasswords(p), [md5(hashedPswd) = p] => cracked(name, p).

Revision as of 18:03, 19 August 2013

Logic style matching can limit recall during inference. Here we discuss some examples of the types of fuzzy textual matching that we need to support.


Question: Growth causes the leaves of a plant to become larger.

Extractions

(Growth; causes; the leaves of a plant; to become larger)

Growth causes:(the leaves of a plant; to become; larger)


To propositions:

(growth, causes, the leaves of a plant, to become larger)

1.0 causes(growth, the leaves of a plant, to become larger)

0.9 causes(growth, leaf of a plant, to become larger)

0.8 cause(growth, leaf, to become large)

0.7 cause(growth, x, to become large)


Answer Sentence:

The noun growth is the process of something becoming bigger.

Extractions

(The noun growth; is; the process of something becoming bigger)

(the process of something; becoming; bigger)

(The noun growth; is the process of; something)


To axioms ?

Rules ?

Textual Matching?

Examples of constraints in Tuffy

3 phrases(pid, str), personName(n), [contains(str,n)] => isaPerson(pid)

2 teamScore(t1, s1), teamScore(t2, s2), s1 > s2 => winner(t1)

8 teamScore(t, s), [s % 2 = 1 AND floor(sqrt(s)) = 0] => goodTeam(t)

100 users(uid, name, hashedPswd), easyPasswords(p), [md5(hashedPswd) = p] => cracked(name, p).