Поиск

NEXT-семантика для императивных действий агентов

... that was carried out supported the view that NEXT-semantics as well as BTS can be used to model the deontic effects of imperatives (such as commands) produced by rational agents, and that NEXT-semantics has important advantages as compared to BTS when it is used in modeling imperative agency. The basic agent formula for describing imperatives via their deontic effect is proposed, and the refraining ability of an agent from fulfilling a command is investigated.