Studies in knowledge representation : modeling change - the frame problem : pictures and words

In two studies, the author attempts to develop a general symbol theoretical approach to knowledge representation. The first study, Modeling change - the frame problem, critically examines the - so far unsuccessful - attempts to solve the notorious frame problem. By discussing and analyzing a number of related problems - the prediction problem, the revision problem, the qualification problem, and the book-keeping problem - the frame problem is distinguished as the problem of finding a representational form permitting a changing, complex world to be efficiently and adequately represented. This form, it is argued, is dictated by the metaphysics of the problem world, the fundamental form of the symbol system we humans use in rightly characterizing the world. In the second study, Pictures and words, the symbol theoretical approach is made more explicit. The subject Is the distinction between pictorial (non-linguistic, non-propositional, analogical, "direct") representation and verbal (linguistic, propositional) representation, and the further implications of this distinction. The study focuses on pictorial representation, which has received little attention compared to verbal representation. Observations, ideas, and theories in AI, cognitive psychology, and philosophy are critically examined. The general conclusion is that there is as yet no cogent and mature theory of pictorial representation that gives good support to computer applications. The philosophical symbol theory of Nelson Goodman is found to be the most thoroughly developed and most congenial with the aims and methods of AI. Goodman's theory of pictorial representation, however, in effect excludes computers from the use of pictures. In the final chapter, an attempt is made to develop Goodman's analysis of pictures further turning it into a theory useful to AI. The theory outlined builds on Goodman's concept of exemplification. The key idea is that a picture is a model of a description that has the depicted object as its standard model. One consequence Is that pictorial and verbal forms of representation are seen less as competing alternatives than as complementary forms of representation mutually supporting and depending on each other.digitalisering@um

Available information — preparatory note for a theory of information space

Information technology warps information space, but there are limits to the availability of information. Information distance is introduced to begin investigate the shape of information space, which is very much needed. The concept of availability profile is proposed as a way of defining spatial location in information space, also interpretable as information state. A first check of the possibilities to extend the agentcentric view into an infocentric view is not immediately discouraging, but many problems and issues remain

Behavior recognition for learning from demonstration

Two methods for behavior recognition are presented and evaluated. Both methods are based on the dynamic temporal difference algorithm Predictive Sequence Learning (PSL) which has previously been proposed as a learning algorithm for robot control. One strength of the proposed recognition methods is that the model PSL builds to recognize behaviors is identical to that used for control, implying that the controller (inverse model) and the recognition algorithm (forward model) can be implemented as two aspects of the same model. The two proposed methods, PSLE-Comparison and PSLH-Comparison, are evaluated in a Learning from Demonstration setting, where each algorithm should recognize a known skill in a demonstration performed via teleoperation. PSLH-Comparison produced the smallest recognition error. The results indicate that PSLH-Comparison could be a suitable algorithm for integration in a hierarchical control system consistent with recent models of human perception and motor control

Model-free learning from demonstration

A novel robot learning algorithm called Predictive Sequence Learning (PSL) is presented and evaluated. PSL is a model-free prediction algorithm inspired by the dynamic temporal difference algorithm S-Learning. While S-Learning has previously been applied as a reinforcement learning algorithm for robots, PSL is here applied to a Learning from Demonstration problem. The proposed algorithm is evaluated on four tasks using a Khepera II robot. PSL builds a model from demonstrated data which is used to repeat the demonstrated behavior. After training, PSL can control the robot by continually predicting the next action, based on the sequence of passed sensor and motor events. PSL was able to successfully learn and repeat the first three (elementary) tasks, but it was unable to successfully repeat the fourth (composed) behavior. The results indicate that PSL is suitable for learning problems up to a certain complexity, while higher level coordination is required for learning more complex behaviors

Predictive learning from demonstration

A model-free learning algorithm called Predictive Sequence Learning (PSL) is presented and evaluated in a robot Learning from Demonstration (LFD) setting. PSL is inspired by several functional models of the brain. It constructs sequences of predictable sensory-motor patterns, without relying on predefined higher-level concepts. The algorithm is demonstrated on a Khepera II robot in four different tasks. During training, PSL generates a hypothesis library from demonstrated data. The library is then used to control the robot by continually predicting the next action, based on the sequence of passed sensor and motor events. In this way, the robot reproduces the demonstrated behavior. PSL is able to successfully learn and repeat three elementary tasks, but is unable to repeat a fourth, composed behavior. The results indicate that PSL is suitable for learning problems up to a certain complexity, while higher level coordination is required for learning more complex behaviors

Simultaneous control and recognition of demonstrated behavior

A method for Learning from Demonstration (LFD) is presented and evaluated on a simulated Robosoft Kompai robot. The presented algorithm, called Predictive Sequence Learning (PSL), builds fuzzy rules describing temporal relations between sensory-motor events recorded while a human operator is tele-operating the robot. The generated rule base can be used to control the robot and to predict expected sensor events in response to executed actions. The rule base can be trained under different contexts, represented as fuzzy sets. In the present work, contexts are used to represent different behaviors. Several behaviors can in this way be stored in the same rule base and partly share information. The context that best matches present circumstances can be identified using the predictive model and the robot can in this way automatically identify the most suitable behavior for precent circumstances. The performance of PSL as a method for LFD is evaluated with, and without, contextual information. The results indicate that PSL without contexts can learn and reproduce simple behaviors. The system also successfully identifies the most suitable context in almost all test cases. The robot's ability to reproduce more complex behaviors, with partly overlapping and conflicting information, significantly increases with the use of contexts. The results support a further development of PSL as a component of a dynamic hierarchical system performing control and predictions on several levels of abstraction.