Simplification Rules In Artificial Intelligence