Implicit Skolemization: efficient reference to dependent entities

摘要

A direct representation of functional reference is proposed, such as occurs in “All graduates received a job offer (at the job fair); all of them accepted their offer”. The approach makes use of a variant of dynamic predicate logic wherein the values of existentially quantified variables may be functions. The approach also appears helpful with respect to some other problems in semantic representation, in particular bridging anaphora and generic or frame/script-like knowledge.