Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции
One way to determine the intervals in hybrid temporal logic. / Караваев, Э.Ф.
Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML-2014). Философия, логика, лингвистика: аспекты взаимодействия 2014. Труды Международной конференции. С.-Петербург; 21-25 апреля 2014. СПб: ВВМ, 2014. С.111-115. Издательство «ВВМ», 2014. стр. 111-115.Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции
}
TY - GEN
T1 - One way to determine the intervals in hybrid temporal logic
AU - Караваев, Э.Ф.
PY - 2014
Y1 - 2014
N2 - Обсуждаются возможности усовершенствования средств гибридной временной логики посредством введения временных интервалов. В процедуре построения интервалов автор разрабатывает идеи А.А.Маркова, высказанные им в статье 1932 г. Таким образом "прайоровская парадигма" (временная квалификация суждений и идея гибридной логики) дополняется построением временной метрики, основанной на отношении "раньше, чем". Представляется, что предлагаемое усовершенствование позволит, в частности, улучшить подход к моделированию планирования и стратегического менеджмента.
AB - Обсуждаются возможности усовершенствования средств гибридной временной логики посредством введения временных интервалов. В процедуре построения интервалов автор разрабатывает идеи А.А.Маркова, высказанные им в статье 1932 г. Таким образом "прайоровская парадигма" (временная квалификация суждений и идея гибридной логики) дополняется построением временной метрики, основанной на отношении "раньше, чем". Представляется, что предлагаемое усовершенствование позволит, в частности, улучшить подход к моделированию планирования и стратегического менеджмента.
KW - temporal logic
KW - hybrid logic
KW - satisfaction judgment
KW - normal-interval
KW - discreteness of time
KW - tree temporal structure
KW - strategy
KW - planning
KW - management.
M3 - Conference contribution
SN - ISBN 978-5-9651-0829-9
SP - 111
EP - 115
BT - Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML-2014). Философия, логика, лингвистика: аспекты взаимодействия 2014. Труды Международной конференции. С.-Петербург; 21-25 апреля 2014. СПб: ВВМ, 2014. С.111-115
PB - Издательство «ВВМ»
ER -
ID: 4735001