We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth. 相似文献
Nowadays any Knowledge Based System (KBS) realization needs of intercommunication among distributed components and to use non-connected and distributed data sources, which poses several challenges to the classical Artificial Intelligence field of KBS.
The multiagent paradigm and the use of ontologies are considered to be suitable tools to face the problems of designing and developing today KBS. On the other hand, using such networked KBS through handheld devices makes more efficient exploitation and interaction with the system.
This paper presents an open and flexible architecture for a distributed KBS and an application of it to construct a system for Psychological Disorders consulting, the so called PDA2 (Psychological Disorder Assistant through PDA). We analyze the main features of the architecture as well as the agent tools we may use to construct it. Additionally, we present a support ontology for Psychological Disorders. 相似文献
This paper evaluates different forms of rank-based selection that are used with genetic algorithms and genetic programming.
Many types of rank based selection have exactly the same expected value in terms of the sampling rate allocated to each member
of the population. However, the variance associated with that sampling rate can vary depending on how selection is implemented.
We examine two forms of tournament selection and compare these to linear rank-based selection using an explicit formula. Because
selective pressure has a direct impact on population diversity, we also examine the interaction between selective pressure
and different mutation strategies. 相似文献