本文整理汇总了Java中edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify类的典型用法代码示例。如果您正苦于以下问题:Java ApplyAndSimplify类的具体用法?Java ApplyAndSimplify怎么用?Java ApplyAndSimplify使用的例子?那么, 这里精选的类代码示例或许可以为您提供帮助。
ApplyAndSimplify类属于edu.cornell.cs.nlp.spf.mr.lambda.visitor包,在下文中一共展示了ApplyAndSimplify类的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: test16
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test16() {
final LogicalExpression result = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:e (c_ARGX:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $1:e (and:<t*,t> (oppose-01:<e,t> $1) (c_ARGX:<e,<e,t>> $1 (a:<id,<<e,t>,e>> na:id (lambda $2:e (terrorism:<e,t> $2)))))))))");
final LogicalExpression arg = TestServices.getCategoryServices()
.readSemantics("(lambda $0:e (terrorism:<e,t> $0))");
final LogicalExpression func = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $4:<e,t> (lambda $0:e (c_ARGX:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $1:e (and:<t*,t> (oppose-01:<e,t> $1) (c_ARGX:<e,<e,t>> $1 (a:<id,<<e,t>,e>> na:id $4))))))))");
Assert.assertEquals(result, ApplyAndSimplify.of(func, arg));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 1));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 2));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 3));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 4));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 5));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 6));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 7));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 8));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3, 9));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3, 10));
}
示例2: test17
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test17() {
final LogicalExpression result = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:e (and:<t*,t> (become-01:<e,t> $0) "
+ "(c_ARGX:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $1:e (and:<t*,t> (warfare:<e,t> $1) (c_REL:<e,<e,t>> $1 (a:<id,<<e,t>,e>> na:id (lambda $2:e (cyber:<e,t> $2)))))))) "
+ "(c_ARGX:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $3:e (and:<t*,t> (weapon:<e,t> $3) (c_REL:<e,<e,t>> $3 (a:<id,<<e,t>,e>> na:id (lambda $4:e (common:<e,t> $4)))))))) "
+ "(c_REL:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $5:e (and:<t*,t> (person:<e,t> $5) (c_REL:<e,<e,t>> $5 (a:<id,<<e,t>,e>> na:id (lambda $6:e (and:<t*,t> (country:<e,t> $6) (c_REL:<e,<e,t>> $6 (a:<id,<<e,t>,e>> na:id (lambda $7:e (and:<t*,t> (name:<e,t> $7) (c_op:<e,<e,t>> $7 South++Korea:e)))))))))))))))");
final LogicalExpression arg = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:e (and:<t*,t> (become-01:<e,t> $0) "
+ "(c_ARGX:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $1:e (and:<t*,t> (warfare:<e,t> $1) (c_REL:<e,<e,t>> $1 (a:<id,<<e,t>,e>> na:id (lambda $2:e (cyber:<e,t> $2)))))))) "
+ "(c_ARGX:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $3:e (and:<t*,t> (c_REL:<e,<e,t>> $3 (a:<id,<<e,t>,e>> na:id (lambda $4:e (common:<e,t> $4)))) (weapon:<e,t> $3)))))))");
final LogicalExpression func = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $1:<e,t> (lambda $0:e (and:<t*,t> "
+ "($1 $0) "
+ "(c_REL:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $5:e (and:<t*,t> (person:<e,t> $5) "
+ "(c_REL:<e,<e,t>> $5 (a:<id,<<e,t>,e>> na:id (lambda $6:e (and:<t*,t> (country:<e,t> $6) (c_REL:<e,<e,t>> $6 (a:<id,<<e,t>,e>> na:id (lambda $7:e (and:<t*,t> (name:<e,t> $7) (c_op:<e,<e,t>> $7 South++Korea:e))))))))))))))))");
Assert.assertEquals(result, ApplyAndSimplify.of(func, arg));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3));
}
示例3: test9
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test9() {
final LogicalExpression result = TestServices
.getCategoryServices()
.readSemantics(
"(a:<id,<<e,t>,e>> na:id (lambda $0:e (and:<t*,t> "
+ "(and:<e,t> $0) "
+ "(c_op1:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $1:e (international:<e,t> $1)))) "
+ "(c_op2:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $2:e (military:<e,t> $2)))) "
+ "(c_op2:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $3:e (terrorism:<e,t> $3)))))))");
final LogicalExpression arg = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:<e,<e,t>> (lambda $1:e (lambda $2:e ($0 $1 $2))))");
Assert.assertEquals(result, ApplyAndSimplify.of(
GetApplicationFunction.of(result, arg, 3), arg));
}
示例4: apply
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Override
public LogicalExpression apply(LogicalExpression function,
LogicalExpression argument) {
final LogicalExpression result;
// Combined application and simplification
final LogicalExpression applicationResult = ApplyAndSimplify.of(
function, argument);
// Verify application result is well typed, only if verification is
// turned on
if (applicationResult != null && doTypeChecking
&& !IsTypeConsistent.of(applicationResult)) {
result = null;
} else {
result = applicationResult;
}
return result;
}
示例5: bindOperation
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
private static LogicalExpression bindOperation(
LogicalExpression leftTreeParse, LogicalExpression rightTreeParse) {
Preconditions.checkNotNull(leftTreeParse);
Preconditions.checkNotNull(rightTreeParse);
Preconditions.checkArgument(rightTreeParse instanceof LogicalConstant);
// Dirty implementation. A better way is to work with objects and not the
// strings.
Type leftType = leftTreeParse.getType();
String existsExpression =
String.format("(lambda $f:%s (exists:<%s,<%s,%s>> $x:%s ($f $x))",
leftType, leftType.getDomain(), leftType.getRange(),
leftType.getRange(), leftType.getDomain());
leftTreeParse =
ApplyAndSimplify
.of(SimpleLogicalExpressionReader.read(existsExpression),
leftTreeParse);
String variable = rightTreeParse.toString();
String leftParse = leftTreeParse.toString();
String variableType = rightTreeParse.getType().getDomain().toString();
String returnType = rightTreeParse.getType().getRange().toString();
Pattern variablePattern =
Pattern.compile(String.format("([\\(\\)\\s])(%s)([\\(\\)\\s])",
variable));
Matcher matcher = variablePattern.matcher(leftParse);
String finalString =
matcher
.replaceAll(String.format("$1%s:<%s,<%s,%s>> \\$x$3",
PredicateKeys.EQUAL_PREFIX, variableType, variableType,
returnType));
finalString = String.format("(lambda $x:%s %s)", variableType, finalString);
return SimpleLogicalExpressionReader.read(finalString);
}
示例6: test12
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test12() {
final LogicalExpression result = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:e (lambda $1:<e,t> (a:<id,<<e,t>,e>> na:id (lambda $2:e (and:<t*,t>\n"
+ " ($1 $2)\n"
+ " (c_ARGX:<e,<e,t>> $2 (a:<id,<<e,t>,e>> na:id (lambda $3:e (and:<t*,t>\n"
+ " (and:<e,t> $3)\n"
+ " (c_op1:<e,<e,t>> $3 (a:<id,<<e,t>,e>> na:id (lambda $4:e (and:<t*,t>\n"
+ " (bias-01:<e,t> $4)\n"
+ " (c_ARGX:<e,<e,t>> $4 $0)\n"
+ " (c_REL:<e,<e,t>> $4 \n"
+ " (a:<id,<<e,t>,e>> na:id (lambda $5:e (cultural:<e,t> $5))))))))\n"
+ " (c_op2:<e,<e,t>> $3 (a:<id,<<e,t>,e>> na:id (lambda $6:e (and:<t*,t>\n"
+ " (insult-01:<e,t> $6)\n"
+ " (c_ARGX:<e,<e,t>> $6 $0)\n"
+ " (c_ARGX:<e,<e,t>> $6 $0))))))))))))))");
final LogicalExpression arg = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:e (lambda $1:e (lambda $2:e (c_ARGX:<e,<e,t>> $2 (a:<id,<<e,t>,e>> na:id (lambda $3:e (and:<t*,t>\n"
+ " (c_op1:<e,<e,t>> $3 $1)\n"
+ " (c_op2:<e,<e,t>> $3 $0)\n"
+ " (and:<e,t> $3))))))))");
Assert.assertEquals(result, ApplyAndSimplify.of(
GetApplicationFunction.of(result, arg, 3), arg));
}
示例7: test13
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test13() {
final LogicalExpression result = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:e (lambda $1:e (and:<t*,t> (propose-01:<e,t> $1) (c_ARGX:<e,<e,t>> $1 $0))))");
final LogicalExpression arg = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:<e,<e,t>> (lambda $1:e (lambda $2:e ($0 $1 $2))))");
Assert.assertEquals(result, ApplyAndSimplify.of(
GetApplicationFunction.of(result, arg, 3), arg));
}
示例8: test14
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test14() {
final LogicalExpression result = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $4:e (c_ARGX:<e,<e,t>> $4\n"
+ " (a:<id,<<e,t>,e>> na:id (lambda $5:e (and:<t*,t>\n"
+ " (oppose-01:<e,t> $5)\n"
+ " (c_ARGX:<e,<e,t>> $5\n"
+ " (a:<id,<<e,t>,e>> na:id (lambda $6:e (terrorism:<e,t> $6)))))))))");
final LogicalExpression arg = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:e (c_ARGX:<e,<e,t>> $0 (a:<id,<<e,t>,e>> na:id (lambda $1:e (terrorism:<e,t> $1)))))");
final LogicalExpression func = TestServices
.getCategoryServices()
.readSemantics(
"(lambda $0:<e,t> (lambda $4:e (c_ARGX:<e,<e,t>> $4\n"
+ " (a:<id,<<e,t>,e>> na:id (lambda $5:e (and:<t*,t>\n"
+ " (oppose-01:<e,t> $5)\n"
+ " ($0 $5)))))))");
Assert.assertEquals(result, ApplyAndSimplify.of(func, arg));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 1));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 2));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 3));
Assert.assertEquals(null, GetApplicationFunction.of(result, arg, 3, 4));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3, 5));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3, 6));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3, 7));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3, 8));
Assert.assertEquals(func, GetApplicationFunction.of(result, arg, 3, 9));
}
示例9: test1
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test1() {
final LogicalExpression e1 = LogicalExpression
.read("(lambda $0:<e,t> (lambda $1:e (and:<t*,t> (boo:<e,t> $1) ($0 $1))))");
final LogicalExpression a1 = LogicalExpression.read("doo:<e,t>");
final LogicalExpression r1 = ApplyAndSimplify.of(e1, a1);
final LogicalExpression expected1 = LogicalExpression
.read("(lambda $0:e (and:<t*,t> (boo:<e,t> $0) (doo:<e,t> $0)))");
assertTrue(String.format("%s != %s", r1, expected1),
expected1.equals(r1));
}
示例10: test10
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test10() {
final LogicalExpression e1 = LogicalExpression
.read("(lambda $0:t (or:<t*,t> (boo:<e,t> foo:e) $0))");
final LogicalExpression a1 = LogicalExpression
.read("(or:<t*,t> (goo:<e,t> foo:e) (koo:<e,t> foo:e))");
final LogicalExpression r1 = ApplyAndSimplify.of(e1, a1);
final LogicalExpression expected1 = LogicalExpression
.read("(or:<t*,t> (goo:<e,t> foo:e) (koo:<e,t> foo:e) (boo:<e,t> foo:e))");
assertTrue(String.format("%s != %s", r1, expected1),
expected1.equals(r1));
}
示例11: test11
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test11() {
final LogicalExpression e1 = LogicalExpression
.read("(lambda $0:t (or:<t*,t> (boo:<e,t> foo:e) $0))");
final LogicalExpression a1 = LogicalExpression
.read("(and:<t*,t> (goo:<e,t> foo:e) (koo:<e,t> foo:e))");
final LogicalExpression r1 = ApplyAndSimplify.of(e1, a1);
final LogicalExpression expected1 = LogicalExpression
.read("(or:<t*,t> (and:<t*,t> (goo:<e,t> foo:e) (koo:<e,t> foo:e)) (boo:<e,t> foo:e))");
assertTrue(String.format("%s != %s", r1, expected1),
expected1.equals(r1));
}
示例12: test2
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test2() {
final LogicalExpression e1 = LogicalExpression.read("goo:<<e,t>,t>");
final LogicalExpression a1 = LogicalExpression.read("doo:<e,t>");
final LogicalExpression r1 = ApplyAndSimplify.of(e1, a1);
final LogicalExpression expected1 = LogicalExpression
.read("(goo:<<e,t>,t> doo:<e,t>)");
assertTrue(String.format("%s != %s", r1, expected1),
expected1.equals(r1));
}
示例13: test3
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test3() {
final LogicalExpression e1 = LogicalExpression
.read("(lambda $0:e (lambda $1:e (boo:<e,<e,t>> $0 $1)))");
final LogicalExpression a1 = LogicalExpression.read("goo:e");
final LogicalExpression r1 = ApplyAndSimplify.of(e1, a1);
final LogicalExpression expected1 = LogicalExpression
.read("(lambda $0:e (boo:<e,<e,t>> goo:e $0))");
assertTrue(String.format("%s != %s", r1, expected1),
expected1.equals(r1));
}
示例14: test4
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test4() {
final LogicalExpression e1 = LogicalExpression
.read("(boo:<e,<e,t>> go:e)");
final LogicalExpression a1 = LogicalExpression.read("bo:e");
final LogicalExpression r1 = ApplyAndSimplify.of(e1, a1);
final LogicalExpression expected1 = LogicalExpression
.read("(boo:<e,<e,t>> go:e bo:e)");
assertTrue(String.format("%s != %s", r1, expected1),
expected1.equals(r1));
}
示例15: test5
import edu.cornell.cs.nlp.spf.mr.lambda.visitor.ApplyAndSimplify; //导入依赖的package包/类
@Test
public void test5() {
final LogicalExpression e1 = LogicalExpression
.read("(and:<t*,t> go:t)");
final LogicalExpression a1 = LogicalExpression.read("do:t");
final LogicalExpression r1 = ApplyAndSimplify.of(e1, a1);
final LogicalExpression expected1 = LogicalExpression
.read("(and:<t*,t> go:t do:t)");
assertTrue(String.format("%s != %s", r1, expected1),
expected1.equals(r1));
}