Keyphrases
- formal semantics
- fuzzy logic
- power system
- semantic relationships
- update semantics
- logical language
- real world
- logic programming
- fault diagnosis
- partial discharge
- database
- proof theory
- nonmonotonic logics
- default reasoning
- semantic information
- evolutionary algorithm
- decision making
- information systems
- neural network
- databases
- data sets