Transformation of WordNet Glosses into Logic Forms

This paper presents a methodand implementation resuits for the transformation of WordNetglosses into logic forms. Theglosses, currently expressed in English are a rich source of worldknowledge.Logicforms are useful for logic proofs, inference, and manyother AIapplications. Wedemonstratetheir applicability to a Question Answeringsystem.

• Type: Conference
• Year: 2001
• Where: FLAIRS
• Authors: Dan I. Moldovan, Vasile Rus
• Keywords: Artificial Intelligence, FLAIRS 2001, Logic Forms, Logic Proofs, Methodand Implementation Resuits