Search results for " reasoning"
showing 10 items of 357 documents
Knowledge representation for robotic vision based on conceptual spaces and attentive mechanisms
1995
A new cognitive architecture for artificial vision is proposed. The architecture is aimed for an autonomous intelligent system, as several cognitive hypotheses have been postulated as guidelines for its design. The design is based on a conceptual representation level between the subsymbolic level processing the sensory data, and the linguistic level describing scenes by means of a high-level language. The architecture is also based on the active role of a focus of attention mechanism in the link between the conceptual and the linguistic level. The link between the conceptual level and the linguistic level is modelled as a time-delay attractor neural network.
Optimization problem in inductive inference
1995
Algorithms recognizing to which of n classes some total function belongs are constructed (n > 2). In this construction strategies determining to which of two classes the function belongs are used as subroutines. Upper and lower bounds for number of necessary strategies are obtained in several models: FIN- and EX-identification and EX-identification with limited number of mindchanges. It is proved that in EX-identification it is necessary to use n(n−1)/2 strategies. In FIN-identification [3n/2 − 2] strategies are necessary and sufficient, in EX-identification with one mindchange- n log2n+o(n log2n) strategies.
Learning with belief levels
2008
AbstractWe study learning of predicate logics formulas from “elementary facts,” i.e. from the values of the predicates in the given model. Several models of learning are considered, but most of our attention is paid to learning with belief levels. We propose an axiom system which describes what we consider to be a human scientist's natural behavior when trying to explore these elementary facts. It is proved that no such system can be complete. However we believe that our axiom system is “practically” complete. Theorems presented in the paper in some sense confirm our hypothesis.
Systematic reasoning: Formal or postformal cognition?
1995
The focus of this study was to investigate the relationship between formal and postformal systematic metasystematic reasoning. Shayer's (1978) chemicals task and a modified version of Kuhn and Brannock's (1977) plant task were used to measure formal thinking and Commons, Richard, and Kuhn's (1982) multisystem task and balance-beam task to detect postformal reasoning. Subjects were university students from the humanities and social sciences (N=35). For each subject, a composite score was defined by taking into account the highest score in the tasks measuring the same developmental stage. Findings indicated that composite scores of formal and postformal reasoning were significantly correlated…
Self-learning inductive inference machines
1991
Self-knowledge is a concept that is present in several philosophies. In this article, we consider the issue of whether or not a learning algorithm can in some sense possess self-knowledge. The question is answered affirmatively. Self-learning inductive inference algorithms are taken to be those that learn programs for their own algorithms, in addition to other functions. La connaissance de soi est un concept qui se retrouve dans plusieurs philosophies. Dans cet article, les auteurs s'interrogent a savoir si un algorithme d' apprentissage peut dans une certaine mesure posseder la connaissance de soi. lis apportent une reponse positive a cette question. Les algorithmes d'inference inductive a…
Learning formulae from elementary facts
1997
Since the seminal paper by E.M. Gold [Gol67] the computational learning theory community has been presuming that the main problem in the learning theory on the recursion-theoretical level is to restore a grammar from samples of language or a program from its sample computations. However scientists in physics and biology have become accustomed to looking for interesting assertions rather than for a universal theory explaining everything.
Memory limited inductive inference machines
1992
The traditional model of learning in the limit is restricted so as to allow the learning machines only a fixed, finite amount of memory to store input and other data. A class of recursive functions is presented that cannot be learned deterministically by any such machine, but can be learned by a memory limited probabilistic leaning machine with probability 1.
On the duality between mechanistic learners and what it is they learn
1993
All previous work in inductive inference and theoretical machine learning has taken the perspective of looking for a learning algorithm that successfully learns a collection of functions. In this work, we consider the perspective of starting with a set of functions, and considering the collection of learning algorithms that are successful at learning the given functions. Some strong dualities are revealed.
Transformations that preserve learnability
1996
We consider transformations (performed by general recursive operators) mapping recursive functions into recursive functions. These transformations can be considered as mapping sets of recursive functions into sets of recursive functions. A transformation is said to be preserving the identification type I, if the transformation always maps I-identifiable sets into I-identifiable sets.
A survey on geometrical reconstruction as a core technology to sketch-based modeling
2005
In this work, the background and evolution of three-dimensional reconstruction of line drawings during the last 30 years is discussed. A new general taxonomy is proposed to make apparent and discuss the historical evolution of geometrical reconstruction and their challenges. The evolution of geometrical reconstruction from recovering know-how stored in engineering drawings to sketch-based modeling for helping in the first steps of conceptual design purposes, and the current challenges of geometrical reconstruction are discussed too.