(Under construction)

In 08 I together with a group implemented a natural langugage program using the automated reasoning project for filtering out recipes in a database. The program acted as an advisor for the user made to give advice about a suitable dish to cook. Interaction was done through natural language in the form English text. Using a grammar and a solver the application would find matching recipes in a database consistent with the users likes and dislikes. To process the text chart parse was used together with a semantic and pragmatic interpretation.

Report and more details to be added.