Annotated Logic with Rough Double Stone Algebraic Interpretation.
Yotaro NakayamaSeiki AkamaJair Minoro AbeTetsuya MuraiPublished in: FUZZ (2023)
Keyphrases
- set theory
- algebraic structure
- computer algebra
- rough sets
- manually annotated
- algebraic geometry
- classical logic
- high level
- rough set theory
- image interpretation
- multi valued
- asynchronous circuits
- set theoretic
- semantic interpretation
- epistemic logic
- abductive reasoning
- mathematical theory
- logical framework
- inference process
- data sets
- modal logic
- higher order
- expert systems
- artificial intelligence
- genetic algorithm
- machine learning