Using set operations to deal with the frame problem

This paper presents a simple approach to the so-called frame problem based on some ordinary set operations, which does not require non-monotonic reasoning. Following the notion of the situation calculus, we shall represent a state of the world as a set of fluents, where a fluent is simply a Boolean-valued property whose truth-value is dependent on the time. High-level causal laws are characterised in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law, which guarantees that all the fluents that can be affected by the performance of the corresponding action are always totally governed. It is shown that, compared with other techniques, such a set operation based approach provides a simpler and more effective treatment to the frame problem.

The effects of thermo-electrically induced convection in alloy solidification

The effects of a constant uniform magnetic field on thermoelectric currents during dendritic solidification were investigated using a 2-dimensional enthalpy based numerical model. Using an approximation of the dendrite growing in free space it was found that the resulting Lorentz force generates a circulating flow influencing the solidification pattern. As the magnetic field strength increases it was found that secondary growth on the clockwise side of the primary arm of the dendrite was encouraged, while the anticlockwise side is suppressed due to a reduction in local free energy. The preferred direction of growth rotated in the clockwise sense under an anti-clockwise flow for both the binary alloy and pure material. The tip velociy is significantly increased compared to growth in stagnant flow. This is due to a small recirculation that follows the tip of the dendrite; bringing in colder liquid and lower concentrations of solute. The recirculation being not normally incident on the tip is most likely the cause for the rotation. Grain growth consisting of multiple seeds with the same anisotropy growing in the same plane, gives a competition to release latent heat resulting in stunted growth. The initial growth for each dendrite is very similar to the single seed cases indicating that dendrites must become before the thermoelectric interactions are significant.