one-third of the people with an age over twenty have some signs of degenerated discs. however, in most of the patients the mere presence of degenerative discs is not a problem leading to pain, neurological compression, or other symptoms. this paper presents an interval type-2 fuzzy hybrid rule-based system to diagnose the abnormal degenerated discs where pain variables are represented by interv...

We introduce the first, general purpose, slice sampling inference engine for probabilistic programs. This engine is released as part of StocPy, a new Turing-Complete probabilistic programming language, available as a Python library. We present a transdimensional generalisation of slice sampling which is necessary for the inference engine to work on traces with different numbers of random variab...

Molecular computing is a new paradigm to perform calculations using nanotechnology. This paper presents the overall research direction from which molecular inference and expert systems are emerging. It introduces the subject matter and a general description of the problems involved. This includes selected methods of knowledge representation by DNA oligonucleotides, strategies of the inference m...

An inference engine for rule based expert systems which forms part of the EXPRES system is developed and presented. It is shown to be universal, correct, and optimal with respect to time. In addition, a VLSI implementation of the system is proposed which allows automatic design of universal as well as special purpose expert systems on a chip.

Text: Recently, Minagawa proposed a knowledge refinement method for crack diagnostic expert system. The inference engine was constructed for a reciprocal network based on min-max composition algorithm. The knowledge refinement function was installed into the engine by using the concept of back propagation algorithm. First the inference and refinement method are applied to the rule-base system f...

The L, , knowledge representation language and an inference engine to interpret it have been developed as part of the LILOG project, where now concepts for understanding natural-language texts were investigated. L, is a typed predicate logic whose type system has adopted the concepts of KL-One-like languages. Further language constructs allow the formulation of default and control knowledge. Th...

This paper describes a project in development at the Tijuana Institute of Technology concerning the design and implementation of an Inference Engine for the execution of Fuzzy Inference Systems(FISs), the top level architecture of the system is presented, and the object oriented design of the main modules is also discussed. The engine is implemented as a .NET framework component to be reference...

with flooding amount data in the world, information retrieval becomes irrelevant for the user’s query. In any search engine, the information is shown based on the ranking and this ranking maybe ambiguous in knowledge base. The semantic technique called Terminological Knowledge box and Assertion Knowledge Box are used for authorization and access control in Inference Policy Engine. In this paper...

paper describes the design and implementation of an inference engine for the execution of Fuzzy Inference Systems (FIS), the architecture of the system is presented, and the object-oriented design of the main modules is also discussed. The engine is implemented as a component to be referenced by other applications locally or remotely as a web service. This engine is needed by our research group...