Four-Valued Interpretation for Paraconsistent Annotated Evidential Logic.
Yotaro NakayamaSeiki AkamaJair Minoro AbeTetsuya MuraiPublished in: KES-IDT (2022)
Keyphrases
- valued semantics
- logic programming
- valued logic
- classical logic
- truth values
- consistent query answering
- multi valued
- default logic
- logic programs
- semantic interpretation
- inference rules
- nonmonotonic reasoning
- modal logic
- belief functions
- knowledge representation
- possibilistic logic
- propositional logic
- logical implication
- annotated corpus
- fuzzy logic
- logical framework
- fuzzy sets
- image interpretation
- automated reasoning
- real time
- defeasible logic
- dl lite
- t norm
- bayesian networks
- natural deduction
- proof theory
- knowledge base
- first order logic
- search engine
- neural network