Assumption-Based Modeling Using ABEL

Abstract. 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.

• Type: Conference
• Year: 1997
• Where: ECSQARU
• Authors: Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Norbert Lehmann
• Keywords: ABEL, Automated Reasoning, Different Formalisms, ECSQARU 1997, General Abel Solver