In spacecraft telemetry expert systems technology i s being used to manage the complexity generated by the increasing number of complex measurands. However, an uncontrolled proliferation of rules in an expert system can lead to maintenance and management problems of the system. A semi-automated tool, such as Pragati's MVP-CA (Multi-ViewPoint Clustering Analysis) tool, can provide a valuable aid...

Students use Facebook to organize their classroom experiences [1], but hardly to share and form opinions on subject matters. We explore the benefits of argument diagrams for the formation of scientific opinion on behaviorism in Facebook. We aim at raising awareness of opinion conflict and structuring the argumentation with scripts [2]. A lab study with University students (ten dyads per conditi...

Section 2 concerns the classification of G-vector bundles. The precise statement is: The equivalence classes of k-dimensional G-vector bundles over M” “ subordinate ” to Pare in a natural one-to-one correspondence with the equivariant homotopy classes of maps of M into Gk( V’), the grassmannian of k-planes in V’, if t > n + k. The existence of a classifying map is proved via a transversality ar...

Formal and computational models of argument are ideally suited for education in ill-defined domains such as law, public policy, and science. Open-ended arguments play a central role in these areas but students of the domains may not have been taught an explicit model of argument. Computational models of argument may be ideally suited to act as argument tutors guiding students in the formation o...

Argumentation schemes are common types of defeasible argument evaluated with critical questions. This position paper identifies and explores some unsolved problems pertaining to critical questions, such as their argumentative effects, their connection to burden of proof, their connection to the scheme itself, and how they should be represented in argument diagrams. Discussion will use the schem...