A major motivation of proof-planning is to bridge the gap between high-level, cognitively adequate reasoning for specific domains, and calculus-level reasoning to ensure soundness.
Thirdly, from a practical perspective, the new framework can help to understand the motivation and reasoning of politicians regarding specific integration policy interventions.
When using direct approaches we have to take care (and advantage) of specific reasoning problems ourselves.
We have previously shown that use of the system is associated with a marked improvement in diagnostic performance (Crowley et al. 2007; El Saadawi et al. 2008), an increase in calibration of confidence to performance (El Saadawi et al. 2008), and a decrease in many types of specific reasoning errors (Payne et al. 2009).
In the following sections, we provide a detailed reasoning behind the selection of specific GO terms of different granularity as well as assignment of GO evidence codes and experimental assays that are considered adequate and necessary for creating a DbTF annotation.
The process of cardiac physical examination has features of value to both analytic reasoning (requiring identification and interpretation of specific findings) and non-analytic reasoning (through matching clinical presentations to previously encountered patients).
Although the subject matter of the science of reasoning is more specific than that of psychology in general — the former investigates 'the operations of the human understanding in the pursuit of truth' (1843, 6) — there are, as Mill sees it, no special psychological laws characteristic exclusively of the domain of the science of reasoning.
A critical finding from this work is that the benefits of additional visual information are limited to reasoning about specific kinds of topographic map problems (e.g., shaded relief shows a moderate improvement over contour lines for landscape visualization tasks, but decreases accuracy for spot elevation problems; Potash et al., 1978).
Possibility of error By using agent supported reasoning and specific algorithms, the possibility of error will be reduced.
Problem-solving performance is dependent on knowledge of specific areas, so clinical reasoning ability cannot be separated from LTM.
