Search results for "Reason"

showing 10 items of 526 documents

DEVELOPING AN INTEGRATED FRAMEWORK FOR ANALYZING WAYS OF REASONING IN MATHEMATICS

2022

Mathematics education literature involves studies that sought a way of investigating the mode of reasoning in mathematics textbooks because textbooks are the main resource for teachers in planning their mathematics lessons. In this vein, this study aimed to analyze the ways of reasoning in mathematics textbooks that are currently used in five countries: Slovakia, Czech Republic, Italy, Norway, and Turkiye, as a part of a Horizon 2020 Project. We initially started with a framework that aimed to examine the effect of teachers’ participation in the lesson study on the improvement of students’ mathematical reasoning (Project LESSAM). However, as the textbook analysis of different countries proc…

Mathematics education ways of reasoning mathematics worked examples mathematics textbook analysisSettore MAT/04 - Matematiche Complementari
researchProduct

¿Por qué la literatura?

2021

In poetry, as well as in a good part of prose works, the rhythm of words is the music that governs reason and emotion. Literature occupies an important place in my creation. In this article I describe the different procedures in which I configure its presence in my music and the main themes in four of my works: Envoi, Como el viento, Maya and Transmutación.

Maya and Transmutación. 574 584UNESCO::CIENCIAS DE LAS ARTES Y LAS LETRASComo el vientoas well as in a good part of prose worksrevista de investigación musical: territorios para el arte 590908 2021 7 8182087 ¿Por qué la literatura? Rodríguez Hernández2386-8260 13268 ItamarRosa María In poetrythe rhythm of words is the music that governs reason and emotion. Literature occupies an important place in my creation. In this article I describe the different procedures in which I configure its presence in my music and the main themes in four of my works: Envoi
researchProduct

Medical Metaphors in Economics News Articles in English and Italian

2017

As Lakoff and Johnson (1980: 3) state in Metaphors We Live by, “our ordinary conceptual system, in terms of which we both think and act, is fundamentally metaphorical in nature.” From a linguistic point of view, metaphors not only exist in everyday language but in specialized discourse too, where they are frequently the result of interdisciplinary borrowings. The language of economics, replete with medical metaphors, is one of the most representative examples of this phenomenon. This paper offers a quantitative and qualitative analysis of medical metaphors in English and Italian economics news discourse, as no research seems to have been conducted so far on the topic from a cross-linguistic…

Medical metaphors; economics news discourse; Conceptual Metaphor Theory; metaphorical reasoning; corpus linguistics.Medical metaphorcorpus linguistics.economics news discourseConceptual Metaphor TheorySettore L-LIN/12 - Lingua E Traduzione - Lingua Inglesemetaphorical reasoning
researchProduct

Trahisons et idées de trahison sous les princes angevins et normands (1050-1150)

2008

International audience; Cet article constitue le point de départ d'une réflexion suscitée par l'appréciation de Stephan Cuttler dans son livre sur la trahison de 1981 (The Law of Treason and treason trials in later medieval France); dans cette étude qui porte sur la fin du Moyen Âge, l'auteur rappelle que le fondement juridique de la trahison médiévale est romain. Mais il estime aussi qu'entre le VIè et le XIè siècle, l'influence du droit romain est devenue négligeable, aussi voit-il la trahison principalement sous la forme atténuée de l'infidélité du vassal à l'égard de son seigneur. Après avoir développé plusieurs cas, en commençant par celui de l'éviction du comte d'Anjou Geoffroy le bar…

Medieval & Renaissance StudiescontumaceHistory[ SHS.HIST ] Humanities and Social Sciences/HistorytreasontrahisonHBLC16. Peace & justicemonstrecrime politique[SHS.HIST] Humanities and Social Sciences/Historyjustice médiévaleHIS037010rébellion[SHS.HIST]Humanities and Social Sciences/Historycrime
researchProduct

Causal Reasoning in Mild Mental Disabled Children

2017

Abstract This study is focused to analyze mild mental retardation children’s ability to make causal attributions from sparse data. The research method selected was that of an unifactorial experiment starting from the assumption that children with mild mental retardation should ask for help or explore the environment following the causal attribution they will do according to the statistical data they receive. This study was conducted on a sample of 23 mild mental retardation children (ages between 9 and 12). The participants were randomly divided into two experimental groups and they were asked to complete a specific task (press a button to scroll a set of images). The results obtained using…

Military policyPolitical science05 social sciences050301 education0501 psychology and cognitive sciencesCausal reasoningBusiness management0503 educationSocial psychology050104 developmental & child psychologyInternational conference KNOWLEDGE-BASED ORGANIZATION
researchProduct

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

2008

International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…

Model checking[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationKnowledge representation and reasoningcomputer.internet_protocolComputer science0211 other engineering and technologies[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE]02 engineering and technologycomputer.software_genre01 natural sciencesACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methodsFormal specificationACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methodsACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking0202 electrical engineering electronic engineering information engineeringTemporal logicEnterprise information systemFormal verification021103 operations researchDatabase010405 organic chemistrybusiness.industryApplied Mathematics020207 software engineeringService-oriented architectureSystems modeling[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation0104 chemical sciencesComputer Science ApplicationsACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checkingBusiness Process Execution LanguageModeling and Simulation020201 artificial intelligence & image processingWeb serviceSoftware engineeringbusinesscomputer
researchProduct

Context-aware intelligent video analysis for the management of smart buildings

2019

To date, computer vision systems are limited to extract digital data of what the cameras "see". However, the meaning of what they observe could be greatly enhanced by environment and human-skills knowledge.In this work, we propose a new approach to cross-fertilize computer vision with contextual information, based on semantic modelization defined by an expert.This approach extracts the knowledge from images and uses it to perform real-time reasoning according to the contextual information, events of interest and logic rules. The reasoning with image knowledge allows to overcome some problems of computer vision such as occlusion and missed detections and to offer services such as people guid…

Modélisation des informations sur le bâtiment (BIM)[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Smart camerasCaméras inteligentesIngénierie d'OntologiesOntology engineeringRaisonnement CausalTraitement d'ImagesArtificial Inteligence (AI)Building information modeling (BIM)Computer visionCausal reasoningIntelligence artificielle (IA)
researchProduct

The pre-zygote identity as a moral issue.

2008

Moral ObligationsValue of LifeZygotePsychoanalysisZygoteHealth PolicyIdentity (social science)Moral reasoningMoral authorityReproductive MedicineMoral developmentFertilizationMoral psychologyHumansSociologyEthical TheoryIdentity formationSocial psychologyBeginning of Human LifeGenetics (clinical)Moral disengagementHuman reproduction and genetic ethics
researchProduct

Introduction by the Editors

2015

Kohlberg’s approach to moral development and moral education continues to stimulate researchers and educators worldwide. His work still offers knowledge, methods and inspirations for understanding moral cognition and behavior, and how to foster it. This volume examines aspects of Kohlberg’s moral stage developmental theory and his theory of moral education to revisit their strengths and weaknesses in light of new questions and methods.

Moral developmentLawrence Kohlberg's stages of moral developmentMoral psychologySocial intuitionismEngineering ethicsMoral reasoningPsychologySocial psychologyMoral authoritySocial cognitive theory of moralityMoral disengagement
researchProduct

Are There Essentially Incomplete Knowledge Representation Systems?

2001

A mathematical model of a knowledge representation system (KR-system) is proposed. Its prototype is the concept of an information system in the sense of Z. Pawlak; however, the model is, in fact, a substantial extension of the latter. In our model, attributes may form an arbitrary category, where morphisms represent built-in functional dependencies, and uncertainty of knowledge is treated in terms of category theory via monads. Several notions of simulation are also considered for such KR-systems. In this general setting, the semiphilosophical problem mentioned in the title, still open, is given a precise meaning.

MorphismTheoretical computer scienceKnowledge representation and reasoningComplete informationComputer scienceMathematics::Category TheoryFuzzy setInformation systemCalculusRepresentation (systemics)Extension (predicate logic)Category theoryFunctional dependency
researchProduct