Alternate world interpretation of NEW ciset operators

Abstract

In this paper we present a formal model of semantics for newly introduced [8] operators of cisets. The notion of alternate worlds is used to formalize the information content of a cisets. A ciset represents a collection of (regular) sets. Once this collection has been identified, any ciset operator can be applied on the collection of (regular) sets represented by cisets involved. This approach is computationally inefficient and is introduced solely to explain in a formal way, the semantics of newly introduced operators.