<< Prev | - Up - | Next >> |
Using DL, we can now write a feature-structure grammar which associates a DL description with every grammatical constituent. First the lexicon:
Every => (syntax: det,
semantics:(desc: [X0:apply(X1,X2) & X1:apply(X3,X4) &
X3:every & X4:R & X2:lambda & X Dom X0],
root_node: X0,
binder_node:X2,
top:X
restrictor:R))
yogi => (syntax: noun,
semantics:man)
loves => (syntax:verb
semantics:(desc: [X0:apply(X1,X2) & X1:apply(X3,X4) &
X3:has & X4:var & X2:var]
root_node: X0
object_node:X4
subject_node:X2))
The feature path semantics:desc
is assigned the DL formula describing the semantic contribution of an item. The features root_node, binder_node,top,restrictor,object_node,subject_node
are used for co-indexing by the grammar rules as follows:
% NP -> Det Noun
(syntax:np
semantics:(desc :D
root_node :R
binder_node:B
top :T))
=>
(syntax:det
semantics:(desc:D root_node:R binder_node:B top:T restrictor:R))
(syntax:noun semantics:R)
% VP -> Verb NP
(syntax:vp
semantics:(desc :{Append D1 {Append D2 [B dom R B lambda O]}}
subject_node:S
root_node :R
top :T))
=>
(syntax:verb
semantics:(desc :D1
root_node :R
subject_node:S
object_node :O))
(syntax:np
semantics:(desc :D2
binder_node :B
top :T))
% S -> NP VP
(syntax :s
semantics:(desc:{Append D1 {Append D2 [B dom R B lambda S]}}))
=>
(syntax:np
semantics:(root_node :_
desc :D2
binder_node:B
top :T))
(syntax :vp
semantics:(desc :D1
root_node :R
subject_node:S
top :T))
<< Prev | - Up - | Next >> |