Verifying and Validating Specification of Knowledge-Based Systems.
Luis TorresClaudia S. FrydmanPublished in: ECAI (1998)
Keyphrases
- knowledge based systems
- formal methods
- expert systems
- knowledge acquisition
- knowledge base
- knowledge representation
- knowledge engineering
- knowledge sources
- artificial intelligence
- formal specification
- model checking
- production rules
- knowledge structures
- blackboard architecture
- inference engine
- rule based systems
- machine learning
- civil engineering
- software requirements
- deep knowledge
- knowledge acquisition tools
- conceptual model
- neural network
- knowledge discovery
- domain knowledge
- learning process
- real world