A physical mechanical sequence is proposed representing measurement interactions ‘hidden' within QM's proverbial ‘black box'. Our ‘beam splitter' pairs share a polar angle, but head in opposite directions, so ‘led' by opposite hemisphere rotations. For orbital ‘ellipticity', we use the inverse value momentum ‘pairs' of Maxwell's ‘linear' and ‘curl' momenta, seen as vectors on the Poincare spherical surface. Values change inversely from 0 to 1 over 90 degrees, then ± inverts.. Detector polarising screens consist of electrons with the same vector (...) distributions, but polar angles set independently by A & B. The absorption/re-emission interaction process is modelled as surface vector additions at the angle of polar latitude of each interaction. This ‘collapse' of characteristic ‘wave values' is really then simply ‘re-polarisation', with new ellipticity. We then obtain the relation Cosθ at polarisers. We may simplify this to new ellipses with major/minor axis values. Considering as spherical orbital angular momentum rotation we invoke the unique quality of spheres to rotate concurrently on three axes! Rotating on y or z axes concurrent with x axis spin can return surface points to starting positions with non-integer x axis rotations, from half to infinity!. Second interactions at photomultiplier/ analysers are identical but at two orthogonal ‘channels'. Vector addition interactions at BOTH channel orientations normally produce a vector value of adequate amplitude to give a *click* from the MAJOR axis direction. At the ‘crossover' points at near circular polarity the orthogonal ‘certainty' is ~ 50:50, so both or neither channels may produce a ‘click'. The apparently unphysical but proved ‘Malus' law' relation; Cos2θ emerges physically from the 2nd set of interactions. The main departure from QM's assumptions are; That the original pair members each actually possessed two inverse momenta sets; ‘curl' and ‘linear'. Also that complex ‘vector additions' of those pairs occurs. Vector quantities allow A & B to reverse their OWN finding by reversing dial setting, reproducing experimental outputs without problematic ‘non-locality'. (shrink)
We introduce two new belief revision axioms: partial monotonicity and consequence correctness. We show that partial monotonicity is consistent with but independent of the full set of axioms for a Gärdenfors belief revision sytem. In contrast to the Gärdenfors inconsistency results for certain monotonicity principles, we use partial monotonicity to inform a consistent formalization of the Ramsey test within a belief revision system extended by a conditional operator. We take this to be a technical dissolution of the well-known Gärdenfors dilemma.In (...) addition, we present the consequential correctness axiom as a new measure of minimal revision in terms of the deductive core of a proposition whose support we wish to excise. We survey several syntactic and semantic belief revision systems and evaluate them according to both the Gärdenfors axioms and our new axioms. Furthermore, our algebraic characterization of semantic revision systems provides a useful technical device for analysis and comparison, which we illustrate with several new proofs. (shrink)
This book explores the building of expert systems using logic for knowledge representation and meta-level inference for control. It presents research done by members of the expert systems group of the Department of Artificial Intelligence in Edinburgh, often in collaboration with others, based on two hypotheses: that logic is a suitable knowledge representation language, and that an explicit representation of the control regime of the theorem prover has many advantages. The editors introduce these hypotheses and present the arguments in their (...) favor They then describe Socrates' a tool for the construction of expert systems that is based on these assumptions. They devote the remaining chapters to the solution of problems that arise from the restrictions imposed by Socrates's representation language and from the system's inefficiency. The chapters dealing with the representation problem present a reified approach to temporal logic that makes it possible to use nonstandard logics without extending the system, and describe a general proof method for arbitrary modal logics. Those dealing with the efficiency problem discuss the technique of partial evaluation and its limitations, as well as another possible solution known as assertion-time inference. Peter Jackson is a Senior Scientist in the Department of Applied Mathematics and Computer Sciences at the McDonnell Douglas Research Laboratory in St. Louis. Han Reichgelt is a Lecturer in Department of Psychology at the University of Nottingham. Frank van Harmelen is a Research Fellow in the Mathematical Reasoning Group at the University of Edinburgh. (shrink)
This paper examines some of the processes which have contributed to the development of a ‘total quality’ (TQ) approach within British health care. The paper challenges the idea that TQ is part of a redistribution of power within the NHS. Rather it is argued that through the elaboration of consumer-led market identities TQ misrepresents the interests of management and constructs a version of the self which obscures new forms of management control. TQ constrains alternative forms of social organisation, local knowledge (...) and the social interests invested in them. An example of a competing set of assumptions is discussed. It is suggested that clinical groups — who are primarily motivated by the principles of professional, collegiate control — seek to free themselves from the constraints of TQ. Thus clinical discourse appropriates a professionally led version of the market and protects the traditional autonomy of professionals whilst seeming to render their interests synergistic with those of management. This casts ‘quality’, and perhaps even the ‘market’, as conceptual sites upon which different groups strive to construct and legitimate their own interests. It is concluded that the changes explicitly associated with TQ are not as fundamental as they seem. (shrink)