This study aims to examine the approaches of people involved in mathematics education and logic to the role played by learning mathematics in the development of general deductive reasoning. The data source includes 21 individual semistructured interviews. Analysis based on the Grounded Theory method identified three distinct groups of interviewees with relation to views of (a) the meaning of de...

In this paper we present R-DEVICE, a deductive object-oriented knowledge base system for reasoning over RDF metadata. R-DEVICE imports RDF documents into the CLIPS production rule system by transforming RDF triples into COOL objects and uses a deductive rule language for reasoning about them. R-DEVICE is based on an OO RDF data model, different than the established triple-based model, which map...

Fair cake-cutting is the division of a cake or resource among N users so that each user is content. Users may value a given piece of cake differently, and information about how a user values different parts of the cake can only be obtained by requesting users to “cut” pieces of the cake into specified ratios. Many distributed computing problems which involve resource sharing can be expressed as...

We study certain function algebras and their operator algebra completions on r-discrete abelian groupoids, the corresponding conditional expectations, maximal abelian subalgebras (masa) and eigen-functionals. We give a semidirect product decomposition for an abelian groupoid. This is done through a matched pair and leads to a C*-diagonal (for a special case). We use this decomposition to study ...

We present in this paper both a novel theoretically well-founded framework for integrating the treatment of advanced update and rule enforcement problems in deductive databases and the architecture of a new deductive database management system based upon such a framework. Our results extend the query-processing and basic updating functionalities provided by current deductive database systems wi...

1 I n t r o d u c t i o n a n d r e s u l t s In the last decade, the merge of object-oriented programming with object-oriented data structuring principles has lead to a rapid increasement of new developments in the field of databases and logical languages. Object-oriented databases have the advantages of a clean conceptual design as well as the possibility of enforcing better software engineer...

PURPOSE To evaluate the learning effects of a deductive language-teaching procedure when teaching a novel gender agreement verb inflection to children with language impairment. METHOD Thirty-two 6-8-year-old children with language impairment were randomly assigned to either a deductive (N = 16) or an inductive (N = 16) treatment group. In the deductive treatment, the examiner presented a rule...

Many programming languages use short-circuit evaluation of boolean expressions (e.g. C (Kernighan & Ritchie, 1978)). This process eliminates unnecessary evaluation of parts of an expression by terminating the evaluation when a terminating truth value is discovered. For example, if a evaluates to the expression will be regardless of the truth values of and . We extend this notion to the task of ...

In this paper we present R-DEVICE, a deductive object-oriented knowledge base system for reasoning over RDF metadata. R-DEVICE imports RDF documents into the CLIPS production rule system by transforming RDF triples into COOL objects and uses a deductive rule language for reasoning about them. R-DEVICE is based on an OO RDF data model, different than the established triple-based model, which map...