The paper presents a transition function based formalism for specifying robot programming frameworks. It deals with systems consisting of multiple embodied agents (e.g., robots), influencing the environment through their effectors and gathering information from the environment through their sensors. The presented examples pertain to behavioral and hybrid behavioral-deliberative agents, but are ...

Leonel Morgado, Maria Cruz, and Ken Kahn 1 Department of Engineering, University of Trás-os-Montes and Alto Douro, Quinta de Prados, 5001801, Vila Real, Portugal 2 Department of Education & Psychology, University of Trás-os-Montes and Alto Douro, Edifício do CIFOP, R. Dr. Manuel Carmona, 5001-801 Vila Real, Portugal 3 Animated Programs, President, 4 Folly Bridge Court, Shirelake Close, Oxford O...

In order to validate suitable methods for investigating learning processes, we are currently conducting a case study, exploring the mental models of novice students in the field of object oriented modeling and programming. Until now we have asked the students of an introductory course of lessons to draw concept maps at three points of time. Additionally we conducted a small exam, where the stud...

It is well known that Data Envelopment Analysis (DEA) is a relative efficiency measurement tool, which uses optimization techniques to automatically calculate the weights assigned to the crisp deterministic multiple inputs and outputs of a set of the Decision Making Units (DMUs) being assessed. However, crisp deterministic data requirement delimits an application to the real world problems wher...

Linguistic terms are often used to represent the truth degree or credibility degree to manage the uncertainty or imprecision as one of popular ways of knowledge representation in the perception-based decision making problem. This present work represents the credibility of uncertain knowledge using linguistic values. The linguistic-valued credibility is then modeled based on a lattice ordered lo...

Fuzzy clustering is a widely used approach for data classification by using the fuzzy set theory. The probability measure and the possibility measure are two popular measures which have been used in the fuzzy c-means algorithm (FCM) and the possibilistic clustering algorithms (PCAs), respectively. However, the numerical experiments revealed that FCM and its derivatives lack the intuitive concep...

As the 750kV substation has the characteristics like timing inconsistency, dual protection configuration and uncertain diagnosis result, a fault diagnosis method of substation with redundant protection configuration based on time sequence fuzzy Petri nets is proposed. In this method, redundant knowledge about fault component is represented by using two sets of protective information. On that ba...

We introduce metaprogramming facilities into the Oberon V system Metaprogramming means that a module can access the struc ture of other modules i e procedures types run time data at run time We discuss how type safety can be enforced in an environment with strong typing Finally we show how metaprogramming can be used to implement an easy to use database interface and conclude with a com parison...

conjunctive use of ground and surface water can increase reliability of the water supply by providing independent sources. in this study, corrected utility-efficient pro-gramming that allows for more than one seasonal irrigation depth for each crop was used to determine the amount of utility maximizing investment in the well capacity for conjunctive use. results showed that optimum investment a...