Mutually Exclusive Rules in LogicWeb
Kwon, Keehang · Kang, Daeseong
Original · EN
LogicWeb has traditionally lacked devices for expressing mutually exclusive clauses. We address this limitation by adopting choice-conjunctive clauses of the form D₀ D₁ where D₀, D₁ are Horn clauses and is a linear logic connective. Solving a goal G using D₀ D₁ -- (D₀ D₁,G) -- has the following operational semantics: choose a successful one between (D₀,G) and (D₁,G). In other words, if Dₒ is chosen in the course of solving G, then D₁ will be discarded and vice versa. Hence, the class of choice-conjunctive clauses precisely captures the notion of mutually exclusive clauses.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.