Search results for "reasoning"
showing 10 items of 371 documents
On the relative sizes of learnable sets
1998
Abstract Measure and category (or rather, their recursion-theoretical counterparts) have been used in theoretical computer science to make precise the intuitive notion “for most of the recursive sets”. We use the notions of effective measure and category to discuss the relative sizes of inferrible sets, and their complements. We find that inferable sets become large rather quickly in the standard hierarchies of learnability. On the other hand, the complements of the learnable sets are all large.
Reasoning with paper and pencil: The role of inscriptions in student learning of geometric series
2009
The purpose of this article is to analyse how students use inscriptions as tools for thinking and learning in mathematical problem-solving activities. The empirical context is that of learning about geometric series in a small group setting. What has been analysed is how students made use of inscriptions, self-made as well as those provided by text books and teachers, and the role these inscriptions played in the coordination of students’ learning/communication. Through the use of inscriptions (made on the chalkboard and with paper and pencil), the students externalised their thinking while engaging in mathematical reasoning on the topic of geometric series. The inscriptions were significan…
Use of Geospatial Analyses for Semantic Reasoning
2010
International audience; This work focuses on the integration of the spatial analyses for semantic reasoning in order to compute new axioms of an existing OWL ontology. To make it concrete, we have defined Spatial Built-ins, an extension of existing Built-ins of the SWRL rule language. It permits to run deductive rules with the help of a translation rule engine. Thus, the Spatial SWRL rules are translated to standard SWRL rules. Once the spatial functions of the Spatial SWRL rules are computed with the help of a spatial database system, the resulting translated rules are computed with a reasoning engine such as Racer, Jess or Pellet.
Intellectual ability in young adulthood as an antecedent of physical functioning in older age.
2016
Objectives: low cognitive ability is associated with subsequent functional disability. Whether this association extends across adult life has been little studied. The aim of this study was to examine the association between intellectual ability in young adulthood and physical functioning during a 10-year follow-up in older age.Methods: three hundred and sixty persons of the Helsinki Birth Cohort Study (HBCS) male members, born between 1934 and 1944 and residing in Finland in 1971, took part in The Finnish Defence Forces Basic Intellectual Ability Test during the first 2 weeks of their military service training between 1952 and 1972. Their physical functioning was assessed twice using the Sh…
Teaching and Learning of Algebra
2015
Topic Study Group 9 aimed to bring together researchers, developers and teachers who investigate and develop theoretical accounts of the teaching and learning of algebra. The group sought both empirically grounded contributions focussing on the learning and teaching of algebra in diverse classrooms settings, the evolution of algebraic reasoning from elementary through university schooling as well as theoretical contributions throwing light on the complexities involved in teaching and learning of algebra. Prospective contributors were requested to address one or more of the following themes: early algebra, use of ICT in algebra classrooms, proof and proving in algebra, problem solving, semio…
Positivism, Legal Validity, and the Separation of Law and Morals
2014
The essay discusses the import of the separability thesis both for legal positivism and for contemporary legal practice. First, the place of the separability thesis in legal positivism will be explored, distinguishing between “standard positivism” and “post-Hartian positivism.” Then I will consider various kinds of relations between law and morality that are worthy of jurisprudential interest, and explore, from a positivist point of view, what kind of relations between law and morality must be rejected, what kind of such relations should be taken into account, and what kind of such relations are indeed of no import at all. The upshot of this analysis consists in highlighting the distinction…
Physiotherapists' lived experiences of decision making in therapeutic encounters with persons suffering from whiplash-associated disorder: A hermeneu…
2020
Conceptual discussions related to clinical reasoning and decision making have evolved over the years from biomedical to incorporating more holistic approach to reasoning. Empirical studies exploring clinical reasoning and decision making in physiotherapy practice have mostly focused on aspects of managing persons with low back pain, such as exercise prescription, education and communicating diagnosis. There is a paucity of studies exploring decision making in whiplash‐associated disorder (WAD); thus, the aim of this study was to explore the physiotherapists' lived experiences of decision making related to treating persons with WAD. A qualitative research design based on hermeneutic phenomen…
Frequency Prediction of Functions
2012
Prediction of functions is one of processes considered in inductive inference. There is a "black box" with a given total function f in it. The result of the inductive inference machine F( ) is expected to be f(n+1). Deterministic and probabilistic prediction of functions has been widely studied. Frequency computation is a mechanism used to combine features of deterministic and probabilistic algorithms. Frequency computation has been used for several types of inductive inference, especially, for learning via queries. We study frequency prediction of functions and show that that there exists an interesting hierarchy of predictable classes of functions.
The impact of the pre-instructional cognitive profile on learning gain and final exam of physics courses: a case study.
2006
The case study described in this paper investigates the relationship among some pre-instructional knowledge, the learning gain and the final physics performance of computing engineering students in the introductory physics course. The results of the entrance engineering test (EET) have been used as a measurement of reading comprehension, logic and mathematics skills and basic physics knowledge of a sample of 47 Computing Engineering freshmen at the University of Palermo (Italy). These data give a significant picture of the initial knowledge status of a student choosing engineering studies. The students' physics learning gain has been calculated using a standardized tool in mechanics: the fo…
Error detecting in inductive inference
1995
Several well-known inductive inference strategies change the actual hypothesis only when they discover that it “provably misclassifies” an example seen so far. This notion is made mathematically precise and its general power is characterized. In spite of its strength it is shown that this approach is not of universal power. Consequently, then hypotheses are considered which “unprovably misclassify” examples and the properties of this approach are studied. Among others it turns out that this type is of the same power as monotonic identification. Then it is shown that universal power can be achieved only when an unbounded number of alternations of these dual types of hypotheses is allowed. Fi…