Contributions to a practice-relevant AI theory
Harold Boley · ACM SIGART Bulletin · 1977
The general procedure of my current work is to formalize complex practical AI problems in a non-restrictive way such that they become solvable by means of well-known or new formal methods (e.g. from theoretical computer science). The results thereby obtained are regarded as contributions to a practice-relevant AI theory, whose development seems to be a prerequisite to a substantial progress of present AI.