Modal Logic (1) (original) (raw)
Journal of Japan Society for Fuzzy Theory and Systems
Related papers
On A Nonstandard Model of Situation Calculus
Transactions of The Japanese Society for Artificial Intelligence, 2002
In this paper, we propose a new method to deal with continuously varying quantity in the situation calculus based on the concept of the nonstandard analysis. The essential point of the method is to devise a new model called nonstandard situation calculus, which is an interpretation of the situation calculus in the set of hyperreals. This nonstandard model allows discrete but uncountable (hyperfinite) state transition, so that we can describe and reason about the continuous dynamics which are usually treated with differential equations. In this enlarged perspective of the nonstandard situation calculus, we discuss about an infinitesimal action, infinite plan and an abnormality theory for the temporal prediction based on the differentiability.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
Related papers
Transactions of the Japanese Society for Artificial Intelligence, 2007
Japanese Journal of Physical Fitness and Sports Medicine, 2023
Japanese Journal of Physical Fitness and Sports Medicine, 2022
Japanese Journal of Physical Fitness and Sports Medicine, 2022