The abstraction effect on logic rules application

The aim of this study is to analyze the relationship between training on abstraction and the comprehension of logic rules. In order to evaluate the possibility of improvement on logic performance we have selected the particular case of the DeMorgan’s laws. The dispute between the natural logic approach and the mental models theory is analyzed from the perspective of such abstraction effect. Two experiments are reported. The first one suggests that the presentation of a formal proof promotes a better comprehension of DeMorgan´s laws than the use of visual resources or colloquial examples. The second one offers a stronger test for the same abstraction effect. Some limitations concerned with the syntactic meaning of negation and the differences between constructive and evaluative conditions are discussed. Since the meaning of abstraction for the psychology of reasoning is pointed out as critical some suggestions for further research and possible educational applications are mentioned.Fil: Macbeth, Guillermo Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Entre Ríos. Facultad de Ciencias de la Educación; ArgentinaFil: Razumiejczyk, Eugenia. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Entre Ríos. Facultad de Ciencias de la Educación; ArgentinaFil: Campitelli, Guillermo Jorge. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Edith Cowan University; Australi

Efficient Analysis of Complex Diagrams using Constraint-Based Parsing

This paper describes substantial advances in the analysis (parsing) of diagrams using constraint grammars. The addition of set types to the grammar and spatial indexing of the data make it possible to efficiently parse real diagrams of substantial complexity. The system is probably the first to demonstrate efficient diagram parsing using grammars that easily be retargeted to other domains. The work assumes that the diagrams are available as a flat collection of graphics primitives: lines, polygons, circles, Bezier curves and text. This is appropriate for future electronic documents or for vectorized diagrams converted from scanned images. The classes of diagrams that we have analyzed include x,y data graphs and genetic diagrams drawn from the biological literature, as well as finite state automata diagrams (states and arcs). As an example, parsing a four-part data graph composed of 133 primitives required 35 sec using Macintosh Common Lisp on a Macintosh Quadra 700.Comment: 9 pages, Postscript, no fonts, compressed, uuencoded. Composed in MSWord 5.1a for the Mac. To appear in ICDAR '95. Other versions at ftp://ftp.ccs.neu.edu/pub/people/futrell

Time complexity analysis of generalized decomposition algorithm

The time complexity of the fast algorithm for generalized disjunctive decomposition of an rvalued function is studied.The considered algorithm to find the best decomposition is based on the analysis of multiple-terminal multiple-valued decision diagrams. It is shown that the time complexity for random rvalued functions depends on the such restriction as the number n1 of inputs in the first level circuit. In the case where the best partition of input variables is searched with restriction the time complexity is reduced in several times. The algorithm was simulated on a digital computer. The experimental results are in agreement with the theoretical predictions

An overview of decision table literature 1982-1995.

This report gives an overview of the literature on decision tables over the past 15 years. As much as possible, for each reference, an author supplied abstract, a number of keywords and a classification are provided. In some cases own comments are added. The purpose of these comments is to show where, how and why decision tables are used. The literature is classified according to application area, theoretical versus practical character, year of publication, country or origin (not necessarily country of publication) and the language of the document. After a description of the scope of the interview, classification results and the classification by topic are presented. The main body of the paper is the ordered list of publications with abstract, classification and comments.

Ego balloon experiment data processor

Ego balloon experiment data processo