Search results for "Reasoning"

showing 10 items of 371 documents

Enumerable classes of total recursive functions: Complexity of inductive inference

1994

This paper includes some results on complexity of inductive inference for enumerable classes of total recursive functions, where enumeration is considered in more general meaning than usual recursive enumeration. The complexity is measured as the worst-case mindchange (error) number for the first n functions of the given class. Three generalizations are considered.

Discrete mathematicsClass (set theory)Mathematics::CombinatoricsTheoretical computer scienceRecursively enumerable setRecursive functionsEnumerationInductive reasoningMathematics
researchProduct

The Problem of Monotonicity and the Skeleton

2022

The premise p of a reasoning is usually a complex statement reflecting the information of departure and consisting in the conjunction of other statements, p = p1 · (p2 · (…(pn). Such p can be written without parenthesis provided conjunction is associative, and then with the possibility of placing the sub-indexes in any ordering if it is commutative; on the contrary neither parenthesis, nor ordering can be avoided.

Settore MAT/01 - Logica MatematicaFuzzy Logic Commonsense Reasoning
researchProduct

Friend Influence and Susceptibility to Influence: Changes in Mathematical Reasoning as a Function of Relative Peer Acceptance and Interest in Mathema…

2016

This study investigated friend influence over mathematics achievement in 202 same-sex friendship dyads (106 girl dyads). Participants were in the third grade (around age 9) at the outset. Each friend completed a questionnaire describing interest in mathematics and a standardized mathematical reasoning assessment. Peer nominations provided a measure of peer acceptance. The results revealed evidence that interest in mathematics moderates both the degree to which the higher-accepted friend was influential and the degree to which the lower-accepted friend was susceptible to influence. Specifically, the third-grade mathematical reasoning of the higher-accepted friend predicted an increase in the…

Logical reasoningmedia_common.quotation_subject05 social sciences050301 educationMathematical reasoningPeer acceptanceStructural equation modelingEducationFriendshiphemic and lymphatic diseasesSimilarity (psychology)Developmental and Educational Psychology0501 psychology and cognitive sciencesGirlFunction (engineering)Psychology0503 educationSocial psychologySocial Sciences (miscellaneous)050104 developmental & child psychologymedia_commonMerrill-Palmer Quarterly
researchProduct

A Stigmergic Guiding System to Facilitate the Group Decision Process

2012

The paper presents a stigmergic approach to engineer a guiding system to facilitate the complex problem of designing the group decision processes. The system aims to provide contextual, actionable recommendations based on the knowledge and past experience of its users as recorded in a collaborative working environment implemented around the concept of stigmergic systems. Through an agent-based socio-simulation experiment we have demonstrated already the feasibility of this approach. The paper illustrates how the simulation results are transferred into a guiding system that facilitates the group decision process design through iterative queries reformulations for the identification, represen…

Identification (information)Knowledge managementKnowledge representation and reasoningComputer sciencebusiness.industryHuman–computer interactionMulti-agent systemGroup decision processCollaborative working environmentbusinessRepresentation (mathematics)2012 IEEE 28th International Conference on Data Engineering Workshops
researchProduct

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…

GerontologyMaleAgingPhysical fitnessIntelligencefyysinen toimintakykycognitive functioningArticleolder people03 medical and health sciencesYoung Adult0302 clinical medicinevanhuusintellectual abilitySurveys and QuestionnairesIntellectual disabilitymedicinephysical functioningHumans030212 general & internal medicineCognitive skillYoung adultSocioeconomic statusFinlandold ageAgedIntelligence TestsIntelligence quotientbusiness.industryAge Factorsta3141Cognitionta3142General MedicineMiddle Agedmedicine.diseaseVerbal reasoningMilitary PersonnelPhysical FitnessFemaleGeriatrics and GerontologyPsychologybusiness030217 neurology & neurosurgeryAge and ageing
researchProduct

Learning high-level tasks through imitation

2006

This paper presents the cognitive architecture Con-SCIS (Conceptual Space based Cognitive Imitation System), which tightly links low-level data processing with knowledge representation in the context of imitation learning. We use the word imitate to refer to the paradigm of program-level imitation: we are interested in the final effects of actions on objects, and not on the particular kinematic or dynamic properties of the motion. The same architecture is used both to analyze and represent the task to be imitated, and to perform the imitation by generalizing in novel and different circumstances. The implemented experimental scenario is a simplified two-dimensional world populated with vario…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniKnowledge representation and reasoningComputer sciencebusiness.industrymedia_common.quotation_subjectImitation learningContext (language use)Cognitive architectureKinematicsMotion (physics)RoboticTask (computing)Human–computer interactionMachine learningRobotComputer visionArtificial intelligenceCognitive imitationImitationbusinessHumanoid robotmedia_common2006 IEEE/RSJ International Conference on Intelligent Robots and Systems
researchProduct

Robot passes the mirror test by inner speech

2021

Abstract The mirror test is a well-known task in Robotics. The existing strategies are based on kinesthetic-visual matching techniques and manipulate perceptual and motion data. The proposed work attempts to demonstrate that it is possible to implement a robust robotic self-recognition method by the inner speech, i.e. the self-dialogue that enables reasoning on symbolic information. The robot self-talks and conceptually reasons on the symbolic forms of signals, and infers if the robot it sees in the mirror is itself or not. The idea is supported by the existing literature in psychology, where the importance of inner speech in self-reflection and self-concept emergence for solving the mirror…

Matching (statistics)business.industryComputer scienceGeneral Mathematicsmedia_common.quotation_subjectRoboticsCognitive architectureInner speech Cognitive architecture Robot mirror test Conceptual reasoningMotion (physics)Computer Science ApplicationsTask (project management)Control and Systems EngineeringPerceptionRobotComputer visionArtificial intelligencebusinessMirror testSoftwaremedia_common
researchProduct

Ontology languages for the semantic web: A never completely updated review

2006

This paper gives a never completely account of approaches that have been used for the research community for representing knowledge. After underlining the importance of a layered approach and the use of standards, it starts with early efforts used for artificial intelligence researchers. Then recent approaches, aimed mainly at the semantic web, are described. Coding examples from the literature are presented in both sections. Finally, the semantic web ontology creation process, as we envision it, is introduced.

Web standardsOntology Inference LayerInformation Systems and ManagementKnowledge representation and reasoningComputer sciencecomputer.internet_protocolProcess ontologyOntology (information science)computer.software_genreSocial Semantic WebOWL-SManagement Information SystemsWorld Wide WebOpen Biomedical OntologiesArtificial IntelligenceSemantic computingSemantic analyticsUpper ontologySemantic Web StackSemantic Webbusiness.industryOntology-based data integrationSuggested Upper Merged OntologyOntology languageOntologyArtificial intelligencebusinessWeb intelligencecomputerOntology alignmentSoftwareNatural language processingKnowledge-Based Systems
researchProduct

Robotics and Virtual Worlds: An Experiential Learning Lab

2013

Aim of the study was to investigate the cognitive processes involved and stimulated by educational robotics (LEGO® robots and Kodu Game Lab) in lower secondary school students. Results showed that LEGO® and KGL artifacts involve specific cognitive and academic skills. In particular the use of LEGO® is related to deductive reasoning, speed of processing visual targets, reading comprehension and geometrical problem solving; the use of KGL is related to visual-spatial working memory, updating skills and reading comprehension. Both technologies, moreover, are effective in the improvement of visual-spatial working memory. Implications for Human-Robot Interaction and BICA challenge are discussed.

Settore M-PSI/01 - Psicologia GeneraleDeductive reasoningComputer scienceacademic performanceCognitionEducational roboticscognitive skillMetaverseExperiential learningHuman–robot interactionEducational robotichuman-robot interactioncognitive skillsReading comprehensionEducational roboticsHuman–computer interactionComputingMilieux_COMPUTERSANDEDUCATIONCognitive skill
researchProduct

Common Reasoning in a Computational Context

2022

In the field of Computation Science, ‘Commonsense Reasoning’ usually expresses the formalization of Logic systems in order to efficiently automate replication of human performances. This is done by employing methodologies from Computational Learning, and deals with the construction of information of both deductive and inductive nature. The process often happens in an ecologic, natural context (i.e., in the real world, not in an artificial laboratory setting), and in presence of incomplete and imprecise information.

Settore MAT/01 - Logica MatematicaFuzzy Logic Commonsense Reasoning
researchProduct