While inductive and deductive reasoning are considered distinct logical and psychological processes, little is known about their respective neural basis. To address this issue we scanned 16 subjects with fMRI, using an event-related design, while they engaged in inductive and deductive reasoning tasks. Both types of reasoning were characterized by activation of left lateral prefrontal and bilat...

This article deals with answer generations when querying a rule base in the context of a deductive database. A deductive database involves explicit facts, integrity constraints and general rules that allow new facts to be derived. Usually, answering a query addressed to a deductive database, involves the use of both the explicit facts and the rules. We consider here the problem of providing ans...

This is the main entry point for the scheduler. This method has to be overridden to implement the scheduling algorithm. It is called from the JVM on a timed event or a software interrupt (see genInt()) is issued (e.g. when a Task gives up execution). vo i d i n t e r r u p t ( i n t nr ) The scheduler is notified on a hardware event. It can directly call an associated device driver or use this ...

This paper shows an architecture for Deductive Fuzzy RDBMS which integrates two approaches of fuzzy databases: the relational and the logical ones. It uses the first one to represent and manipulate imprecise information and the second one to obtain intensional information. Besides, it shows how it is possible to use the resources offered by a conventional RDBMS together with a deduction module ...

The CXXR project aims gradually to reengineer the fundamental parts of the R interpreter from C into C++ in such a way that: • the full functionality of the standard distribution of R (including the recommended packages) is preserved; • the behaviour of R code is unaffected (unless it probes into interpreter internals); • there is no change to the existing interfaces for calling out from R to o...

Piaget’s classic experiments enabled, among many other things, identification of the types of reasoning children use in different developmental stages. His work identified both hypothetico-deductive and analogical reasoning as strong indicators of normal development. Although examples of each can be seen early on, consistent application and control of these types of reasoning emerges somewhere ...