Abstract The Martian ionosphere plays a crucial role in driving the interactions of planet with solar photons and wind particles. variations dayside several controlling factors, including extreme ultraviolet radiation, background atmosphere, underlying thermal structure, have been topic extensive research terms electron distribution. In contrast, how ionospheric composition varies has not syste...

Uncertainty processing methods are analysed from the viewpoint of their sensitivity to small variations of certainty factors. The analysis makes use of the algebraic theory which defines the function for combining partial certainty factors by means of a group operation of the ordered Abelian group over the interval of uncertainty. Two approaches are introduced: (a) sensitivity analysis of the i...

COMPOSITIONAL approaches to mobile accentuation of the Indo-European type derive the accent of words from the lexically specified accentual features of their constituent morphemes, together with the BASIC ACCENTUATION PRINCIPLE (BAP), which erases all accents but the leftmost one, and assigns an accent to the left edge of an unaccented domain.1 I propose here a compositional analysis in which B...

When a logical system is specified and the notion of a derivation or formal proof is explained, we are told (i) which formulas can be used to start a derivation and (ii) which formulas can be derived given that certain other formulas have already been derived. Formulas of the sort (i) are either assumptions or axioms, formulas of the sort (ii) are conclusions of (proper) inference rules. Axioms...

What is an inference rule? This question does not have a unique answer. One usually nds two distinct standard answers in the literature: validity inference (` v ' if for every substitution , the validity of ] entails the validity of ']), and truth inference (` t ' if for every substitution , the truth of ] entails the truth of ']). In this paper we introduce a general semantic framework that al...

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.

Ontologies, fundamental to the realization of the Semantic Web, provide a formal and precise conceptualization of a specific domain that can be used to describe resources on the Web. Reasoning over such resource descriptions is essential in order to facilitate automated processing using formal descriptions that are machine interpretable. In this context, Datalog (with extensions) can be used fo...

In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We present our algorithm as an inference system for computing Hoare triples summarizing heap manipulating programs. Our inference rules are compositional: Hoare triples for a compound statement are computed from the Hoare tr...

Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination. These forms of compositional representation are useful for expressing short passages of a few sentences, but compared to natural language they offer only a limited range of expression, and they are unwieldy for expr...

This paper presents an evolutionary Multiobjective learning model achieving positive synergy between the Inference System and the Rule Base in order to obtain simpler and still accurate linguistic fuzzy models by learning fuzzy inference operators and applying rule selection. The Fuzzy Rule Based Systems obtained in this way, have a better trade-off between interpretability and accuracy in ling...