Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.
Yaroslav ShramkoPublished in: Arch. Math. Log. (2022)
Keyphrases
- reasoning systems
- knowledge base
- expert systems
- reason maintenance
- management system
- knowledge representation systems
- distributed systems
- intelligent systems
- learning systems
- building blocks
- logical framework
- reasoning process
- finite state machines
- retrieval systems
- data sets
- computer systems
- fuzzy logic
- data mining