пользователей: 21204
предметов: 10449
вопросов: 177330
Конспект-online
зарегистрируйся или войди через vk.com чтобы оставить конспект.
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

Временные логики.

Термин временная логика широко употребляется как покрывающий все подходы к представлению временной информации в рамках логической системы, и более узко - ссылаясь конкретно на подход на основе модальной логики, введ¼нный около 1960 года Артуром Приором под именем Tense logic и впоследствии развитый логиками и информатиками.

Применения временной логики включают её использование в качестве формализма для прояснения философских вопросов касательно времени, в качестве логического каркаса , внутри которого определяется семантика временных высказываний естественного языка, в качестве языка для кодирования временного знания в области искусственного интеллекта и в качестве инструмента для работы с временными аспектами выполнения компьютерных программ.

http://philosophy.ru/library/katr/referat/ref_temporal_logic_kashev.pdf

 


23.01.2014; 14:47
хиты: 0
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2016. All Rights Reserved. помощь