Также хотелось бы увидеть, как выглядит стандартная задача, например, про обедающих философов. Она должна быть интуитивно понятна, т.к. это интеллектуально-управляемое ПО. Ну и доказуема в смысле корректности.