Simultaneous training of fuzziness generator and inference rules in the freehand curve identifier FSCI.
Motoaki OgumaHiroyasu TakikawaSato SagaPublished in: Systems and Computers in Japan (2007)
Keyphrases
- inference rules
- modal logic
- logical framework
- theorem proving
- first order logic
- theorem prover
- logic programming language
- horn clauses
- conditional probabilities
- sequent calculus
- probability theory
- training examples
- artificial intelligence
- supervised learning
- prior knowledge
- support vector
- natural deduction
- data sets