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: J. Log. Algebraic Methods Program. (2018)
Keyphrases
- knowledge based systems
- knowledge engineers
- knowledge base
- knowledge acquisition tools
- knowledge representation
- knowledge acquisition
- expert systems
- automated reasoning
- inference engine
- inconsistent knowledge
- production rules
- computational properties
- deductive reasoning
- knowledge structures
- logic programming
- rule based systems
- artificial intelligence
- proof theory
- knowledge engineering
- computer algebra
- order of magnitude reasoning
- logical framework
- knowledge representation scheme
- civil engineering
- modal logic
- linguistic summarization
- decision making