Partial identification of amenity demand functions

Identification of Partial Disjunction, Parity, and Threshold Functions

Let F be a class of functions obtained by replacing some inputs of a Boolean function of a xed type with some constants. The problem considered in this paper, which is called attribute e cient learning, is to identify \e ciently" a Boolean function g out of F by asking for the value of g at chosen inputs, where \e ciency" is measured in terms of the number of essential variables. We study the q...

Fuzzy type theory with partial functions

This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided tointroduce a special value ”∗” that represents ”undefined”. In the interpretation of FTT, this value lays outside of thecorresponding domain. In the syntax it can be naturally represented by the description operator acting on the empty(fuzzy) set, because choosing an element from it...

Partial second-order subdifferentials of -prox-regular functions

Although prox-regular functions in general are nonconvex, they possess properties that one would expect to find in convex or lowerC2  functions. The class of prox-regular functions covers all convex functions, lower C2  functions and strongly amenable functions. At first, these functions have been identified in finite dimension using proximal subdifferential. Then, the definition of prox-regula...

Demand analysis with partial predicates

In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of demand information — i.e. knowing in advance which computations are needed and, to which extent, in a particular context. This work studies demand analysis – which is closely related to backwards strictness analysis – in a semantic framework of partial...

Partial Predicates for Demand Analysis