2. в базу знаний включаются состояния дел в предметной области, отнесенные либо к дискретным временным тактам наблюдения, либо к произвольным моментам, в которых происходят какие-либо изменения; в базе знаний хранится вся история предметной области и при этом сопоставление во времени любых состояний сводится к арифметическому сравнению их временных параметров;
3. база знаний фиксирует универсальные законы, указывающие, что и в какой последовательности будет происходить при данных начальных условиях.
В выражении «температура увеличивается» термин «увеличивается» может быть интерпретирован не как признак признака, а как предикат первого порядка.
С учетом того, что любой признак мы представляем схемой P(x, t, n), то утверждения об изменении (увеличение, уменьшение) значения признака в интервале (t1, t2) могут быть представлены в виде следующей схемы:
$n1 $n2 (P(x, t1, n1) & P(x, t2, n2) & q(n1, n2)), t2 >t1. (2.15)
Для термина «изменения» вспомогательный предикат q в этой формуле должен конкретизироваться отношением ¹, а для термина «увеличение/ уменьшение» - отношениями >/ <. Ясно также, что полная конструкция с этими терминами предполагает упоминание признака P объекта X и временного интервала (t1, t2).
Переход к логической записи позволяет обнаружить два варианта интерпретации этих терминов:
— слабую (2.15);
— сильную.
Слабая отвечает словесной формулировке: «В промежутке времени (t1, t2) температура объекта X увеличилась; в конце временного интервала (t1, t2) температура объекта X была больше, чем в его начале».
Сильная подразумевает, что изменение происходит в любой части выделенного временного интервала (t1, t2).
"t/ "t// $n/$n//(P(x, t/, n/) & P(x, t//, n//) & (t1£t/£t2) & (t1£t//£t2) & (t/<t//) ® q(n/,n//))
Смысл формулы q(n/,n//) аналогичен выше описанному. Смысл всей формулы: «в интервале (t1, t2) температура все время увеличивалась/ уменьшалась, изменялась».
В других контекстах термины «увеличение/ уменьшение» могут оказаться избыточными.
Пример, температура увеличилась за 1час с 200 до 500 градусов:
$t1 $t2 (P(x, t1, 200) & P(x, t2, 500) & (t2 – t1 = 1)).
Пример, через 1час температура упала до 500 градусов:
$n1 $t1 $t2 (P(x, t1, n1) & P(x, t2, 500) & (t2 – t1 = 1) & (n1 > 500)).
Пример, модель М1 отличается от модели М2 по весу:
$n1 $n2 $x $y (устройство(x) & марка(x, М1) & вес (x, n1)) & (устройство(y) & марка(y, М2) & вес (y, n2)) & (n1 ¹ n2)
Выражение «состоит из» и близкое ему по смыслу «представляет собой» часто используются для того, чтобы описать структуру некоторого объекта (статическую и динамическую).
Пример, солнечная система состоит из центрального светила и 10 планет, вращающихся вокруг него.
Общий вид такого описания:
"x $y (A(x, t) « состоит из(x, y, t) & S(y, t)), где S(y, t) означает описание совокупности y, как статической или динамической системы пространственно организованных элементов.
"x $y "t (cc(x, t) « состоит из(x, y, t) & $z0 $z1 … $z9 "z (((zÎy) —> (z=z0 Ú z=z1 Ú … Ú z=z9)) & солнце(z0) & меркурий(z1) & венера(z2) & … & плутон(z9) & $n0 координаты(z0, t, n0) & (n0 = 0) & $nk координаты(zk, t, nk) & (rk = ak) & (Qk = bk) & (jk = ck + dkt)))),
где
сс – солнечная система; названия солнца и девяти планет символизируют не только
имя, но и все существенные характеристики соответствующего объекта, например:
марс(z4) —> имя(z4,
Марс) & масса(z4, 6,4*1013)
& период вращения вокруг оси(z4,
24,5) & средний диаметр(z4, 6776);
n - координатный вектор в сферической системе координат n = (r, Q, j); n = 0 — r=0, Q=0, j=0;
$n - кортеж из трех кванторов;
ak, bk, ck, dk – числа, определяющие радиус орбиты, угол наклона орбиты, положение на орбите, период обращения на орбите.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.