The verification of temporal knowledge based systems - a case-study on power-systems.
Jorge SantosZita A. ValeCarlos RamosCarlos SerôdioPublished in: ICINCO-ICSO (2007)
Keyphrases
- knowledge based systems
- power system
- formal methods
- expert systems
- distribution systems
- knowledge base
- knowledge acquisition
- power generation
- power grid
- temporal information
- computational intelligence
- economic dispatch
- knowledge representation
- transmission line
- smart grid
- artificial intelligence
- electric power systems
- model checking
- temporal knowledge
- deep knowledge
- neural network
- active power
- economic load dispatch
- evolutionary computation
- medical knowledge
- cost effective
- particle swarm optimization
- short term load forecasting
- power quality