Describir: Electric Power System Operation Decision Support by Expert System Built with Paraconsistent Annotated Logic