Abstract: Techniques managing syntactic and semantic ambiguity allow two different kinds of processing and representation of ambiguity to work together. The techniques allow linear logic semantic assembly to work with packed functional (f) structures and provide for contexted version of linear logic where semantic contributions are read from the packed functional (f) structure and pre-pended with the contents of the functional (f) structure to which they pertain. Linear logic reasoning may then be performed in the contexted linear logic to derive possible meanings from the contexted contributions from the packed functional (f) structure. Deductions in the contexted linear logic do not require fully expanding each syntactic parse. Techniques applying skeleton/modifier techniques to contexted reasoning are provided by creating a contexted modifier applicable only for certain syntactic readings.

Abstract: Techniques managing syntactic and semantic ambiguity allow two different kinds of processing and representation of ambiguity to work together. The techniques allow linear logic semantic assembly to work with packed functional (f) structures and provide for contexted version of linear logic where semantic contributions are read from the packed functional (f) structure and pre-pended with the contents of the functional (f) structure to which they pertain. Linear logic reasoning may then be performed in the contexted linear logic to derive possible meanings from the contexted contributions from the packed functional (f) structure. Deductions in the contexted linear logic do not require fully expanding each syntactic parse. Techniques applying skeleton/modifier techniques to contexted reasoning are provided by creating a contexted modifier applicable only for certain syntactic readings.