Based on the concept of DNA strand displacement and DNA strand algebra we have developed a method for logical inference which is not based on silicon based computing. Essentially, it is a paradigm shift from silicon to carbon. In this paper we have considered the inference mechanism, viz. modus ponens, to draw conclusion from any observed fact. Thus, the present approach to logical inference ba...

Prediction of functions is one of processes considered in inductive inference. There is a ”black box” with a given total function f in it. The result of the inductive inference machine F (< f(0), f(1), · · · , f(n) > ) is expected to be f(n + 1). Deterministic and probabilistic prediction of functions has been widely studied. Frequency computation is a mechanism used to combine features of dete...

Neurules are a type of hybrid rules combining a symbolic and a connectionist representation. There are two disadvantages of neurules. The first is that the created neurule bases usually contain multiple representations of the same piece of knowledge. Also, the inference mechanism is rather connectionism oriented than symbolism oriented, thus reducing naturalness. To remedy these deficiencies, w...

Understanding natural language frequently requires determining co-reference of diierent descriptions of the same action or object. Schema-based reasoning is a well-established technology for natural language understanding ; existing systems, however, do not cope with this problem in a suuciently general way. In this paper, we propose to address this de-ciency by augmenting a schema-based rea-so...

We introduce the inference queue as a mechanism for communicating and transforming data in Web services choreography. The insert operation provides definite clauses to the inference queue, and the remove operation generates output that is sound, complete, fair, and irredundant. Both operations are thread safe and responsive. The inference queue can form part of a highly configurable data transf...

The paper presents a causal-probabilistic approach to the technical diagnosis in which the solution of the technical diagnostic problem is considered as a probabilistic inference on a special kind of Bayesian networks called Diagnostic Bayesian Networks. A mechanism of probabilistic inference and an algorithm for inference control are described. It is proved that a diagnostic problem represente...

The article presents a simple way how knowledge represented via RDF triples provides an easier method of inference, managing and finding interrelations between knowledge objects than that an approach based on OWL language. The authors of the article come out of the T. Richard’s inference system of the Clausal Form Logic (CFL) based on the formal manipulation with conditional „if – then“ stateme...

In this paper, we present the design of a scalable, distributed stream processing system for RFID tracking and monitoring. Since RFID data lacks containment and location information that is key to query processing, we propose to combine location and containment inference with stream query processing in a single architecture, with inference as an enabling mechanism for high-level query processin...

This paper reviews eight different inference rules for experience-based reasoning (EBR), and proposes a multiagent architecture for an EBR system, which constitutes an important basis for developing any multiagent EBR systems (EBRS). The proposed architecture consists of a global experience base (GEB), and a multi-inference engine (MIE), which is the mechanism for implementing eight reasoning p...