We study temporal logics and automata on multi-attributed data words. Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions of single data values. As allowing for navigation wrt. tuples of data values renders the logic undecidable, we introduce ND-LTL, an extension of BD-LTL by a restricted form of tuple-navigation. While complete ND-LTL i...

This paper presents an axiomatic framework for influence diagram computation, which allows reasoning with partially ordered values of utility. We show how an algorithm based on sequential variable elimination can be used to compute the set of maximal values of expected utility (up to an equivalence relation). Formalisms subsumed by the framework include decision making under uncertainty based o...

The mobile telecommunications landscape has evolved into a highly competitive and complex ecosystem composed of network operators, mobile device manufacturers as well as software, content and service providers. This major shift has strongly impacted the fundamental nature of mobile devices which have now become complex multi-purpose, multi-context ubiquitous media systems. Such change has engen...

Much of this is taken from Luce and Raiffa’s book and G. Owen’s book and this should be thought of as an extract from these references. Decision making is classified into four types based on who makes the decision (i)individual; (ii)group and on under what conditions it is made: (a)certainty;(b)risk; (c)uncertainty; or (d) combination of (b) and (c). Regardless of whether the decision is made b...

In this paper, we discuss the relationship between multi-attribute utility theory and DEA models without explicit inputs (DEA-WEI), including dual models and some theoretical analysis of DEA-WEI models. We then propose generic DEA-WEI models with quadratic utility terms. Finally, we provide illustrative examples to show that DEA-WEI with suitable quadratic utility terms are able to reflect some...

We develop a revealed-preference theory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by Domotor and Fishburn, are as follows. First, our system enjoys the "small-worlds" property. Second, it represents hierarchical preferences. As a result our expected utility representation is reminscent of type construction...

This paper addresses the multi-attributed graph matching problem considering multiple attributes jointly while preserving the characteristics of each attribute. Since most of conventional graph matching algorithms integrate multiple attributes to construct a single attribute in an oversimplified way, the information from multiple attributes are not often fully exploited. In order to solve this ...

Multi-attributed graph matching is a problem of finding correspondences between two sets of data while considering their complex properties described in multiple attributes. However, the information of multiple attributes is likely to be oversimplified during a process that makes an integrated attribute, and this degrades the matching accuracy. For that reason, a multi-layer graph structure-bas...

Metal price is one of the most important parameters in the calculation of cut- off grade. The cut- off grade has the main role in determination of mine layout. Mine layout actuates mineable reserve, mine life and economic profitability. Not considering the uncertainty in metal prices can lead to a non-optimal layout. In this paper optimum underground mine layout is determined by expected utilit...