Search results for " Logic"

showing 10 items of 1720 documents

Networked Analysis of a Teaching Unit for Primary School Symmetries in the Form of an E-Book

2021

In mathematics education, technology offers many opportunities to enrich curricular contents. Plane symmetries is a topic often skipped by primary teachers. However, it is important and may be worked in attractive ways in dynamic geometry software environments. In any regular classroom there are students with different levels of mathematical attainment, some needing easy tasks while others, particularly mathematically-gifted students, need challenging problems. We present a teaching unit for plane symmetries, adequate for upper primary school grades, implemented in a fully interactive electronic book, with most activities solved in GeoGebra apps. The book allows student to choose which itin…

cognitive demandComputer scienceGeneral Mathematicssymmetriesnetworking theoriesMathematical reasoningUnit (housing)primary schoolSoftwaremathematically gifted studentsComputer Science (miscellaneous)Mathematics educationComputingMilieux_COMPUTERSANDEDUCATION0501 psychology and cognitive scienceseducational e-bookEngineering (miscellaneous)Structure (mathematical logic)business.industrylcsh:Mathematics05 social sciences050301 educationCognitionlcsh:QA1-939Homogeneous spaceElectronic bookcognitive demand; educational e-book; mathematically gifted students; networking theories; primary school; symmetries; technological environment; Van Hiele levelsVan Hiele modelbusiness0503 education050104 developmental & child psychologyMathematics
researchProduct

Gestalt Theory, Data Decomposition and Functional Architecture in Visual Neuroscience

2013

Classical and recent result about neuronal properties, and their functions and architectural design prompted claims to bring gestalt theory to bear on neurosciences reserach. It is deemed to contribute to understand brain mechanism through descriptions of visual functions expected to be wired in the brain. The standard models of data decomposition and functional architecture in visual neuroscience are discussed. Such issues as visual primitives identification and neuronal activity integration in gestaltist terms are introduced.

cognitive science.Settore M-PSI/01 - Psicologia Generalecognitive neuroscienceSettore M-FIL/04 - EsteticaModels Visual Neurosciences Natural ImagesSettore M-FIL/02 - Logica E Filosofia Della Scienzaperception
researchProduct

Les théoriciens spontanés : comment les évaluateurs construisent et révisent leurs connaissances des programmes par l'expérience

2021

International audience; What exactly do evaluators learn about programs through experience and how? We chose a constructivist framework to investigate the structure of evaluators’ program-related knowledge, namely the form, content, and origins of their expressed theories. In this context, we complemented a Piagetian theory of learning with new developments offered by “probabilistic” (or “Bayesian”) models of learning. We conducted “explicitation” interviews with nine experienced practitioners, some specializing in the education or agri-environment sectors and some generalists. After examining the form and content of their program-related knowledge, we examine its development through experi…

competenciesStructure (mathematical logic)Program evaluationSociology and Political Science[SHS.EDU]Humanities and Social Sciences/Education4. Education05 social sciencesProfessional developmenttheory-practice050401 social sciences methodsprogram theory050109 social psychologyDevelopmentteaching evaluation[SHS.SCIPO]Humanities and Social Sciences/Political scienceChose0504 sociologyMathematics education0501 psychology and cognitive sciencesPsychologyTheory practiceevaluation practiceprofessional developmentEvaluation
researchProduct

Working with Multiple Ontologies on the Semantic Web.

2016

The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with multiple distinct, but linked, ontologies. OWL provides the owl:imports construct which, roughly, allows Web ontologies to include other Web ontologies, but only by merging all the linked ontologies into a single logical "space". Recent work on multidimensional logics, fusions and other combinations of modal logics, distributed and contextual logics, and the like have tried to find formalisms wherein knowledge bases (and their logic) are kept more distinct but yet affect each other. These formalisms have various …

computer.internet_protocolSemantic Web Rule LanguageComputer scienceProgramming languagebusiness.industryModal logicWeb Ontology LanguageSemantic reasonerOntology (information science)computer.software_genreOWL-SWorld Wide WebKnowledge baseOntologybusinesscomputerSemantic Webcomputer.programming_languageInternational Semantic Web Conference
researchProduct

Functional and Structural Roles of Data in Service Ecosystems

2023

Data play an increasingly important role in today’s service ecosystems, where actors integrate resources to create value at different levels of aggregation (micro, meso, macro). To advance our understanding of the role of data in such contemporary data-rich service ecosystems, we draw on the service-dominant (S-D) logic and data ecosystem literature. Extending the current understanding of data in the literature, we demonstrate how data and data ecosystems have become intertwined with service ecosystems and how data as a meta-resource connects actors, enhances systemic visibility, and drives innovation in these ecosystems. peerReviewed

conceptual researchtietotietorakenteetservice ecosystemsdataliiketoimintasähköiset palveluttiedonhallintadata ecosystemsservice sciencedigitalisaatioservice-dominant (S-D) logicpalveluyritykset
researchProduct

Imprecise probability assessments and the Square of Opposition

There is a long history of investigations on the square of opposition spanning over two millenia. A square of opposition represents logical relations among basic sentence types in a diagrammatic way. The basic sentence types, traditionally denoted by A (universal affirmative: ''Every S is P''), E (universal negative: ''No S is P''), I (particular affirmative: ''Some S are P''), and O (particular negative: ''Some S are not P''), constitute the corners of the square, and the logical relations--contradiction, contrarity, subalternation, and sub-contrarity--form the diagonals and the sides of the square. We investigate the square of opposition from a probabilistic point of view. To manage impre…

conditional eventimprecise probabilityg-coherenceSquare of oppositionSettore MAT/06 - Probabilita' E Statistica Matematicat-coherencegeneralized quantifierSettore MAT/01 - Logica Matematicaacceptance
researchProduct

Probabilistic Logic under Coherence: Complexity and Algorithms

2005

In previous work [V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P, Journal of Applied Non-Classical Logics 12(2) (2002) 189---213.], we have explored the relationship between probabilistic reasoning under coherence and model-theoretic probabilistic reasoning. In particular, we have shown that the notions of g-coherence and of g-coherent entailment in probabilistic reasoning under coherence can be expressed by combining notions in model-theoretic probabilistic reasoning with concepts from default reasoning. In this paper, we continue this line of research. Based on the above sem…

conditional probability assessmentSettore MAT/06 - Probabilita' E Statistica MatematicaDivergence-from-randomness modelalgorithmsprobabilistic logicConditional probability assessments; probabilistic logic; g-coherence; g-coherent entailment; complexity and algorithms.Artificial IntelligenceProbabilistic logic networkprobabilistic logic under coherenceConditional probability assessmentsProbabilistic analysis of algorithmsNon-monotonic logicconditional constraintMathematicsg-coherent entailmentConditional probability assessments probabilistic logic g-coherence g-coherent entailment complexity and algorithms.Reasoning systemcomputational complexitymodel-theoretic probabilistic logicApplied Mathematicscomplexity and algorithmsProbabilistic logiclogical constraintProbabilistic argumentationg-coherenceconditional probability assessment logical constraint conditional constraint probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment computational complexity algorithmsProbabilistic CTLalgorithms; computational complexity; conditional constraint; conditional probability assessment; g-coherence; g-coherent entailment; logical constraint; model-theoretic probabilistic logic; probabilistic logic under coherenceAlgorithmAnnals of Mathematics and Artificial Intelligence
researchProduct

Consumer Information Services in Intercultural Tourism : An Ethnographic Study of Chinese Outbound Backpackers

2017

This paper reports the findings of an ethnographic study of Chinese outbound backpackers’ use and adoption of consumer information services (CIS) in an intercultural tourism setting. We apply McKenna et al.’s research model of consumers’ adoption of information services as the analytical lens for the interpretive qualitative study. The data gathering was conducted in four different countries. The findings of the study confirm linkages between four information service types and the use and adoption of CIS. The study also found that service types are more diversely linked than the earlier studies have predicted and therefore we propose a revised research model, which can be used for studying …

consumer information services02 engineering and technologydigitalizationResearch model020204 information systemsConsumer information0502 economics and businessEthnography0202 electrical engineering electronic engineering information engineeringInformation systemSociologyMarketingta113Service (business)Data collectionChinese05 social sciencesAdvertisingvalue-in-contextbackpackersintercultural tourismconjoint analysisservice innovationsGV050203 business & managementTourismS-D logicQualitative research
researchProduct

Ideological, Institutional and Affective Practices of Interpersonal Violence

2020

The first chapter presents the book’s point of departure as well as its central concepts and structure. It outlines the current understandings of and theoretical approaches to the intersections of violence, gender and affect. The starting point is that gendered violence and violating practices are embedded in social structures of power and in inequalities, institutions, regimes and the symbolic order. They are manifested in human interaction as well as in cultural discourses and representations. The chapter also gives an overview of the abundant research and various perspectives involved in analysing the intersections of violence, gender and affect as well as the continuities and interconne…

continuities of violenceviolating practicesInequalitymedia_common.quotation_subjectväkivaltarakenteellinen väkivaltaCriminologyAffect (psychology)affective practicessukupuolittuminenPower (social and political)interpersonal violenceOrder (exchange)Sociologyvaltarakenteetmedia_commonStructure (mathematical logic)ideological practicesinstitutional practices5142 Social policyThe Symbolicgendered violenceviolationIdeologyideologiatSocial structure
researchProduct

Il critico-trascendentale tra logica e metafisica

2010

Il critico trascendentale kantiano, fondato sistematicamente nella "Scienza della Logica" di Hegel, costituisce un passaggio ineludibile per comprendere la fondazione della metafisica come logica e le sue ripercussioni sul pensiero contemporaneo.

critico trascendentale logica metafisicaSettore M-FIL/03 - Filosofia Morale
researchProduct