Assumption-Based Modeling Using ABEL
نویسندگان
چکیده
Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. The problem is that each of the existing systems has its own user interface and an individual language to model the knowledge and the queries. This paper proposes ABEL, a new and general language to express uncertain knowledge and corresponding queries. Examples from different domains show that ABEL is powerful and general enough to be used as common modeling language for the existing software systems. A prototype of ABEL is implemented in Evidenzia, a system restricted to models based on propositional logic. A general ABEL solver is actually being implemented.
منابع مشابه
ABEL – A New Language for Assumption-Based Evidential Reasoning under Uncertainty∗
Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. The problem is that each of the existing systems has its own user interface and an individual language to model the knowledge and the queries. This paper proposes ABEL, a new and general language to express uncertain knowledge a...
متن کاملModelling uncertainty with propositional assumption-based systems
This paper proposes assumption-based systems as an efficient and convenient way to encode uncertain information. Assumptionbased systems are obtained from propositional logic by including a special type of propositional symbol called assumption. Assumptions are needed to express the uncertainty of the given information. Assumptionbased systems can be used to judge hypotheses qualitatively or qu...
متن کاملEvaluating the effect of the global ionospheric map on aiding retrieval of radio occultation electron density profiles
Radio occultation (RO) has been proven to be a powerful technique for ionospheric electron density profile (EDP) retrieval. The Abel inversion currently used in RO EDP retrieval has degraded performance in regions with large horizontal gradients because of an assumption of spherical symmetry as indicated by many studies. Some alternative methods have been proposed in the past; the global ionosp...
متن کاملA Method to Approximate Solution of the First Kind Abel Integral Equation Using Navot's Quadrature and Simpson's Rule
In this paper, we present a method for solving the rst kind Abel integral equation. In thismethod, the rst kind Abel integral equation is transformed to the second kind Volterraintegral equation with a continuous kernel and a smooth deriving term expressed by weaklysingular integrals. By using Sidi's sinm - transformation and modied Navot-Simpson'sintegration rule, an algorithm for solving this...
متن کاملConvergence analysis of Jacobi spectral collocation methods for Abel-Volterra integral equations of second kind
Abstract This work is to analyze a spectral Jacobi-collocation approximation for Volterra integral equations with singular kernel φ(t, s) = (t − s)−μ. In an earlier work of Y. Chen and T. Tang [J. Comput. Appl. Math., 2009, 233: 938– 950], the error analysis for this approach is carried out for 0 < μ < 1/2 under the assumption that the underlying solution is smooth. It is noted that there is a ...
متن کامل