On argumentation schemes and the natural classification of arguments

We develop conceptions of arguments and of argument types that will, by serving as the basis for developing a natural classification of arguments, benefit work in artificial intelligence. Focusing only on arguments construed as the semantic entities that are the outcome of processes of reasoning, we outline and clarify our view that an argument is a proposition that represents a fact as both conveying some other fact and as doing so wholly. Further, we outline our view that, with respect to arguments that are propositions, (roughly) two arguments are of the same type if and only if they represent the same relation of conveyance and do so in the same way. We then argue for our conceptions of arguments and argument types, and compare them to rival positions. We also illustrate the need for, and some of the strengths of, our approach to classifying arguments through an examination of aspects of two prominent and recent attempts to classify arguments using argumentation schemes, namely those of M. Kienpointner and D. Walton. Finally, we clarify how our conception of arguments and of argument types can assist in developing an exhaustive classification of arguments

Dynamic mechanical analysis of fiber reinforced composites

Dynamic mechanical and thermal properties were determined for unidirectional epoxy/glass composites at various fiber orientation angles. Resonant frequency and relative logarithmic decrement were measured as functions of temperature. In low angle and longitudinal specimens a transition was observed above the resin glass transition temperature which was manifested mechanically as an additional damping peak and thermally as a change in the coefficient of thermal expansion. The new transition was attributed to a heterogeneous resin matrix induced by the fiber. The temperature span of the glass-rubber relaxation was found to broaden with decreasing orientation angle, reflecting the growth of fiber contribution and exhibiting behavior similar to that of Young's modulus. The change in resonant frequency through the glass transition was greatest for samples of intermediate fiber angle, demonstrating behavior similar to that of the longitudinal shear modulus

Stress and Fracture Analyses Under Elastic-plastic and Creep Conditions: Some Basic Developments and Computational Approaches

A new hybrid-stress finite element algorith, suitable for analyses of large quasi-static deformations of inelastic solids, is presented. Principal variables in the formulation are the nominal stress-rate and spin. A such, a consistent reformulation of the constitutive equation is necessary, and is discussed. The finite element equations give rise to an initial value problem. Time integration has been accomplished by Euler and Runge-Kutta schemes and the superior accuracy of the higher order schemes is noted. In the course of integration of stress in time, it has been demonstrated that classical schemes such as Euler's and Runge-Kutta may lead to strong frame-dependence. As a remedy, modified integration schemes are proposed and the potential of the new schemes for suppressing frame dependence of numerically integrated stress is demonstrated. The topic of the development of valid creep fracture criteria is also addressed

Decoding of 1/2-rate (24,12) Golay codes

A decoding method for a (23,12) Golay code is extended to the important 1/2-rate (24,12) Golay code so that three errors can be corrected and four errors can be detected. It is shown that the method can be extended to any decoding method which can correct three errors in the (23,12) Golay code

A VLSI architecture of a binary updown counter

A pipeline binary updown counter with many bits is developed which can be used in a variety of applications. One such application includes the design of a digital correlator for very long baseline interferometry (VLBI). The advantage of the presently conceived approach over the previous techniques is that the number of logic operations involved in the design of the binary updown counter can be reduced substantially. The architecture design using these methods is regular, simple, expandable and, therefore, naturally suitable for VLSI implementation