ATL* naturally combines temporal and strategic reasoning in discrete multi-player games.
So here we derive the same upper bound on substitution, but in the old-fashioned way, reasoning with discrete equations.
Discrete event control and qualitative reasoning are successfully applied in an industrial setting to the robotic assembly of the gear mechanism portion of an automobile starter motor.
The discrete functional analysis and inductive hypothesis reasoning techniques used in this paper are helpful for overcoming difficulties arising from the nonlinearity and coupling and lead to a related theoretical analysis for nonlinear FI schemes.
We argue that current models of world change (including traditional planners, reactive systems, and many connectionist systems) implicitly adopt a discrete action assumption which precludes efficient reasoning about continuous world change.
The case of two-dimensional granular materials was considered and the reasoning was built on 2D Discrete Element Method (DEM) simulations of 2D biaxial tests performed on sample made of disks.
There are, however, many different cases where discrete time must be considered; various scheduling problems and reasoning about sampled physical systems are two examples.
Reasoning that different tubular architectures may impose discrete mechanistic constraints on endothelial cell division, we analyzed and compared the sequential steps of cell division, namely mitotic rounding, cytokinesis, actin re-distribution and adherence junction formation, in different blood vessels.
An agent-based model was developed based on a paradigm of a 'discrete-space scheduled walker' (DSSW), modeling a medium-sized North American City of 650,000 discrete agents, built upon a conceptual framework of statistical reasoning (law of large numbers, statistical mechanics) as well as a correct-by-construction bias.
Past studies have reported that three factors delineate performance on the RCPM: continuous and discrete pattern completion, pattern completion through closure, and concrete abstract reasoning [ 23, 36, 37].
