Ontology-based design of surveillance systems with NUT

This paper covers ontology-based programming, using the NUT language as a notation for the semantics of domain knowledge. A specification method and problem-solving techniques are demonstrated on an example of modeling and management of a radar surveillance system in order to find the optimal disposition and configuration of equipment. The structural synthesis of programs - a technique that is essential for domain knowledge handling, is briefly discussed.