System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities.
Alexander V. LyaletskiKonstantin VerchinineAnatoli DegtyarevAndrey PaskevichPublished in: Intelligent Information Systems (2002)
Keyphrases
- automated deduction
- theorem proving
- theorem prover
- inference rules
- logic programming
- natural language processing
- object oriented
- abductive inference
- natural language
- higher level
- deductive databases
- probabilistic model
- database
- case study
- information systems
- artificial intelligence
- neural network
- hypothesis formation
- computational complexity
- training data
- first order logic
- computer vision
- explanation based learning
- linguistic features
- deductive reasoning
- real time