Constraint-based reasoning

Keywords acausal reasoning, case relations, causal accounts, causal event sequences, causal reasoning, constraint-based reasoning, current electricity, device model, dynamic physical model, dynamic processes. Educational Testing Service, electricity, electrostatics, envisioning, macroscopic models, naive physics, physics, prior knowledge, qualitative arguments, qualitative model, qualitative theory, transient processes... 

Processing Characteristics of IQAP. To follow the experts methodology, it appears that the processing within IQAP will be performed in two steps. In the first step, the inputs should be accepted and a constraint-based system will develop a set of constraints and limits that apply to the data. The knowledge embedded in this first system will convert the constraints into an analytical method and the associated set of QC criteria. It is expected that because QA/QC Objectives incorporate considerations regarding the usability of the data, the constraints will be flexible enough to process the inputs into a reasonably structured set of data tables. Therefore, in the second step, the method and its associated QC criteria will be represented in a relational database. The level of detail in the specifications of the QC criteria and the relationships between the data elements will be more specific as the process proceeds from the first step to the second step. 

Finally, the knowledge of the current values of discrete switch states can be used to detect and to isolate switch faults by rule-based reasoning. If switches toggle then-state at a high frequency little time is left for mode identification. However, again, parallel processing can help to cope with the time constraints. 

Building and explaining a complex model requires a unified view caUed an ontology. Methods of quahtative reasoning can be based on different viewpoints the dominant viewpoints are device, process, and constraints. Behavior generation is handled with two approaches ... 

These difficulties have led to a revival of work on internal coordinate approaches, and to date several such techniques have been reported based on methods of rigid-body dynamics [8,19,34-37] and the Lagrange-Hamilton formalism [38-42]. These methods often have little in common in their analytical formulations, but they all may be reasonably referred to as internal coordinate molecular dynamics (ICMD) to underline their main distinction from conventional MD They all consider molecular motion in the space of generalized internal coordinates rather than in the usual Cartesian coordinate space. Their main goal is to compute long-duration macromolecular trajectories with acceptable accuracy but at a lower cost than Cartesian coordinate MD with bond length constraints. This task mrned out to be more complicated than it seemed initially. 

It should be recognized that, in some cases, it is not difficult to set up a traceable measurement system. The best examples of this are in physical metrology where traceability is often based on direct measurements of the SI units. There is also general agreement that a similar SI fink is highly desirable in the case of chemical measurements, but, for a variety of reasons, direct chemical traceability is difficult to achieve in most of the analytical chemistry applications. Only a very few analytical chemistry procedures exhibit a direct measurement capability that allows the set-up of a traceable measurement pathway such as in physical metrology measurements most of these procedures have been accepted as primary methods if carried out under certain constraints (CCQM 1998). 

The model proposed by Brandt et al. is consistent with the experimental observations, reproduces the peculiar shape of the kinetic curves in the absence and presence of dioxygen reasonably well, and predicts the same trends in the concentration dependencies of t, p that were observed experimentally (80). It was concluded that there is no need to assume the participation of oxo-complexes in the mechanism as it has been proposed in the literature (88-90). However, the model provides only a semi-quantitative description of the reaction because it was developed at constant pH by neglecting the acid-base equilibria of the sulfite ion and the reactive intermediates, as well as the possible complex-formation equilibria between various iron(III) species. In spite of the obvious constraints introduced by the simplifications, the results shed light on the general mechanistic features of the reaction and could be used to identify the main tasks for further model development. 

---