Research in the area of sensorimotor and neurovestibular function has played an important role in enabling human space flight. This role, however, is changing. One of the key aspects of sensorimotor function relevant to this role will build on its widespread connections with other physiological and psychological systems in the body. The firm knowledge base in this area can provide a strong plat...

Information agents are increasingly being used for efficient and precise information retrieval from the Internet. Most of them are handcrafted from scratch and can not easily be adapted to other search domains. Targeting on agents for searching semi-structured data, we propose a knowledgebased methodology for easy generation and adaptation of information agents. Agents can be built by adding do...

Semantic interpretation of language requires extensive and rich lexical knowledge bases (LKB). The Basque WordNet is a LKB based on WordNet and its multilingual counterparts EuroWordNet and the Multilingual Central Repository. This paper reviews the theoretical and practical aspects of the Basque WordNet lexical knowledge base, as well as the steps and methodology followed in its construction. ...

In many domains, users from varying backgrounds (and with varying conceptualisations of the domain) seek advice from an expert and the expert adapts their reasoning and explanation for the background of each user, using stereotypical categories of user (for example physicist or engineer). In earlier papers, the viewpoints mechanism was presented as a means of replicating this behaviour in knowl...

T h e conceptual f ramework of a hybrid control s y s t e m architecture i s briefly motivated. It employs neural and f u z z y techniques on a side-by-side basis using each one for the task it i s best suited for. I n this paper, our m a i n interest i s with the adaptation of the f u z z y control knowledge. T h e adaptation algorithm i s based o n reinforcement signals and directly optimizes...

ion Based Information Technology is a way of understanding knowledge, interaction and control in many different domains. It explicitly covers humanities in this sense whereas the approaches mentioned above remained much more on a purely mathematical and/or computational side for better control and easier modeling. The concept “ABIT” (Abstraction Based Information Technology) proposed in (Calmet...

The IDEF3 process modelling technique has been used to represent the process of Crisis Management [2], which is one of the HPKB challenge problems. The process models add detail and structure to the description of this task given in the challenge problem specification [1]. The resulting process models have been verified by SMEs and therefore can be considered to be accurate descriptions of the ...

In this paper, we study algorithm invention and verification as a specific variant of systematic theory exploration and propose the ”lazy thinking paradigm” for inventing and verifying algorithms automatically; i.e., for a given predicate logic specification of the problem in terms of a set of operations (functions and predicates), the method produces an algorithm that solves the problem togeth...

In recent years, the natural language generation community has begun to mature rapidly and produce sophisticated oo-the-shelf surface realizers. A parallel development in the knowledge representation community has been the emergence of large-scale knowledge bases that house tens of thousands of facts encoded in expressive representational languages. Because of the richness of their representati...