A logic-algebraic tool for reasoning with Knowledge-Based Systems.
José A. Alonso-JiménezGonzalo A. Aranda-CorralJoaquín Borrego-DíazMaría Magdalena Fernández-LebrónMaría-José Hidalgo-DobladoPublished in: CoRR (2018)
Keyphrases
- knowledge based systems
- knowledge engineers
- knowledge base
- knowledge representation
- knowledge acquisition
- knowledge acquisition tools
- expert systems
- production rules
- automated reasoning
- inference engine
- inconsistent knowledge
- knowledge structures
- rule based systems
- logical framework
- deductive reasoning
- artificial intelligence
- order of magnitude reasoning
- knowledge engineering
- intuitionistic logic
- logic programming
- proof theory
- deep knowledge
- computational properties
- knowledge representation scheme
- modal logic
- civil engineering
- domain experts
- legal reasoning
- representing knowledge
- fuzzy logic
- computer algebra
- uncertain information
- formal methods
- artificial neural networks
- inference rules
- linguistic summarization