Brainmaker

Nanos gigantium humeris insidentes!

生成规则

  • July 4, 2010 10:29 pm
  • 规则1:一个VB对应一个prediate;但是predicate数量可能多于VB数量
  • 规则2:predicate所带两个参数,在原句子中,一个位于谓词前(在parse tree的上层),一个位于谓词后面(下层)
  • 规则3:定义--VBZ(且为are is)带NP是定义标志之一
  • 规则4: VBP 直接带PP,如果PP下第一个是IN,那么 VBP IN 能合成一个predicate
  • 规则5:名词性从句、定语从句、或同位语、定语,本身都是一个fact,起到修饰先前主语用,和主要的fact的关系为and关系,用来限定; 同位语,定语的predicate就是那个介词
  • 规则6: 状语从句,都可用prolog的:-来表示,或者是lisp的implies

Rules for NL to FOL

  • July 4, 2010 8:56 pm
  • 规则1:一个VB对应一个prediate;但是predicate数量可能多于VB数量
  • 规则2:predicate所带两个参数,在原句子中,一个位于谓词前(在parse tree的上层),一个位于谓词后面(下层)
  • 规则3:定义--VBZ(且为are is)带NP是定义标志之一
  • 规则4: VBP 直接带PP,如果PP下第一个是IN,那么 VBP IN 能合成一个predicate
  • 规则5:名词性从句、定语从句、或同位语、定语,本身都是一个fact,起到修饰先前主语用,和主要的fact的关系为and关系,用来限定; 同位语,定语的predicate就是那个介词
  • 规则6: 状语从句,都可用prolog的:-来表示,或者是lisp的implies

自然语言向一阶逻辑转换

  • July 4, 2010 3:52 pm

简单句:一个fact

名词性从句、定语从句:reference link,指代作用

状语从句:一个rule

Common Logic Controlled English

  • July 4, 2010 1:51 am

http://www.jfsowa.com/clce/specs.htm

Common Logic Controlled English

by sowa

想法

  • July 4, 2010 1:23 am
  • 先将基本句型转换出对应的一阶逻辑
    • http://www.24en.com/grammar/
  • 然后从parsing tree上找出模型

出错

  • July 3, 2010 4:35 pm

It has been domesticated by humans for a long time.

Dogs are used by humans for many different things.

这两句无法得到类似的结构

parser

  • July 3, 2010 4:26 pm

The parser englishFactored.ser.gz outbeat englishPCFG in the following sentence

It has been domesticated by humans for a long time.

tense and voice of predicate

  • July 3, 2010 2:43 pm

方案一:

by default it is simple present tense

complete form

(predicate subject object tense voice complement)

It has been domesticated by humans for a long time

修正:

LISP

It has domesticated humans for a long time
LISP

方案二:

by default it is simple present tense

complete form

(predicate subject object tense voice complement)

It has been domesticated by humans for a long time

修正:

LISP

Human has domesticated it for a long time

Rule:

because

  • July 3, 2010 2:29 pm

Cars are different from motorcycles because they have four wheels

Car

  • July 3, 2010 1:48 pm

Link to SimpleWikiItem

A car (also called an automobile) is a machine used for travel (a vehicle). Cars are different from motorcycles, and bicycles because they have four wheels.

修正:

LISP语言: