Editing Commonsense reasoning (section)

=== Action and change ===
The theory of action, events and change is another range of the commonsense reasoning.<ref>{{Cite web|url = http://www-formal.stanford.edu/jmc/someneed/node3.html|title = Action and change in Commonsense reasoning}}</ref> There are established reasoning methods for domains that satisfy the constraints listed below:
* Events are atomic, meaning one event occurs at a time and the reasoner needs to consider the state and condition of the world at the start and at the finale of the specific event, but not during the states, while there is still an evidence of on-going changes (progress).
* Every single change is a result of some event
* Events are deterministic, meaning the world's state at the end of the event is defined by the world's state at the beginning and the specification of the event.
* There is a single actor and all events are their actions.
* The relevant state of the world at the beginning is either known or can be calculated.