Conceptual geometric reasoning in artificial intelligence and engineering