Classical propositional STRIPS planning is nothing but the search for a path in the state-transition graph induced by the operators in the planning problem. What makes the problem hard is the size and the sometimes adverse structure of this graph. We conjecture that the search for a plan would be more efficient if there were only a small number of paths from the initial state to the goal state....

We find a quantum mechanical formulation of proper time for spin 1/2 particles within the framework of the Dirac theory. It is shown that the rate of proper time can be represented by an operator called the “tempo operator”, and that the proper time itself be given by the integral of the expectation value of the operator. The tempo operator has some terms involving the Pauli spin matrices, and ...

The Kalman filter has been shown to be the most powerful tool for estimating states of a linear Gaussian system. With this method, an expectation maximization algorithm can used estimate model's parameters. However, is unable function in real-time due enormous computation and memory costs smoothing. We propose three methods by which parameters real-time. have demonstrated that method correctly ...

A quantum measurement is logically reversible if the premeasurement density operator of the measured system can be calculated from the postmeasurement density operator and from the outcome of the measurement. This paper analyzes why many quantum measurements are logically irreversible, shows how to make them logically reversible, and discusses reversing measurement that returns the postmeasurem...