This is a natural language understanding system that can interface with a ‘smart’ refrigerator and allow users to text queries or instructions to their fridge. If the message is a declarative sentence, the fridge agrees or disagrees according to its contents. If the message is a question, the fridge answers, according to its contents.
Its a First-Order Logic based natural language understanding system that can create exact semantic representations for complex linguistic input, and respond appropriately,