While WS-BPEL addresses the industry’s need for rich and standard service orchestration semantics it provide only limited expressiveness to describe (business) decision logic and conditional reaction logic. In this paper we propose a heterogenous service-oriented integration of rules into BPEL to describe rule-based business processes and implement a distributed rule inference service middlewar...

In a large fuzzy rule-based system, a great dealof computation time is required for a fuzzy inference engine. A given fuzzy rule-based system is modeled as a fuzzy inference graph where each node in the graph corresponds to a relation representing a rule in the rule-based system. This paper presents algorithms to minimize the number of nodes in the graph using fuzzy operations as well as their ...

Defeasible Logic is a rule-based non-monotonic logic with tractable reasoning services. In this paper we extend Defeasible Logic with nested rules. We consider a new Defeasible Logic, called DLns, where we allow one level of nested rules. A nested rule is a rule where the antecedent or the consequent of the rule are rules themselves. The inference conditions for DLns are based on reflection on ...

for technical and economic success of miscible gas injection projects, an accurate laboratory measurement of minimum miscibility pressure (mmp) at reservoir conditions is essential. on the other hand, compositional reservoir simulator is a useful tool in gas injection studies and prediction of mmp. the main goal of this paper is to describe a procedure to generate a three phase sequential type ...

We study inference systems for the combined class of functional and full hierarchical dependencies in relational databases. Two notions of implication are considered: the original version in which the underlying set of attributes is fixed, and the alternative notion in which this set is left undetermined. The first main result establishes a finite axiomatisation in fixed universes which clarifi...

Purpose of research is to study the hypothesis about possibility changing type transition process during training in a neuro-fuzzy inference system based on area ratio method, and properties weight coefficient influence its stability. Methods. An apparatus fuzzy logic used for development output system. At same time, input variables are described by triangular membership functions. Mamdani impl...

We propose Edward, a Turing-complete probabilistic programming language. Edward builds on two compositional representations—random variables and inference. By treating inference as a first class citizen, on a par with modeling, we show that probabilistic programming can be as flexible and computationally efficient as traditional deep learning. For flexibility, Edward makes it easy to fit the sa...

The problem of sparse fuzzy rule bases is introduced. Because of the high computational complexity of the original compositional rule of inference (CRI) method, it is strongly suggested that the number of rules in a final fuzzy knowledge base is drastically reduced. Various methods of analogical reasoning available in the literature are reviewed. The mapping style interpretation of fuzzy rules ...