Скачать презентацию P p 1 schema for P x is P Скачать презентацию P p 1 schema for P x is P

3559a4fd930a5f432dc0cc4381820bcb.ppt

  • Количество слайдов: 23

P: p 1 schema for P(x) is P: *x r P: p 1 r P: p 1 schema for P(x) is P: *x r P: p 1 r Q Q

schema for P(x) is P: *x r P: p 1 P: *x P: p schema for P(x) is P: *x r P: p 1 P: *x P: p 1 Q P: p 1 r Q r(P: *x, Q) (insertion) r(P: p 1, Q) (coreferent join) P: p 1 r(P: p 1, Q) (deiteration) P: p 1 r(P: p 1, Q) (double negation) P: p 1 r Q P: p 1 QED

person: joe agnt buy: b 01 (“what is the instrument of the buy? ” person: joe agnt buy: b 01 (“what is the instrument of the buy? ” Ans: $10) inst ? ? obj necktie

schema for buy(x) is person agnt poss schema for necktie(x) is necktie: *x buy: schema for buy(x) is person agnt poss schema for necktie(x) is necktie: *x buy: *x obj physobj inst value worn-by $10 money: @? person Query: “What is the instrument of the buy? ” (Ans: $10) Query: inst(b 1, X)? Ans: $10! person: joe agnt poss buy: b 01 inst money: $10 money: @? ? obj value necktie worn-by person

schema for person(x) is head schema for head(x) is schema for buy(x) is schema schema for person(x) is head schema for head(x) is schema for buy(x) is schema for money(x)part buy: *x is person agnt obj round physobj shape money: *x wallet carry-in person: *x poss head inst has hair value round part money: @? shape head body Query: inst(b 1, X)? person: joe part body hair has part agnt poss buy: b 01 inst money: @? ? obj necktie value carry-in wallet

schema for buy(x) is person agnt buy: *x obj inst poss physobj value money: schema for buy(x) is person agnt buy: *x obj inst poss physobj value money: @? schema for buy(x) is agnt person poss *x. inst buy: *x inst *x. obj. value obj physobj value ?

schema for buy(x) is person agnt buy: *b physobj inst poss *b. inst obj schema for buy(x) is person agnt buy: *b physobj inst poss *b. inst obj *b. obj. value Query: “What is the instrument of the buy? ” (Ans: $10) Query: inst(b 1, X)? person: joe agnt buy: b 1 inst b 1. obj. value ? obj necktie value ?

schema for necktie(x) is person worn-by necktie: *x value $10 Query: “What is the schema for necktie(x) is person worn-by necktie: *x value $10 Query: “What is the instrument of the buy? ” (Ans: $10) Query: inst(b 1, X)? Ans: $10! person: joe buy: b 1 obj agnt necktie inst b 1. obj. value $10 ?

adhesive: a 1 joins wood type nail(x) is adhesive: *x nail: a 1 joins adhesive: a 1 joins wood type nail(x) is adhesive: *x nail: a 1 joins wood

schema for assemble(x) is physobj assemble: *x inst *x. adhesive. tool adhesive *x. obj. schema for assemble(x) is physobj assemble: *x inst *x. adhesive. tool adhesive *x. obj. matr joins adhesive Query: “What instrument assembles a table? ” (Answer: “a hammer”) Query: inst(a 1, X)? table obj assemble: a 1 inst ? a 1. adhesive. tool

schema for assemble(x) is physobj assemble: *x inst *x. adhesive. tool adhesive *x. obj. schema for assemble(x) is physobj assemble: *x inst *x. adhesive. tool adhesive *x. obj. matr joins adhesive Query: “What instrument assembles a table? ” (Answer: “a hammer”) Query: inst(a 1, X)? table obj assemble: a 1 inst a 1. adhesive. tool ? adhesive ?

schema for nail(x) is wood joins nail: *x tool hammer made-of metal Query: “What schema for nail(x) is wood joins nail: *x tool hammer made-of metal Query: “What instrument assembles a table? ” (Answer: “a hammer”) Query: inst(a 1, X)? Ans: hammer! table obj assemble: a 1 inst a 1. adhesive. tool ? adhesive ? nail tool hammer ?

type nail(x) is wood joins adhesive: *x Query: “What instrument assembles a table? ” type nail(x) is wood joins adhesive: *x Query: “What instrument assembles a table? ” (Answer: “a hammer”) Query: inst(a 1, X)? Subquery: joins(adh 1, wood)? table obj assemble: a 1 inst a 1. adhesive. tool ? adhesive ? joins adhesive ? tool ?

schema for assemble(x) is physobj assemble: *x inst *x. adhesive. tool adhesive *x. obj. schema for assemble(x) is physobj assemble: *x inst *x. adhesive. tool adhesive *x. obj. matr joins adhesive Query: “What instrument assembles a table? ” (Answer: “a hammer”) Query: inst(a 1, X)? Subquery: joins(adh 1, wood)? table obj assemble: a 1 inst ? a 1. adhesive. tool adhesive a 1. obj. matr ? joins adhesive ? tool ?

schema for table(x) is table: *x matr wood purpose support legs 4 Query: “What schema for table(x) is table: *x matr wood purpose support legs 4 Query: “What instrument assembles a table? ” (Answer: “a hammer”) Query: inst(a 1, X)? Subquery: joins(adh 1, wood)? table obj assemble: a 1 inst ? a 1. adhesive. tool matr wood ? a 1. obj. matr ? adhesive joins adhesive ? tool ?

type nail(x) is wood joins adhesive: *x Query: “What instrument assembles a table? ” type nail(x) is wood joins adhesive: *x Query: “What instrument assembles a table? ” (Answer: “a hammer”) Query: inst(a 1, X)? Subquery: joins(adh 1, wood)! table obj assemble: a 1 inst ? a 1. adhesive. tool matr wood a 1. obj. matr ? adhesive joins adhesive ? nail tool ?

Query: “What instrument assembles a table? ” (Answer: “a hammer”) Query: inst(a 1, X)? Query: “What instrument assembles a table? ” (Answer: “a hammer”) Query: inst(a 1, X)? table obj matr wood a 1. obj. matr ? assemble: a 1 inst ? a 1. adhesive. tool ? adhesive joins adhesive ? nail