To investigate the representation of natural language using linear logic.
The relationship between planning and natural language parsing and production has been examined by Steedman. This uses a hybrid of different logical notations, including the lolli connective from linear logic for the treatment of the frame problem. Other connectives in linear logic provide a natural extension to the traditional notion of plans as discussed by Dixon and Smaill. These could be used to represent natural language sentences such as:
"if I make some, would you like tea or coffee?"
(make(me, tea) -o like(you, tea)) [+] (make(me, coffee) -o like(you, coffee))
where [+] is the linear logic or. Other interesting examples include the use of the "with" and "tensor" connectives.
The goal of this project is to examine, following Steedman's approach, the representation of natural language using linear logic. It is hoped that this might also lead to a simplification of the mixture of logical formalisms currently used.
The existing planner for intuitionistic linear logic, developed by Dixon and Smaill, will be extended to allow planning of dialogue with the extra connectives. This will require developing special purpose search control machinery. It will be used to help develop and test the linear logic representations of natural language.
The ICS course