Relational syntax is presented for nondeterministic algebraic spec-iications called the language of relational terms. It is shown how non-deterministic speciications can be translated to the relational terms. A complete inference system is presented for derivation of valid clauses of relational atoms. Finally, a-abstraction construct is introduced extending the syntax of relational terms. It is...

This paper presents a series of geometric definitions and algorithms that together form a type-2 geometric fuzzy inference system which can operate over a truly continuous domain, with no need for discretisation at any stage.

A deductive database system PACADE (Protein Atomic Coordinate Analyzer with Deductive Engine) has been developed for protein structure analysis. With this system, super-secondary structures described in logical and declarative rules can be retrieved effectively. For protein structure analysis, comparison of local structures in different proteins is a necessary mean. A function to search for sim...

A simple agriculture ontology system was constructed under extended SKOS model in this paper. A theme relevance algorithm based on terms’ distances in ontology system was tested and applied in improving the Pagerank evaluating. And also an online agricultural semantic search engine named as Sonong was implemented and deployed for service on internet. This online engine provides semantic hierarc...

In this paper1, the concept of Causal Relevancy. (CR) is introduced in the context of the Fuzzy Inductive Reasoning (FIR) modeling and simulation methodology. The idea behind causal relevancy is to quantify how much in uence each system variable has, from the spatial and temporal points of view, on the prediction of the output. This paper introduces the fuzzy inductive reasoning inference engin...

Static type checking allows programmers to locate potential bugs prior to code execution. However, developing a static type checker is a complicated endeavor. Implementers must address a number of concerns including recursion over syntax elements, unification of type variables within environments, and generation of meaningful error messages for users. The inherent complexity of type checkers ca...

The presented control scheme utilizes Adaptive Neuro Fuzzy Inference System (ANFIS) controller to track rotational speed of a reference engine and disturbance rejection during engine idling. To evaluate the performance of the controller a model of the system is developed and simulation results are presented. It is shown that the ANFIS controller is suitable for control systems with large time d...

This paper presents a privacy compliance engine that monitors emails generated in an organization for violation of privacy policy of this organization. Our architecture includes four components: a domain knowledge defining the entities and private information we are dealing with, a pre-analysis component that extracts header information and segments the emails, an information extraction system ...

This research proposes design and development of a medical knowledge-based system (MKBS) for diagnosis from symptoms and signs. This system was developed to support a knowledge construction and an inference engine. The knowledge construction was based on a concept of production rules, which was performed in tree structure. The inference engine used interactive forward chaining technique to infe...