145 resultados para Temporal logic


Relevância:

60.00% 60.00%

Publicador:

Resumo:

In the past few years several business process compliance framework based on temporal logic have been proposed. In this paper we investigate whether the use of temporal logic is suitable for the task at hand: namely to check whether the specifications of a business process are compatible with the formalisation of the norms regulating the business process. We provide an example inspired by real life norms where the use of linear temporal logic produces a result that is not compatible with the legal understanding of the norms in the example.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Permissions are special case of deontic effects and play important role compliance. Essentially they are used to determine the obligations or prohibitions to contrary. A formal language e.g., temporal logic, event-calculus et., not able to represent permissions is doomed to be unable to represent most of the real-life legal norms. In this paper we address this issue and extend deontic-event-calculus (DEC) with new predicates for modelling permissions enabling it to elegantly capture the intuition of real-life cases of permissions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In two experiments, we study how the temporal orientation of consumers (i.e., future-oriented or present-oriented), temporal construal (distant future, near future), and product attribute importance (primary, secondary) influence advertisement evaluations. Data suggest that future-oriented consumers react most favorably to ads that feature a product to be released in the distant future and that highlight primary product attributes. In contrast, present-oriented consumers prefer near-future ads that highlight secondary product attributes. Study 2 shows that consumer attitudes are mediated by perceptions of attribute diagnosticity (i.e., the perceived usefulness of the attribute information). Together, these experiments shed light on how individual differences, such as temporal orientation, offer valuable insights into temporal construal effects in advertising.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The aim of the dissertation is to discover the extent to which methodologies and conceptual frameworks used to understand popular culture may also be useful in the attempt to understand contemporary high culture. The dissertation addresses this question through the application of subculture theory to Brisbane’s contemporary chamber music scene, drawing on a detailed case study of the contemporary chamber ensemble Topology and its audiences. The dissertation begins by establishing the logic and necessity of applying cultural studies methodologies to contemporary high culture. This argument is supported by a discussion of the conceptual relationships between cultural studies, high culture, and popular culture, and the methodological consequences of these relationships. In Chapter 2, a brief overview of interdisciplinary approaches to music reveals the central importance of subculture theory, and a detailed survey of the history of cultural studies research into music subcultures follows. Five investigative themes are identified as being crucial to all forms of contemporary subculture theory: the symbolic; the spatial; the social; the temporal; the ideological and political. Chapters 3 and 4 present the findings of the case study as they relate to these five investigative themes of contemporary subculture theory. Chapter 5 synthesises the findings of the previous two chapters, and argues that while participation in contemporary chamber music is not as intense or pervasive as is the case with the most researched street-based youth subcultures, it is nevertheless possible to describe Brisbane’s contemporary chamber music scene as a subculture. The dissertation closes by reflecting on the ways in which the subcultural analysis of contemporary chamber music has yielded some insight into the lived practices of high culture in contemporary urban contexts.