Permissions in Deontic Event-Calculus

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.

Modeling obligations with event-calculus

Time plays an important role in norms. In this paper we start from our previously proposed classification of obligations, and point out some shortcomings of Event Calculus (EC) to represent obligations. We proposed an extension of EC that avoids such shortcomings and we show how to use it to model the various types of obligations.

BPEL引擎监控平台的设计与实现

WS-BPEL作为WEB服务复合事实上的标准正引起越来越多的关注，它可以用来整合物理上分布的服务，构建复杂的业务流程。复合服务的执行依赖于分布的自治的第三方服务，其实际行为可能与预先指定的行为约束不一致；此外，由于复合服务的动态性和灵活性，其本身在运行期间可能发生动态调整，以适应不断变化的业务环境，因此需要对复合服务的行为在运行期进行连续的监控，保证复合服务的正确执行。同时，通过对复合服务的运行时监控，可以获取执行期间的各种性能信息，从而为流程的优化和动态的服务选择提供依据。 本文首先对业务流程运行时的监控需求进行了分析，然后针对这些监控需求，结合BPEL流程的特点，设计了一种新型的基于事件的监控需求描述语言Mon-BPEL，它可以精确的刻画功能性和非功能性的监控需求。相对于其他基于事件的监控需求描述语言(如 Event Calculus，Past LTL等)，Mon-BPEL可以方便的刻画流程执行事件序列之间的时序关系，同时，它具有简洁易懂，用户友好等特点。 此外，本文研究了基于AOP技术的业务流程监控机制。论文设计了一种针对BPEL语言的AOP扩展方案，以支持对业务流程运行期的动态监控。通过将监控需求映射为方面，从而分离了关注点，降低了业务流程开发的复杂度，提高了流程的可维护性。接着给出了Mon-BPEL监控需求表达式的的自动机语义，并基于自动机理论对监控需求表达式进行计算，检查指定的监控需求是否违背。最后，论文探讨了Aspect的动态编织机制，将监控功能引入BPEL引擎。 论文最后给出了监控平台在OnceBPEL引擎中的实现，并将前面提到的研究成果引入其中,通过实验对系统的功能及性能进行了测试与评估。

Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.

Reasoning about change over time: Actions, events and their effects

This paper presents a new formalism for reasoning about change over time. The formalism derives a clean separation between the notion of states and situations. It allows more flexible temporal causal relationships than do other formalisms for reasoning about causal change, such as the situation calculus and the event calculus. It includes effects that start during, immediately after, or some time after their causes, and which end before, simultaneously with, or after their causes. A formal distinction between actions, action-types and events is proposed, which allows the expression of common-sense causal laws at high level. It is shown how these laws can be used to deduce state change over time at low level, when events occur under certain preconditions hold. Two problems that beset most interval-based temporal systems, i.e., the so-called dividing instant problem and intermingling problem, are absent from the formalism.

Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics

This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, and semantic study of intermediate systems between the classical propositional calculus CPC and the minimal normal modal logic K.

Corporate social responsibility and sport event sponsorship

Demonstrating socially responsible behaviour has become increasingly important for corporations. Using the Psychological Continuum Model (PCM) as its theoretical framework, this paper examines the meditational role of corporate social responsibility (CSR) on the relationship between sport participation motivation, event attachment and purchase intent of a sport event’s sponsors’ products. A questionnaire was distributed to a sample of sport event participants (N=689) to measure sport participation motivation (recreation and charity), attachment to the event, CSR, and purchase intent of sponsors’ products. Results reveal that CSR fully mediates the link between purchase intent and sport participation motivation and partially mediates the influence of attachment on purchase intent. The authors propose that corporations strategically align with sport events in which participants are attached to allow for CSR and the meaning elicited by the event to work jointly.

An investigation of differences in crash characteristics between males and females involved in a fatigue-related crash or close call event

There is consensus among community and road safety agencies that driver fatigue is a major road safety issue and it is well known that excessive fatigue is linked with an increased risk of a motor vehicle crash. Previous research has implicated a wide variety of factors involved in fatigue-related crashes and the effects of these various factors in regard to crash risk can be interpreted as causal (i.e. alcohol and/or drugs may induce fatigue states) or additive (e.g. where a lack of sleep is combined with alcohol). As such, the purpose of this investigation was to examine self-report data to determine whether there are any differences in the prevalence, crash characteristics, and travel patterns of males and females involved in a fatigue-related crash or close call event. Such research is important to understand how fatigue related incidents occur within the typical driving patterns of men and women and it provides a starting point in order to explore if males and females experience and understand the risk of diving when tired in the same way. A representative sample of (N = 1,600) residents living in the Australian Capital Territory (ACT) and New South Wales (NSW), Australia, were surveyed regarding their experience of fatigue and their involvement in fatigue-related crashes and close call incidents. Results revealed that over 35% of participants reported having had a close call or crash due to driving when tired in the five years prior to the study being conducted. In addition, the results obtained revealed a number of interesting characteristics that provide preliminary evidence that gender differences do exist when examining the prevalence, crash characteristics, and travel patterns of males and females involved in a fatigue-related crash or close call event. It is argued that the results obtained can provide particularly useful information for the refinement and further development of appropriate countermeasures that better target this complex issue.

Event-related potential (ERP) correlates of impaired visuospatial memory in schizophrenia

Previous studies have reported that patients with schizophrenia demonstrate impaired performance during working memory (WM) tasks. The current study aimed to determine whether WM impairments in schizophrenia are accompanied by reduced slow wave (SW) activity during on-line maintenance of mnemonic information. Event-related potentials were obtained from patients with schizophrenia and well controls as they performed a visuospatial delayed response task. On 50% of trials, a distractor stimulus was introduced during the delay. Compared with controls, patients with schizophrenia produced less SW memory negativity, particularly over the right hemisphere, together with reduced frontal enhancement of SW memory negativity in response to distraction. The results indicate that patients with schizophrenia generate less maintenance phase neuronal activity during WM performance, especially under conditions of distraction.