Искусственный интеллект

В любой области знаний (среде) объекты имеют длину, вес, цену или определяются какими-либо другими величинами, используемыми для характеристики их свойств, называемых мерами. Для того чтобы указать тип меры, используют одноместные предикаты, например длина, вес, цена, аргументами которых являются измеряемые объекты. Если объект L имеет меру длина, то предикат длина (L) истинен. Если объект не имеет этой меры, то предикат ложен. С мерой связано ее значение, как правило, числовое, называемое величиной меры и представляемое переменной величина меры. Для того чтобы можно было определять численное значение меры, используют объекты, называемые измерителями меры. Например, если требуется измерять длину объекта L, то измерителем длины может быть объект Рулетка. Для того чтобы выразить числовое значение меры, используют .объектную константу, представляющую используемую единицу измерения.