PROCEEDINGS IPMU '08
Measuring with priority based logic
Aleksandar Takaci, Aleksandar Perovic, Aleksandar Jovanovic.
The paper offers a first order axiomatization
of priority based logic that
can handle prioritized symbols. Proposed
axiomatization is closely connected
to the generalized prioritized
fuzzy constraint satisfaction problem
(GPFCSP). Developed formalism
is decidable, due to the existence
of a quantifier elimination procedure
for it.
PDF full paper |