О логико-символьном интерфейседоклад на конференции