Connection Tableau Calculi with Disjunctive Constraints

Automated theorem proving amounts to solving search problems in usually tremendous search spaces. A lot of research therefore focuses on search space reductions. Our approach reduces the search space which arises when using so-called connection tableau calculi for first-order automated theorem proving. It uses disjunctive constraints over first-order equations to compress certain parts of this search space. We present the basics of our constrained-connection-tableau calculi, a constraint extension of connection tableau calculi, and deal with the efficient handling of constraints during the search process. The new techniques are integrated into the automated connection tableau prover Setheo.     

交互自然性的心理结构及其影响

本文通过3个研究探究了交互自然性的心理结构及其影响。研究1通过开展字典检索, 文献回顾和专家访谈, 得到了包含有9个条目的初始量表。研究2问卷调查了353名智能网联汽车用户, 探索性因素分析发现了两因素结构 (“通达舒畅”和“随景应人”)。后续分析表明这两个因素对满意度等关键效标有显著独特的预测作用。研究3使用新样本(n = 349) 验证了双因素模型的稳定性, 还发现这两个交互自然性体验维度对推荐意愿、忠诚感等重要变量也有显著预测作用, 此外还发现, 通达舒畅更多受到基本驾驶辅助系统等功能的影响, 而随景应人更多受到交互和智能相关功能的影响。本文进一步讨论了该量表如何用于未来的人机交互研究。     

Insights into the effectiveness of messaging promoting intentions to use connected vehicle technology

Connected vehicles offer considerable promise for reducing congestion, pollution, and crashes. Nonetheless, less than a third of road users are aware of the potential for connected vehicles to transform transport systems. This study examined the effectiveness of messaging aimed to increase the public’s knowledge of connected vehicle technologies using a short, animated video and its effects as assessed via a survey. Participants were assigned to either a control group, who were not exposed to the messaging, or an intervention group, who were exposed to the messaging, within a pre-post design. Participants (in the intervention group) answered questions about their knowledge of and experience with connected vehicle technologies prior to seeing the messaging and again following being exposed to such messaging together with their intentions to use these technologies in the future. As a theoretically informed investigation, the Theory of Planned Behaviour (TPB) constructs of attitudes, subjective norms, and perceived behavioural control were also measured. The results showed that the messaging increased knowledge about and intention to use connected vehicle technologies. Furthermore, changes in how the TPB constructs predicted intentions were found between the control and intervention groups which may help to explain how the messaging influenced participants’ intentions to use such technology in the future.     

Safety at first sight? – Manual drivers’ experience and driving behavior at first contact with Level 3 vehicles in mixed traffic on the highway

Soon, manual drivers will interact with conditionally automated vehicles (CAVs; SAE Level 3) in a mixed traffic on highways. As of yet, it is largely unclear how manual drivers will perceive and react to this new type of vehicle. In a driving simulator study with N = 51 participants aged 20 to 71 years (22 female), we examined the experience and driving behavior of manual drivers at first contact with Level 3 vehicles in four realistic driving scenarios (highway entry, overtaking, merging, introduction of a speed limit) that Level 3 vehicles may handle alone once their operational domain extends beyond driving in congested traffic. We also investigated the effect of an external marking via a visual external human–machine interface (eHMI), with participants being randomly assigned to one of three experimental groups (none, correct, incorrect marking). Participants experienced each driving scenario four times, twice with a human-driven vehicle (HDV), and twice with a CAV. After each interaction, participants rated perceived driving mode of the target vehicle as well as perceived safety and comfort. Minimum time headways between participants and target vehicles served as an indicator of safety criticality in the interactions. Results showed manual driver can distinguish CAVs from HDVs based on behavioral differences. In all driving scenarios, participants rated interactions with CAVs at least as safe as interactions with HDVs. The driving data analysis showed that manual driver interactions with CAVs were largely uncritical. However, the CAVs’ strict rule-compliance led to short time headways of following manual drivers in some cases. The eHMI used in this study neither affected the subjective ratings of the manual drivers nor their driving behavior in mixed traffic. Thus, the results do not support the use of eHMIs on the highway, at least not for the eHMI design used in this study.     

How the initial level of trust in automated driving impacts drivers’ behaviour and early trust construction

Trust in Automation is known to influence human-automation interaction and user behaviour. In the Automated Driving (AD) context, studies showed the impact of drivers’ Trust in Automated Driving (TiAD), and linked it with, e.g., difference in environment monitoring or driver’s behaviour. This study investigated the influence of driver’s initial level of TiAD on driver’s behaviour and early trust construction during Highly Automated Driving (HAD). Forty drivers participated in a driving simulator study. Based on a trust questionnaire, participants were divided in two groups according to their initial level of TiAD: high (Trustful) vs. low (Distrustful). Declared level of trust, gaze behaviour and Non-Driving-Related Activities (NDRA) engagement were compared between the two groups over time. Results showed that Trustful drivers engaged more in NDRA and spent less time monitoring the road compared to Distrustful drivers. However, an increase in trust was observed in both groups. These results suggest that initial level of TiAD impact drivers’ behaviour and further trust evolution.     

Effects of traffic context on eHMI icon comprehension

External human–machine-interfaces (eHMIs) might support the interaction between automated vehicles and pedestrians. The messages conveyed by eHMIs need to be understood quickly and correctly by their addressees. If implemented in the future, pedestrians will repeatedly encounter eHMIs in situations that feature different traffic context. So far, little is known about the influence of contextual cues like regulatory elements or (presumed) model behavior of fellow road users on the comprehension of eHMIs. In order to investigate possible effects of such contextual cues on comprehension, we conducted a picture-based online study among German residents (N = 175). Participants repeatedly interpreted three eHMI icons (“you can cross”, “do not cross”, and “pedestrian detected”) either without any context (control group) or within varying degrees of relevant context (experimental group). Context facilitated comprehensibility in terms of accuracy and subjective certainty. Relevant context was especially beneficial at first encounter. As soon as an icon’s meaning was internalized, the necessity of relevant context decreased. The effect of context should therefore be considered in future eHMI research as real-world comprehension might be underestimated otherwise.     

Effect of verbal messages with reminders to communicate driving situations to alter driver behavior in conditional driving automation

In conditionally automated driving, drivers are relieved of steering (hands-off), accelerating, and braking actions as well as of continuous monitoring of driving situations and the system operation status (eyes off). This enables continuously engagement in non-driving-related activities. Managing the allocation of a driver’s attention to the surrounding environment and automation status presents a major challenge in human–machine system design. In this study, we propose a verbal message with a reminder (monitoring request) to divert the driver’s attention from non-driving-related activities to peripheral monitoring under conditionally automated driving. When the system encounters events related to weather, traffic, and road geometry, it provides a verbal message pertaining to the road surroundings (e.g., “It is foggy outside”) to the driver. After three seconds, the system provides a reminder message (i.e., “Did you confirm it?”) to the driver. We explore two questions: (1) how does the message with the reminder affect the driver’s attention allocation, and (2) how does the message with the reminder affect the driver behavior in response to a request to intervene (RTI). With a driving simulator, we designed a repeated measures mixed design with a between-participant factor of “Driving condition” and within-participant factors of “Event type” and “Measurement time”. Three driving conditions were established as follows: no messages, messages without reminders, and messages with reminders. Twenty-seven drivers participated as participants in the driving simulator experiment. Results showed that the reminder message was effective in allocating the participants’ attention to the surrounding environment, and the participants took over the driving task after spending more time understanding the take-over situation in the condition of messages with reminders compared to those in the condition of no messages. We conclude that the proposed reminder message can direct drivers’ attention to the road surroundings during conditionally automated driving. In the future, we plan to design adaptive verbal monitoring requests to adjust the reminder message according to the situation.     

What drives tourists to adopt self-driving cars?

Autonomous vehicles are expected to shape mobility and tourism. This paper introduces an extension to the TAM to better understand the adoption of self-driving cars for tourism purposes. The new model (TAMAT) confirms some under-explored impacts of tourism-related variables, such as Openness to Tourism Usage and Unusual Surroundings, and the Adherence to Conventional Use on the Intention to Use self-driving cars. The research is based on online data collection (n = 646) and applies Covariance-Based Structural Equation Modelling. Findings indicate that the opportunity of using self-driving cars for tourism and unusual environments has a positive impact, while adherence to conventional car use has a negative impact on the intention to use self-driving cars.     

Why would people want to travel more with automated cars?

The use of automated vehicles (AVs) may enable drivers to focus on non-driving related activities while travelling and reduce the unwanted efforts of the driving task. This is expected to make using a car more attractive, or at least less unpleasant compared to manually driven vehicles. Consequently, the number and length of car trips may increase. The aim of this study was to identify the main contributors to travelling more by AV.We analysed the L3Pilot project’s pilot site questionnaire data from 359 respondents who had ridden in a conditionally automated car (SAE level 3) either as a driver or as a passenger. The questionnaire queried the respondents’ user experience with the automated driving function, current barriers of travelling by car, previous experience with advanced driving assistance systems, and general priorities in travelling. The answers to these questions were used to predict willingness to travel more or longer trips by AV, and to use AVs on currently undertaken trips. The most predictive subset of variables was identified using Bayesian cumulative ordinal regression with a shrinkage prior (regularised horseshoe).The current study found that conditionally automated cars have a substantial potential to increase travelling by car once they become available. Willingness to perform leisure activities during automated driving, experienced usefulness of the system, and unmet travel needs, which AVs could address by making travelling easier, were the main contributors to expecting to travel more by AV. For using AVs on current trips, leisure activities, trust in AVs, satisfaction with the system, and traffic jams as barriers to current car use were important contributors. In other words, perceived usefulness motivated travelling more by AV and using AVs on current trips, but also other factors were important for using them on current trips. This suggests that one way to limit the growth of traffic with private AVs could be to address currently unmet travel needs with alternative, more sustainable travel modes.     

The potential of gamification for user education in partial and conditional driving automation: A driving simulator study

Drivers must establish adequate mental models to ensure safe driver-vehicle interaction in combined partial and conditional driving automation. To achieve this, user education is considered crucial. Since gamification has previously shown positive effects on learning motivation and performance, it could serve as a measure to enhance user education on automated vehicles. We developed a tablet-based instruction involving gamified elements and compared it to instruction without gamification and a control group receiving a user manual. After instruction, participants (N = 57) experienced a 30-minute automated drive on a motorway in a fixed-base driving simulator. Participants who received the gamified instruction reported a higher level of intrinsic motivation to learn the provided content. The results also indicate that gamification promotes mental model formation and trust during the automated drive. Taken together, including gamification in user education for automated driving is a promising approach to enhance safe driver-vehicle interaction.