David g. stallard

A new method is presented for simplifying the logical expressions used to represent utterance meaning in a natural language system. 1 This simplification method utilizes the encoded knowledge and the limited inference-making capability of a tax onomic knowledge representation system to reduce the constituent structure of logical expressions.

6p bungio_1 03-05-2013 28 1   Download