Formalizing Informal Logic and Natural Language Deductivism.
Gopal GuptaSarat VarnasiKinjal BasuZhuo ChenElmer SalazarFarhad ShakerinSerdar ErbaturFang LiHuaduo WangJoaquín AriasBrendan HallKevin DriscollPublished in: ICLP Workshops (2021)
Keyphrases
- natural language
- formal language
- knowledge representation
- machine learning
- classical logic
- logical formulas
- predicate logic
- natural language interface
- information extraction
- logic programming
- semantic analysis
- real time
- natural language understanding
- semantic representation
- language processing
- modal logic
- machine translation
- database
- partial order
- natural language processing
- computational properties
- semantic interpretation
- expert systems
- website
- artificial intelligence
- epistemic logic
- deontic logic
- logic synthesis