Controlling Functional Uncertainty

Details Controlling Functional Uncertainty Controlling Functional Uncertainty

1996-08-06

arxiv.org/abs/cmp-lg/9608002v1

Computer Science

Computation and Language

5 pages (to appear in Proceedings of ECAI '96)

Scientific paper

There have been two different methods for checking the satisfiability of feature descriptions that use the functional uncertainty device, namely~\cite{Kaplan:88CO} and \cite{Backofen:94JSC}. Although only the one in \cite{Backofen:94JSC} solves the satisfiability problem completely, both methods have their merits. But it may happen that in one single description, there are parts where the first method is more appropriate, and other parts where the second should be applied. In this paper, we present a common framework that allows one to combine both methods. This is done by presenting a set of rules for simplifying feature descriptions. The different methods are described as different controls on this rule set, where a control specifies in which order the different rules must be applied.

Affiliated with

Also associated with

No associations

Rating

Controlling Functional Uncertainty does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Controlling Functional Uncertainty, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Controlling Functional Uncertainty will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-193306