Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation

In the first decades of AI the logical point was dominating in many ways. On the other hand, it was clear that questions connected with common sense have been difficult to grasp by logic and hence alternative techniques (like soft computing) have been developed. In some sense, truth was no longer achieved but approximated. Here we propose to work on rigorous, systematic and uniform mathematical foundations for the various approaches which have been or are currently being developed in this area.