We propose a logic for specifying and proving properties of membrane systems. The main idea is to approach a membrane system by using the “point of view” of an external observer. Observers (as epistemic agents) accumulate their knowledge from the partial information they collect by observing subparts of the system and by applying logical reasoning to this information. We provide a formal framew...

The product homomorphism method is a combinatorial tool that can be used to develop polynomial PAC-learning algorithms in predicate logic. Using the product homomorphism method, we show that a single nonrecursive definite Horn clause is polynomially PAC-learnable if the background knowledge is a function-free extensional database over a single binary predicate and the ground atoms in the backgr...

Nonlinear PID (NPID) control is implemented by allowing the controller gains to vary as a function of system state. NPID control has been previously described and implemented, and recently a constructive Lyapunov stability proof has been given. The controllers arising with the constructive Lyapunov method will in general depend on knowledge of the full state vector. In the present work, NPID co...

One of the common features of decision–theoretic rough set models is that they rely on total background (available) knowledge in the sense that the knowledge covers the discourse universe. In the proposed framework the author gives up this requirement and allows that available knowledge about the discourse universe may be partial. It is shown by introducing optimistic, average and pessimistic p...

Most of the work on partial evaluation, to date, relies on using knowledge about data values to guide specialization of program code. In this abstract we discuss the use of partial evaluation for the dual optimization, of using knowledge about a program to guide the specialization of data representations. Preliminary experiments suggest that this can yield signiicant performance improvements fo...