Sentence examples for action calculus from inspiring English sources

In this paper, we present a unifying action calculus, which encompasses (well-defined classes of) all of the aforementioned formalisms.

Our abstract solution is realized on the basis of a particular action calculus, namely, the fluent calculus.

In particular, our approach is based on a well-developed theory of action in the situation calculus extended to deal with belief.

The logic is designed around a process calculus with actions for possible protocol steps including generating new random numbers, sending and receiving messages, and performing decryption and digital signature verification actions.

The approach is based on an epistemic variant of Reiter's situation calculus, where actions not only have physical effects but may also provide new information to the agent.

We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change.

The political calculus also favors action.

He was reflecting on the two-year period, before the 2010 midterm elections, when the president had both the political capital and Congressional calculus for real action, and he sounded depressed.

This is true in particular in Reiter's Basic Action Theories in the Situation Calculus.

In this paper,1 we investigate bounded action theories in the situation calculus.

Human ethical behavior is therefore grounded in a natural property, and ethical action can occur without moral calculus or rational deliberation.