Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction.
Marie DuzíMichal FaitPublished in: ICAART (1) (2020)
Keyphrases
- natural deduction
- intuitionistic logic
- natural language
- cut elimination
- proof theoretic
- theorem prover
- semantic interpretation
- deduction rules
- semantic representation
- sequent calculus
- inference rules
- logical rules
- natural language processing
- default rules
- theorem proving
- conceptual graphs
- active rules
- logic programming
- transformation rules
- linear logic
- semantic analysis
- machine learning
- derivation rules
- formal language
- production rules
- rule language
- default reasoning
- association rules
- expert systems
- logical framework
- automated reasoning
- proof theory
- object oriented
- knowledge representation
- artificial intelligence