Thinking takes time: A modal active-logic for reasoning in time

AAAI Conferences 

All agents, whether human or automated, that function in the real-world are subject to the fact that time is spent as their reasoning progresses. Most commonsense reasoning formalisms do not account for the passage of time as the reasoning occurs, and hence are inadequate from the point of view of modeling an agent's ongoing process of reasoning. There are numerous problems in AIplanning and commonsense reasoning where the capacity to reason and act in time is of paramount importance. Below is a list of few sample problems in which the passage of time (as the agent reasons) is crucial: 1. Nell Dudley and the railroad tracks: Nell is tied to the railroad tracks and the agent Dudley must figure out and enact a plan to save her in time before an oncoming train approaches.

Duplicate Docs Excel Report

None found

Similar Docs  Excel Report  more

None found