Интернет магазин китайских планшетных компьютеров |
|
Компьютеры - Темпоральная логика23 января 2011Оглавление: 1. Темпоральная логика 2. Темпоральные операторы 3. Приложения Темпоральная логика в логике — это логика, учитывающая причинно-следственные связи в условиях времени. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале. Она была разработана в 1960-х Артуром Приором на основе модальной логики и получила дальнейшее развитие в информатике благодаря трудам лауреата Тьюринговской премии Амира Пнуэли. Есть два подхода темпоральной логики, основанные на принципах здравого смысла и диалектики: «после этого» означает «по причине этого», либо «после этого» означает «позже» в хронологическом смысле. ПримерРассмотрим утверждение: "Я голоден". Хотя смысл выражения не меняется со временем, его истинность может измениться. Утверждение в конкретный момент времени может быть истинным, либо ложным, но не одновременно. В противоположность нетемпоральным логикам, где значения утверждений не меняются со временем, в темпоральной логике значение зависит от того, когда оно проверяется. Темпоральная логика позволяет выразить утверждения типа "Я всегда голоден", "Я иногда голоден" или "Я голоден, пока я не поем". Просмотров: 4132
|