This paper presents the SATIS project, which aims at providing to final users the capability to capitalise their know-how about how to search for web services to operationalise business processes. In SATIS, search procedures are elicited through intentions and strategies from which queries dedicated to search for web services are derived. We rely on semantic web models and languages in order to...

The technique of forward/backward simulations has been applied successfuly in many distributed and concurrent applications. In this paper, however, we claim that the technique can actually have more genericity and mathematical clarity. We do so by identifying forward/backward simulations as lax/oplax morphisms of coalgebras. Starting from this observation, we present a systematic study of this ...

The Web-based Weather Expert System (WES) is a critical module of the Virtual Test Bed development to support “go/no go” decisions for Space Shuttle operations in the Intelligent Launch and Range Operations program of NASA. The weather rules characterize certain aspects of the environment related to the launching or landing site, the time of the day or night, the pad or runway conditions, the m...

We present a computational model of approach learning in a T-maze environment. We show that our model learns the correct sequence of six decisions that lead to the location of positive reinforcement and in a manner consistent with experimental observations. Our model exhibits many properties that are characteristic of animal learning in maze environments including delay conditioning, secondary ...

In QueryPIE, the ti-reasoner algorithm is the one responsible to calculate the inferred results of a particular query requested from the user. Conceptually, the only difference between ti-reasoner (reported in Algorithm 1) and traditional backward-chaining is that ti-reasoner does not perform recursive inference on patterns which are more specific than terminological patterns. If the knowledge ...

The inference engine is one of main components of expert system that influences the performance of expert system. The task of inference engine is to give answers and reasons to users by inference the knowledge of expert system. Since the idea of ternary grid issued in 2004, there is only several developed method, technique or engine working on ternary grid knowledge model. The in 2010 developed...