Logical models for diagnosis of continuous processes

The paper is concerned with design of logical models for solution of diagnosis problems for processes described in terms of continuous features whose values are a set of points on the stretch $[a, b]$. A class of logical models is isolated and methods of their determination are described.