Difference between revisions of "Vulcan/TextualMatching"
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).