Generalizing Precisiated Natural Language: A Formal Logic as a Precisiation Language.
Takéhiko NakamaEnrique H. RuspiniPublished in: EUSFLAT Conf. (2013)
Keyphrases
- formal logic
- natural language
- predicate logic
- language processing
- description logics
- natural language processing
- machine learning
- general purpose
- formal methods
- artificial intelligence
- knowledge representation
- design theory
- programming language
- logic programming
- information extraction
- computer science
- language learning
- information systems
- data mining