Search results for " reasoning"
showing 10 items of 357 documents
Making Industrial Robots Smarter with Adaptive Reasoning and Autonomous Thinking for Real-Time Tasks in Dynamic Environments: A Case Study
2018
In order to extend the abilities of current robots in industrial applications towards more autonomous and flexible manufacturing, this work presents an integrated system comprising real-time sensing, path-planning and control of industrial robots to provide them with adaptive reasoning, autonomous thinking and environment interaction under dynamic and challenging conditions. The developed system consists of an intelligent motion planner for a 6 degrees-of-freedom robotic manipulator, which performs pick-and-place tasks according to an optimized path computed in real-time while avoiding a moving obstacle in the workspace. This moving obstacle is tracked by a sensing strategy based on ma-chin…
Efectos de la formación académica y del género sobre las destrezas de razonamiento científico de los estudiantes de secundaria: un estudio piloto
2022
Resumen En este estudio se intenta determinar el nivel de las habilidades de razonamiento científico de los estudiantes de educación secundaria y analizar la influencia de la formación académica y del género sobre dichas habilidades. También se pretende conocer las habilidades que presentan mayor dificultad para estos estudiantes. Han participado 122 estudiantes españoles de cuatro niveles académicos diferentes entre 8º y 11º grado (edades entre 13 y 17 años) a los que se ha administrado el cuestionario de habilidades de razonamiento científico propuesto por Hanson (2016). De las puntuaciones obtenidas en el cuestionario y del ANOVA realizado puede concluirse que: a) el nivel medio de habil…
Was King Arthur a King by Definition?
1988
Current research in knowledge representation distinguishes between descriptional and assertional interpretations of semantic nets. This paper explores theoretical and applicative problems, which arise from that distinction in a historic domain. A prolog implementation of KL-ONE is used as a vehicle to compare the various alternatives available to represent knowledge related to single elements of the domain insertion or not of this knowledge in semantic nets in their descriptional sense. The final section of the paper discusses the problem in relation to the theories concerning the functioning of proper names from a logical and philosophical point of view.
Understanding dynamic scenes
2000
We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, understanding involves the generation of a high level, declarative description of the perceived world. Developing such a description requires both bottom-up, data driven processes that associate symbolic knowledge representation structures with the data coming out of a vision system, and top-down processes in which high level, symbolic information is in its turn employed to drive and further refine the interpretation of a scene. On the one hand, the computer vision community approached this problem in terms of 2D/3D s…
Incorporating hypothetical knowledge into the process of inductive synthesis
1996
The problem of inductive inference of functions from hypothetical knowledge is investigated in this paper. This type of inductive inference could be regarded as a generalization of synthesis from examples that can be directed not only by input/output examples but also by knowledge of, e. g., functional description's syntactic structure or assumptions about the process of function evaluation. We show that synthesis of this kind is possible by efficiently enumerating the hypothesis space and illustrate it with several examples.
Ontology-based Integration of Web Navigation for Dynamic User Profiling
2015
The development of technology for handling information on a Big Data-scale is a buzzing topic of current research. Indeed, improved techniques for knowledge discovery are crucial for scientific and economic exploitation of large-scale raw data. In research collaboration with an industrial actor, we explore the applicability of ontology-based knowledge extraction and representation for today's biggest source of large-scale data, the Web. The goal is to develop a profiling application, based on the implicit information that every user leaves while navigating the online, with the goal to identify and model preferences and interests in a detailed user profile. This includes the identification o…
L'interpretazione dei trattati che determinano frontiere
2015
L'articolo intende dimostrare che l'interpretazione dei trattati che determinano frontiere presenta interessanti differenze rispetto alle regole codificate nella Convenzione di Vienna. Più precisamente. per quanto concerne gli effetti giuridici, i trattati in materia di fontiere sono stati interpretati secondo le direttive metodologiche indicate nella Convenzione di Vienna, attribuendo peraltro una certa importanza al principio della "stabilità delle frontiere". Un approccio diverso è generalmente adottato invece per quanto riguarda l'interpretazione delle clausole che definiscono le frontiere dal punto di vista del loro contenuto. In primo luogo, il principio della stabilità delle frontier…
FrameNet CNL: A Knowledge Representation and Information Extraction Language
2014
The paper presents a FrameNet-based information extraction and knowledge representation framework, called FrameNet-CNL. The framework is used on natural language documents and represents the extracted knowledge in a tailor-made Frame-ontology from which unambiguous FrameNet-CNL paraphrase text can be generated automatically in multiple languages. This approach brings together the fields of information extraction and CNL, because a source text can be considered belonging to FrameNet-CNL, if information extraction parser produces the correct knowledge representation as a result. We describe a state-of-the-art information extraction parser used by a national news agency and speculate that Fram…
Domain-specific knowledge representation and inference engine for an intelligent tutoring system
2013
One of the most challenging steps in learning algebra is the translation of word problems into symbolic notation. This paper describes an Intelligent Tutoring System (ITS) that focuses on this stage of the problem solving process. On the one hand, a domain specific inference engine and a knowledge representation mechanism are proposed. These are based on a description language based on hypergraphs, and the idea of using conceptual schemes to represent the student's knowledge. As a result, the system is able to simultaneously: (a) represent all potential algebraic solutions to a given word problem; (b) keep track of the student's actions; (c) univocally determine the current state of the res…
Neural Petri Control: an application on a mobile robot
2006
In the present work, an innovative nonlinear controller of nonholonomic mechanical systems, characterized by a dynamic not well known model a priori, using a new neural model obtained by the combination of a Petri net with a neural network, is proposed. The performances of the control algorithm are evaluated for tasks of tracking of time trajectories. The study of the stability of the total system to closed loop is based on the Lyapunov theory. Simulation experiments, made taking into consideration a nonholonomic mobile robot, to two wheels, allowed to verify the theoretical results.