A computer algebra approach to verification and deduction in many-valued knowledge systems.
Luis M. LaitaEugenio Roanes-LozanoLuis de LedesmaJosé-Antonio AlonsoPublished in: Soft Comput. (1999)
Keyphrases
- computer algebra
- learning systems
- knowledge based systems
- expert systems
- computer algebra systems
- theorem prover
- domain knowledge
- knowledge representation
- distributed systems
- knowledge sources
- retrieval systems
- knowledge acquisition
- decision making
- design process
- machine learning
- knowledge sharing
- intelligent systems
- inference rules
- human users
- knowledge extraction
- asynchronous circuits
- knowledge management systems
- verification method
- metadata