HomeContents: |
## 7.4.4 Formal parameters## ValenceA lambda expression has an associated integer, ## Formal parametersAn Each formal parameter is a concept with a type and a referent. The type of the formal parameter is the type of the concept whose referent has been replaced with a . ## ExampleFor example, the following lambda expression can be used to define a relation, GoingToAalborg: relation GoingToAalborg(*x) is [Person: ?x]<-(Agnt)<-[Go]->(Dest)->[City: Aalborg] ## Defining label, bound labelThis definition has two parts: - The
*name-part*("relation GoingToAalborg(*x) is"), - The
*definition-part*(the conceptual graph).
Note that in the name-part, the formal parameter is denoted by
'*x', while in the definition-part, the formal parameter is denoted by
'?x'. The label '*x' is called the This notation is also used with coreference links. ## UsageOne might use this relation as follows: [Professor: Alfred]<-(GoingToAalborg) "Alfred the professor is going to Aalborg" Here, the concept [Professor: Alfred] is the The relation GoingToAalborg can be expanded to its defining lambda expression: [Professor: Alfred]<-([Person: ?x]<-(Agnt)<-[Go]->(Dest)- ->[City: Aalborg]) "Alfred the professor is going to Aalborg" The formal parameter ("[Professor: Alfred]") can then be substituted for the lambda to which it refers: [Professor: Alfred]<-(Agnt)<-[Go]->(Dest)->[City: Aalborg] "Alfred is going to Aalborg" Note that "Professor", which is the type of the concept of the
actual parameter, is a Prev: 7.4.3 ExampleUp: 7.4 Lambda expressions (optional)Next: 7.4.5 Signature |