Для понимания основ теории вероятностей полезно ознакомиться с понятием атомарного события. Атомарное событие представляет собой полную спецификацию состояния мира, в отношении которого знания агента являются неопределенными. Оно может рассматриваться как некоторое присваивание конкретных значений всем переменным, из которых состоит этот мир. Например, если мир пациента состоит только из булевых переменных Cavity и Toothache, то существует всего лишь четыре разных атомарных события; одним из таких событий является высказывание Атомарные события имеют некоторые важные свойства, описанные ниже. • Они являются взаимно исключающими — фактически может иметь место, самое большее, одно такое событие. Например, не могут одновременно происходить такие события, как • Множество всех возможных атомарных событий является исчерпывающим — должно иметь место по меньшей мере одно из этих событий. Это означает, что дизъюнкция всех атомарных событий логически эквивалентна true. • Из любого конкретного атомарного события следует истинность или ложность каждого высказывания, либо простого, либо сложного. В этом можно убедиться, используя стандартные определения семантики для логических связок (см. главу 7). Например, из атомарного события следует истинность высказывания cavity и ложность высказывания • Любое высказывание логически эквивалентно дизъюнкции всех атомарных событий, из которых следует истинность этого высказывания. Например, высказывание cavity эквивалентно дизъюнкции атомарных событий
|