A formal model of machine learning by considering user preference of attributes is proposed in this paper. The model seamlessly combines internal information and external information. This model can be extended to user preference of attribute sets. By using the user preference of attribute sets, user preferred reducts can be constructed.

Using a formal method for reasoning about knowledge, decentralized discrete-event control problems are described. States of the system where supervisors do not have suucient knowledge to make the correct control decision can be detected. A solution where supervisors may communicate is presented. The relationship between communication and control is complex because (i) control decisions made by ...

We propose the notion of phenomenal computing as a dynamical pair of a computing system and the environments of executing computation. It is expressed as a formal model of observational heterarchy inheriting robustness against structural crisis. Observational heterarchy consists of two different categories connected by pre-adjoint functors where inter-categories operations are defined as pre-fu...

In this article we argue that open agent organisations can be effectively designed and implemented as institutionalized electronic organisations ('electronic institutions') composed of a vast amount of heterogeneous (human and software) agents playing different roles and interacting by means of speech acts. Here we take the view that the desing and development of electronic institutions must be...

The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processed. Conditions of policies may depend on the previous processing of the data. However, existing policy languages do not provide means to express such conditions. In this work we present a formal model and language allo...

We propose to design, develop and experiment a new approach of formal security proofs. One of the main issues in formal security proofs is to design an attacker model. Such a model is always disputable; even when a proof is completed in some model, one can find an attack in another model. This project aims at bypassing the problem, roughly by specifying what an attacker cannot do, instead of sp...

Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their immediate success is the fact that no specific skills are needed for participating. In this paper we specify a formal model for folksonomies, briefly describe our own system BibSonomy, which allows for sharing both bookmarks and ...

inside the system-development Today five years and many successful / trayal of formal methods does little to applications later-formal methods rehelp the situation. In many “popular cozwnunhy. The authors address main one of the most contentious areas press” science journals, formal methods of software-engineering practice. are subjected to either deep criticism or, and dispel these myths based...

In this paper we address particular aspects of integration of formal methods in large-scale industrial projects, namely collaborative aspects. We review recent works addressing such aspects, identify some current trends and discuss directions for further research.