=Paper=
{{Paper
|id=Vol-3741/paper40
|storemode=property
|title=ASYDE: An Argumentation-based System for classifYing Driving bEhaviors
|pdfUrl=https://ceur-ws.org/Vol-3741/paper40.pdf
|volume=Vol-3741
|authors=Bettina Fazzinga,Sergio Flesca,Filippo Furfaro,Giuseppina Monterosso,Irina Trubitsyna
|dblpUrl=https://dblp.org/rec/conf/sebd/FazzingaFFMT24
}}
==ASYDE: An Argumentation-based System for classifYing Driving bEhaviors==
https://ceur-ws.org/Vol-3741/paper40.pdf
ASYDE: An Argumentation-based System for classifYing
Driving bEhaviors⋆
DISCUSSION PAPER
Bettina Fazzinga1 , Sergio Flesca2 , Filippo Furfaro2 , Giuseppina Monterosso2,* and
Irina Trubitsyna2
1
DiCES, University of Calabria, Via Bucci, Rende, 87036, Italy
2
DIMES, University of Calabria, Via Bucci, Rende, 87036, Italy
Abstract
We introduce a framework for classifying the driving behaviors of motorists, where the readings collected by
inertial sensors during the trip are first integrated with the available information on the characteristics of the
road traveled by the vehicle, and then processed to obtain a driving-style certificate. The core of the approach is
a reasoner based on Abstract Argumentation Framework, that is a well-known paradigm for modeling disputes
between agents. Specifically, the decision on which driving-style class best describes the behavior exhibited at
each time point is modeled as the “outcome" of a dispute involving different agents, where each agent proposes a
class, that may be aligned or in conflict with the other agents’ opinions and with what suggested by the sensors’
readings on the assessment of the driver’s behavior. A prototype implementing the framework was implemented
and its experimental validation on real-life data is presented.
1. Introduction
Examining the influence of human behavior on road safety is a matter of considerable interest. As
studies in this field over the past decades [1] have demonstrated a correlation between the drivers’
behavior and road safety, there is an increasing demand for solutions supporting the analysis of the
driving style of motorists. In this context, the objective of this research is the definition of a framework
for recognizing and classifying the behavior exhibited by a motorist during a trip on the basis of the
readings gathered by various devices monitoring the vehicle status, such as the readings of the inertial
sensors of the driver’s smartphone and those registered by the Electronic Control Unit (ECU) of the
vehicle, which periodically records the speed, the engine rpm (rate per minute), etc.. In particular, the
proposed framework returns a driving certificate, where the kinematic characteristics of the vehicle
registered by the sensors during the trip and the available information on the road traveled by the
vehicle (such as the speed limits) are taken into account. The core of the approach is a reasoner based
on a well-known AI framework, namely Dung’s Abstract Argumentation Framework (AAF), that has
proved effective in supporting the reasoning over several situations [2, 3, 4], especially when different
pieces of information provide a partial assessment of the situation. Specifically, AAFs can effectively
handle the case where the pieces of information describing the characteristics of the examined situation
are conflicting: this is a characteristics affecting the addressed scenario, since the various sensors
monitoring the vehicle may provide different measures of the same physical dimension, due to noise or
failures.
In the proposed framework, called ASYDE (Argumentation-based System for classifYing Driving
bEhaviors), the reasoning over the driving style is modeled as a dispute (encoded as an AAF): the
participants of the dispute are the sensors, that claim arguments encoding the measures read at time
point 𝑡 (such as “I read the speed value 60 Km/h at 𝑡, so the motorist held a very high speed in the urban
road at 𝑡"), and virtual agents, whose “assessment arguments" assign one of the available classes of
SEBD 2024: 32nd Symposium on Advanced Database Systems, June 23-26, 2024, Villasimius, Sardinia, Italy
*
Corresponding author.
" bettina.fazzinga@unical.it (B. Fazzinga); sergio.flesca@unical.it (S. Flesca); filippo.furfaro@unical.it (F. Furfaro);
giusy.monterosso@dimes.unical.it (G. Monterosso); i.trubitsyna@dimes.unical.it (I. Trubitsyna)
© 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
CEUR
ceur-ws.org
Workshop ISSN 1613-0073
Proceedings
driving style (i.e. calm, normal, aggressive) to the motorist’s behavior at 𝑡 (an example of assessment
argument is “Based on the sensors’ readings, it is fair to classify the motorist’s driving style at 𝑡 as calm").
In the AAF built this way, also the contradictions holding between the claims are considered, and they
are represented in terms of attacks between arguments: for instance, attacks are considered between
assessment arguments suggesting different classifications at the same time point, or between sensors’
arguments claiming significantly different measures. Starting from this, a well-known reasoner is run
over the AAF, and, for each time point, we collect the assessment arguments that turn out to be accepted
(which, under argumentation terminology, means that they consist of claims that are resilient to the
attacks from other arguments, so they can be reasonably considered truthful). Then, the returned
driving-style certificate contains, for each driving-style class 𝐶 ∈ {calm, normal, aggressive}, the
minimum and maximum percentage of time points (against the overall time points composing the time
interval of the trip) where an assessment argument voting for 𝐶 is accepted. Herein, the minimum
percentage represents the percentage of time points where only the assessment argument at 𝜏 voting
for class 𝐶 is accepted (so the motorist’s behavior is classified in 𝐶 with no uncertainty), whereas the
maximum percentage represents the time points where also assessment arguments voting for alternative
classes are accepted (meaning that the classification in 𝐶 is uncertain, as it is only one of the possible
classes suggested by the sensor readings). This uncertainty is due to the fact that sensor readings can
be affected by errors, so it may happen that alternative classifications for the same time point may be
accepted, depending on which sensors are considered trustworthy.
Many approaches in the literature have been developed for classifying driving behavior. However,
to the best of our knowledge no studies have been conducted applying Argumentation Framework
to the task of classifying driving behavior. The power of Argumentation Frameworks lies in their
ability to analyze and evaluate conflicting pieces of information, allowing for more accurate and reliable
conclusions. In the addressed task, conflicting information arises when a certain sensor devoted to collect
driving data, provides errors in the measurements. In this case, if several devices are monitoring the
same quantity, we may be provided with different readings of the same physical measurement. Through
the employment of argumentation, we are able to solve these conflicts and correct measurement errors
by considering not only the readings at a specific time point but also taking into account the surrounding
events. In cases where conflict resolution is not feasible, our framework considers alternative possible
classifications.
In what follows, we will introduce the ASYDE framework, and show some results coming from a
preliminary evaluation over real-life data.
2. Preliminaries
An Abstract Argumentation Framework (AAF) [5] is a pair ⟨𝐴, 𝐷⟩, where 𝐴 is a finite set, whose elements
are called arguments, and 𝐷 ⊆ 𝐴 × 𝐴 is a binary relation over 𝐴, whose elements are called attacks.
Given a set of arguments 𝑆 and an argument 𝑎, we say that “𝑆 attacks 𝑎” if there is an argument 𝑏
in 𝑆 such that 𝑏 attacks 𝑎, and that “𝑎 attacks 𝑆” if there is an argument 𝑏 ∈ 𝑆 such that 𝑎 attacks 𝑏.
Moreover, we say that 𝑎 is acceptable w.r.t. 𝑆 if every argument attacking 𝑎 is attacked by 𝑆, and say
that 𝑆 is conflict-free if there is no attack between its arguments.
A dispute between agents presenting different claims can be easily represented via an AAF. Each
claim is encoded as an argument, and any contradiction between two arguments 𝑎 and 𝑏 is encoded by
the attack (𝑎, 𝑏) or (𝑏, 𝑎) or both, depending on which direction of attack best fits. For instance, given
the three arguments:
𝑎: “As it will rain all day long, it is a bad idea to organize a picnic this afternoon";
𝑏: “As it is certain that today it will not rain, it is a good idea to organize a picnic this afternoon";
𝑐: “As we are in the middle of the rainy season, it is highly probable that this afternoon it will rain";
a reasonable way to encode their relationships is via the attacks (𝑎, 𝑏) and (𝑏, 𝑎) (as the premises of the
two arguments 𝑎 and 𝑏 contradict each other) and (𝑐, 𝑏) (as the conclusion of 𝑐 contradicts the premise
of 𝑏).
The analysis of the dispute encoded via an AAF is typically done by locating its extensions and its
accepted arguments. An extension is a set of arguments 𝑆 that collectively represent a strong point of
view, in the sense that 𝑆 is coherent (i.e. its arguments do not contradict each other) and capable of
counterattacking the attacks from arguments outside 𝑆. These general properties give rise to several
semantics of the notion of extension, such as the admissible and the preferred: 𝑆 is an admissible
extension iff 𝑆 is conflict-free and all its arguments are acceptable w.r.t. 𝑆; a preferred extension iff 𝑆 is a
maximal (w.r.t. ⊆) admissible set of arguments.
The notion of accepted argument is based on that of extension and encodes the robustness of a single
argument, that is assessed by verifying its membership in an extension. In particular, since multiple
extensions can exist, the credulous and the skeptical perspectives of acceptance can be adopted: under
a semantics, 𝑎 is credulously (resp., skeptically) accepted if it belongs to at least one (resp., every)
extension under the semantics.
In the example above regarding the reasonability of organizing a picnic, no set containing both 𝑎 and
𝑏, or both 𝑐 and 𝑏, is an extension (under any semantics), since it would not be conflict free. In this case,
there are 4 admissible extensions (i.e. ∅, {𝑐}, {𝑎}, {𝑎, 𝑐}), while under the preferred semantics there
is only one extension, i.e. {𝑎, 𝑐}. Correspondingly, 𝑎 and 𝑐 are credulously accepted under both the
semantics, and are skeptically accepted under the preferred but not under the admissible.
3. Our strategy
In this section, we formalize our framework and illustrate our strategy.
The aim of our framework is that of providing the users with a driving certificate that characterizes
the driver behavior during the time interval at hand on the basis of some predefined classes (also called
assessments) of behaviors and of the predefined physical measures of interest.
We start by defining these concepts.
Let us denote as ℳ the set of the physical measures we take into account, as ℬ =
{𝑐𝑎𝑙𝑚, 𝑎𝑔𝑔𝑟𝑒𝑠𝑠𝑖𝑣𝑒, ...} the set of assessments concerning the driving behaviors, and as [0..𝑇 ] the
time interval under analysis. Moreover, we denote as 𝒟 the set of devices at hand, and as 𝒟(𝑀 ) the
set of devices measuring the physical measure 𝑀 . Now, we define the concept of Event.
Definition 1 (Event). An event 𝜖 is a tuple ⟨𝑀, 𝐷, 𝑣, 𝑡⟩, where 𝑀 ∈ ℳ, 𝐷 is a device belonging to
𝒟(𝑀 ), 𝑣 ∈ ℜ is the value collected by 𝐷, and 𝑡 is a time point belonging to [0..𝑇 ].
Each sensor reading produces an Event. Once the events have been collected on the basis of the
measurements, we build an argumentation framework consisting of (i) arguments derived from the
events, (ii) arguments derived from the assessment classes, (iii) several other arguments built to enable
a reasoning mechanism that provides as a final result the Driving Certificate, that consists in, for each
predefined classes (also called assessments), the number of time points where the driving style of the
driver corresponds to it.
In brief, our strategy consists of the following steps:
1. Building the events by collecting measurements;
2. Building an argumentation framework incrementally starting from time point 0, that is
augmenting it with more arguments and attacks for each time point, till the last time point;
3. Reasoning over the argumentation framework trying to establish the driving behavior at each
time point, exploiting the arguments and attacks related to that time point and also the arguments
and attacks related to the previous and subsequent time point. This way, the evaluation of
each time point is done considering the time points in a non-independent way, so that possible
measurement errors due to malfunctioning of some of the devices can be fixed in the reasoning;
4. Computing, at the end, the Driving Certificate that characterizes the driver behavior based on
reasoning over the argumentation framework;
In the following subsection, we define all the arguments and attacks that we use to build the argu-
mentation framework.
3.1. The ASYDE framework
We now introduce our argumentation framework, named ASYDE. The he crucial arguments in our
framework are the Low-level arguments and the Assessment arguments. We formally define both
of them as follows:
Definition 2 (Low-level argument). A low-level argument is a tuple ⟨𝑀, 𝐷, 𝑣, 𝑡⟩, where 𝑀 is a phys-
ical measure belonging to ℳ, 𝑣 is a value belonging to ℛ, 𝑡 is a time point belonging to [0..𝑇 ]., and
𝐷 ∈ 𝒟(𝑀 ) is a device/sensor that detects 𝑀 ’s value 𝑣 at time point 𝑡.
Definition 3 (Assessment argument). Given a set of driving behavior assessments ℬ, an assessment
argument is a pair ⟨𝐵, 𝑡⟩, where 𝐵 belongs to ℬ, and 𝑡 belongs to [0..𝑇 ].
Basically, the Low-level arguments are directly derived from the events, while the Assessment
arguments are directly derived from the pre-defined assessment classes. For each time point, we build
an assessment argument for each class and a low-level argument for each device and each measure.
Our argumentation framework also includes the High-level arguments. These arguments represent
a projection of the values collected by the devices into ranges, typically High, Medium and Low. We
build an argument for each range, for each time point and for each measure.
Provided that (i) for each measure 𝑀 , we denote as levels(𝑀 ) the set of its levels, (ii) given a level
𝐿 ∈ levels(𝑀 ), we denote as values(𝐿, 𝑀 ) the set of numerical values associated to it, and (iii) we
denote as compatible(𝐿, 𝑀 ) the set of levels 𝐿′ of levels(𝑀 ) that are compatible with 𝐿 in the sense
that it is possible, for 𝑀 , to change from 𝐿′ to 𝐿 in one time point, the High-level arguments are
defined as follows:
Definition 4 (High-level argument). A high-level argument is a tuple ⟨𝑀, 𝐿, 𝑡⟩, where 𝑀 is a physical
measure belonging to ℳ, 𝐿 is a level belonging to levels(𝑀 ), and 𝑡 belongs to [0..𝑇 ].
We also have two types of service arguments, whose aim will be clearer in what follows. The first
one is used to link the low-level arguments to the high-level arguments of the current time point and to
link the arguments referring to the current time point with the arguments referring to the previous and
the subsequent time point.
Definition 5 (Dummy argument). A dummy argument is a tuple ⟨𝑞, 𝑀, 𝐿, 𝑡⟩, where 𝑞 belongs to
{past,present,future}, 𝑀 is a physical measure belonging to ℳ, 𝐿 is a level belonging to levels(𝑀 ), and 𝑡
belongs to [0..𝑇 ].
The second one is used to link high-level arguments to assessment arguments.
Definition 6 (Dummy Assessment argument). A dummy assessment argument is a tuple ⟨𝑏, 𝑀, 𝑡⟩,
where 𝑏 is a driving behavior assessment belonging to ℬ, 𝑀 belongs to ℳ, and 𝑡 belongs to [0..𝑇 ].
The framework is incrementally built, starting from the initial time point 0, augmenting it by adding
new arguments at each time point, until the final time point 𝑇 . For each time point 𝑡, we add edges
(attacks) between arguments referring to 𝑡, but also that correlate 𝑡 with both the preceding and
subsequent time point.
We finally define the ASYDE framework.
Definition 7 (ASYDE Framework). An ASYDE framework is a tuple 𝑌 = ⟨𝐴, 𝑅⟩, where 𝐴 is the
set of arguments and 𝑅 ⊆ 𝐴 × 𝐴 is the set of attacks. The set 𝐴 of arguments is composed by
⟨𝐿𝐴, 𝐻𝐴, 𝐷𝐴, 𝐴𝐷𝐴, 𝐴𝐴, 𝑅⟩, where 𝐿𝐴 is a set of low-level arguments, 𝐻𝐴 is a set of high-level
arguments, 𝐷𝐴 is a set of dummy arguments, 𝐴𝐷𝐴 is a set of dummy assessment arguments, and 𝐴𝐴 is
a set of assessment arguments.
For a generic time point 𝑡, the ASYDE framework is composed of:
1. a low-level argument 𝑙𝑎 = ⟨𝑀, 𝐷, 𝑣, 𝑡⟩ from each event ⟨𝑀, 𝐷, 𝑣, 𝑡⟩;
2. a high-level argument ℎ𝑎 = ⟨𝑀, 𝐿, 𝑡⟩ for each measure and for each of its levels;
3. three dummy arguments ⟨present, 𝑀, 𝐿, 𝑡⟩, ⟨past, 𝑀, 𝐿, 𝑡⟩, and ⟨future, 𝑀, 𝐿, 𝑡⟩ for each measure
and for each of its levels;
4. two mutual attacks for every pair of high-level arguments ℎ𝑎 = ⟨𝑀, 𝐿, 𝑡⟩ and ℎ𝑎′ = ⟨𝑀, 𝐿′ , 𝑡⟩;
5. (i) a self-attack to every dummy argument, (ii) an attack from every 𝑑𝑎 = ⟨present, 𝑀, 𝐿, 𝑡⟩ to
every ℎ𝑎 = ⟨𝑀, 𝐿, 𝑡⟩, (iii) an attack from every 𝑙𝑎 = ⟨𝑀, 𝐷, 𝑣, 𝑡⟩ to every 𝑑𝑎 = ⟨present, 𝑀, 𝐿, 𝑡⟩
such that value 𝑣 belongs to level 𝐿 for 𝑀 , (iv) an attack from every 𝑑𝑎 = ⟨past, 𝑀, 𝐿, 𝑡⟩ to
every ℎ𝑎 = ⟨𝑀, 𝐿, 𝑡⟩, (v) an attack from every ℎ𝑎 = ⟨𝑀, 𝐿, 𝑡 − 1⟩ to every 𝑑𝑎 = ⟨past, 𝑀, 𝐿′ , 𝑡⟩
such that 𝐿′ ∈ compatible(𝐿, 𝑀 ), (vi) an attack from every 𝑑𝑎 = ⟨future, 𝑀, 𝐿, 𝑡⟩ to every
ℎ𝑎 = ⟨𝑀, 𝐿, 𝑡⟩, (vii) an attack from every ℎ𝑎 = ⟨𝑀, 𝐿, 𝑡 + 1⟩ to every 𝑑𝑎 = ⟨future, 𝑀, 𝐿′ , 𝑡⟩
such that 𝐿′ ∈ compatible(𝐿, 𝑀 );
6. an assessment argument for each class in ℬ;
7. a dummy assessment argument ⟨𝑏, 𝑀, 𝑡⟩ for each class in ℬ;
8. two mutual attacks for every pair of assessment arguments ⟨𝑏, 𝑡⟩ and ⟨𝑏′ , 𝑡⟩;
9. (i) a self-attack to every dummy assessment argument, an attack from every ⟨𝑏, 𝑀, 𝑡⟩ to every
⟨𝑏, 𝑡⟩, and an attack from every ℎ𝑎 = ⟨𝑀, 𝐿, 𝑡⟩ to every ⟨𝑏, 𝑡⟩ such that 𝐿 for 𝑀 is judged
compatible with the driving behavior 𝑏: for example, speed’s level 𝑙𝑜𝑤 is compatible with the
CalmDriving behavior assessment.
In a nutshell, our aim is that of enabling a mechanisms that allows to have at least one preferred
extension containing exactly one assessment argument per time point, or possibly multiple preferred
extensions such that each preferred extension contains at most one of the assessment arguments for
each time point. This way, we can compute, for each assessment class 𝐵, the percentage of time points
𝑡 where the assessment argument ⟨𝐵, 𝑡⟩ is skeptical accepted (resp. credulous accepted) in a preferred
extension. Then, we compute the final result of our technique, that is the Driving Certificate, as follows:
Definition 8 (Driving Certificate). A Driving Certificate 𝐷𝐶 is a set of pairs of the form
⟨𝑏, [𝑝𝑠𝑘..𝑝𝑐𝑟]⟩, where 𝑏 is a driving behavior class belonging to ℬ, 𝑝𝑠𝑘 (resp., 𝑝𝑐𝑟) is a percentage repre-
senting the number of time points an assessment argument 𝑎𝑎 of the form 𝑎𝑎 = ⟨𝑏, 𝑡⟩ has been skeptical
(resp., credulous) accepted in the time interval [0..𝑇 ].
Example 1. Consider the case where we have a single physical measure, namely speed (denoted by 𝑆),
monitored by two devices, GPS and OBDII and a time interval [0..2]. For each time point 𝑡 ∈ [0..2], we
have two low-level arguments, corresponding to each speed measurement. Figure 1 shows an excerpt of
the structure of our framework focused on time point 1. For the sake of space, we show all the arguments
and attacks built at 𝑡 = 1, but only the arguments and attacks built at 𝑡 = 0 and 𝑡 = 2 that are linked to
arguments built at 𝑡 = 1. The two low-level arguments for time point 1 are depicted in green with dashed
lines.
In this example we define 𝑙𝑒𝑣𝑒𝑙𝑠(𝑆) = {𝐿, 𝑀, 𝐻}, where 𝐿 stands for Low, 𝑀 and 𝐻 for Medium
and High, respectively. Then, for each level and for each time point, we have a high-level argument,
depicted in yellow. Assuming that drivers’ behavior is classifiable in three categories (CalmDriving (𝐶𝐷),
NormalDriving (𝑁 𝐷), and AggressiveDriving (𝐶𝐷)), we have the three assessment arguments depicted
in white.
The dummy arguments that attack the high-level arguments and are attacked by low-level arguments
are depicted as orange circles. The dummy arguments that link the current time point to the previous (resp.
subsequent) one depicted as blue squares (resp. pink stars). The dummy assessment arguments are depicted
as brown diamonds.
It is easy to see that each high-level argument must be defended against the dummy-argument attack to
be included in a preferred extension by at least one low-level argument. In this example, at time point 1, we
have one low-level argument defending the high-level argument ⟨𝑆, 𝑀, 1⟩, representing the level Medium,
and the other one defending the high-level argument representing the level Low. The high-level argument
representing the level High is instead not defended, and therefore, can not be accepted in any preferred
extension. In practice, this means that assuming that the driver was driving at a high-level speed is not
reasonable for time point 1.
By correlating the current time point with both preceding and subsequent ones, we can eliminate certain
possibilities that we would not be able to rule out by considering only the current time point. Specifically, to
be accepted in a preferred extension, each high-level argument must be defended by both the attack from
the blue square dummy argument and the pink star dummy argument. This defense is implemented by the
high-level arguments of the previous and subsequent time point, respectively, that represent a compatible
range. In other words, if, for instance, at time point 0 we accepted the high-level argument representing the
level High, at time point 1 the high-level arguments associated with levels High and Medium are defended,
while the one related to level Low is not. Consequently, ⟨𝑆, 𝐿, 1⟩ can not be accepted in any preferred
extension.
Assuming that, at time point 0 (resp., 2), there are the two arguments ⟨𝑆, 𝑂𝐵𝐷𝐼𝐼, 80, 0⟩,
⟨𝑆, 𝐺𝑃 𝑆, 85, 0⟩ (resp., ⟨𝑆, 𝑂𝐵𝐷𝐼𝐼, 65, 2⟩, ⟨𝑆, 𝐺𝑃 𝑆, 95, 2⟩), defending ⟨𝑆, 𝐻, 0⟩ (resp., ⟨𝑆, 𝑀, 2⟩ and
⟨𝑆, 𝐻, 2⟩) from the attacks by the dummy arguments, we have that ⟨𝐴𝐷, 0⟩ (resp., ⟨𝑁 𝐷, 2⟩ and ⟨𝐴𝐷, 2⟩)
is defended by them from the attacks by the dummy assessment arguments. Furthermore, we have that the
arguments ⟨𝑆, 𝑀, 1⟩ and ⟨𝑆, 𝐻, 1⟩ (resp. ⟨𝑆, 𝐿, 1⟩, ⟨𝑆, 𝑀, 1⟩ and ⟨𝑆, 𝐻, 1⟩) are defended by ⟨𝑆, 𝐻, 0⟩
(resp., ⟨𝑆, 𝑀, 2⟩ and ⟨𝑆, 𝐻, 2⟩) from the attacks by the blue-square (resp. pink-star) dummy arguments.
On the contrary, ⟨𝑆, 𝐿, 1⟩ is not defended by the blue-square dummy argument attack, and therefore, is not
accepted in any preferred extension. In other word, we assume that the reading of the speed that supports
the level Low at time point 1 is due to a failure of the device which collected it. Therefore, we exclude the
possibility of classifying the driving style as Calm at time point 1.
Then, we have two preferred extensions:
• {⟨𝑆, 𝑂𝐵𝐷𝐼𝐼, 80, 0⟩, ⟨𝑆, 𝐺𝑃 𝑆, 95, 0⟩, ⟨𝑆, 𝐻, 0⟩, ⟨𝐴𝐷, 0⟩,
⟨𝑆, 𝑂𝐵𝐷𝐼𝐼, 60, 1⟩, ⟨𝑆, 𝐺𝑃 𝑆, 30, 1⟩⟨𝑆, 𝑀, 1⟩, ⟨𝑁 𝐷, 1⟩,
⟨𝑆, 𝑂𝐵𝐷𝐼𝐼, 65, 2⟩, ⟨𝑆, 𝐺𝑃 𝑆, 95, 2⟩, ⟨𝑆, 𝑀, 2⟩, ⟨𝑁 𝐷, 2⟩}
• {⟨𝑆, 𝑂𝐵𝐷𝐼𝐼, 80, 0⟩, ⟨𝑆, 𝐺𝑃 𝑆, 95, 0⟩, ⟨𝑆, 𝐻, 0⟩, ⟨𝐴𝐷, 0⟩,
⟨𝑆, 𝑂𝐵𝐷𝐼𝐼, 60, 1⟩, ⟨𝑆, 𝐺𝑃 𝑆, 30, 1⟩⟨𝑆, 𝑀, 1⟩, ⟨𝑁 𝐷, 1⟩,
⟨𝑆, 𝑂𝐵𝐷𝐼𝐼, 65, 2⟩, ⟨𝑆, 𝐺𝑃 𝑆, 95, 2⟩, ⟨𝑆, 𝐻, 2⟩, ⟨𝐴𝐷, 2⟩}
The produced driving certificate is:
• {⟨𝐶𝐷, [0.0% − 0.0%]⟩, ⟨𝑁 𝐷, [33.3% − 66.7%]⟩, ⟨𝐴𝐷, [33.3% − 66.7%]⟩}
In conclusion, in this example, according to the certificate, the driving style can be classified as both
Normal and Aggressive over the entire time interval considered.
4. Experimental Evaluation
We conducted a series of experiments to validate the capability of our prototype in distinguishing
various driving styles. As also done in [6], we assumed that drivers’ behavior is classifiable in the three
categories: CalmDriving (𝐶𝐷), NormalDriving (𝑁 𝐷), and AggressiveDriving (𝐶𝐷). The driving data
were collected during two different trips performed by different drivers. Both the trips were taken
on a rural road, under favorable weather conditions and without traffic, ensuring that traffic did not
influence the test results.
4.1. Physical Measures Set and Devices Set
The devices used to collect data were:
• OBDII device - It enables access the vehicle’s internal information connecting via Bluetooth to
your phone.
Time point 0
Time point 1
Low-level argument
High-level argument
Assessment argument
Dummy argument
Dummy assessment argument
Time point 2
Figure 1: An example of ASYDE framework
• Smartphone - Smartphones are equipped with 3-axial accelerometers and 3-axial gyroscopes.
The smartphone must be positioned inside the car so that its y-axis is oriented toward the vehicle’s
front and it’s screen (z-axis) is oriented upward.
• GPS device - It is used to collect vehicle speed data.
We used the following measures, that, according to the recent literature ([7, 8, 9, 10, 11, 12, 13, 14, 15]),
are deemed to be the most suitable set of physical measures for recognizing driving styles:
• Longitudinal acceleration - acceleration in the direction of the vehicle’s motion, detecting
acceleration and braking events (gathered by y-axis smartphone’s accelerometer and OBDII
device).
• Lateral acceleration - acceleration in the transverse direction of the vehicle’s motion, detecting
turning events (gathered by x-axis smartphone’s accelerometer).
• Angular velocity - rate of rotation of the vehicle, detecting turning events (gathered by z-axis
smartphone’s gyroscope).
• Speed - identifying any exceeding of speed limits (gathered by GPS and OBDII devices).
• Longitudinal jerk - variation in acceleration in the direction of the vehicle’s motion (calculated
as derivatives of longitudinal acceleration).
• Lateral jerk - variation in acceleration in the transverse direction of the vehicle’s motion
(calculated as derivatives of lateral acceleration).
4.2. Measure Level set
Given a physical measure 𝑀 , the values of 𝑀 read by the sensors are mapped to specific levels
𝐿 ∈ levels(𝑀 ). The categorization of levels and their respective threshold values for each physical
measure are determined based on the comfort level of passengers, which is correlated with ride quality.
Although the sense of comfort is subjective and varies among passengers, attempts have been made in
literature to establish general measurement criteria. Various studies have identified threshold values for
discomfort concerning different physical factors such as acceleration, lateral acceleration, and jerk. In
our experiments, the threshold values for each physical measure were evaluated based on [16, 17, 18, 19].
The only exception is for speed threshold values, which refer to road signs to identify any exceeding
of the limits. However, all the threshold values of the intervals are documented in a properties file,
allowing for easy adjustment based on the user’s specific requirements.
4.3. Results
We implemented the prototype described in Sec. 3 using 𝜇-toksia argumentation reasoning system.
This solver provides several reasoning tasks over AFs, such as credulous and skeptical acceptance of
arguments [20].
The implemented prototype of the ASYDE framework processed the real-life data collected during the
trips, obtaining the driving certificates reported in table 1. For each trip, we report the percentage of
time points where the behavior of the driver who took the trip falls in each of the predefined assessment
classes (i.e. CalmDriving (𝐶𝐷), NormalDriving (𝑁 𝐷), and AggressiveDriving (𝐶𝐷)).
As shown in table 1, the prototype appears to be capable of distinguishing various driving styles. In
fact, the class that represents the actual driving style with which the trip was conducted was recognized
by the framework for a rather significant percentage of time compared to other classes.
Table 1
Certificates of driving style
Actual Driver Style Our results on TEST 1 Our results on TEST 2
1
𝐶𝐷 : [71.01% − 80.25%] 𝐶𝐷 : [60.08% − 72.19%]
𝑁 𝐷 : [11.41% − 20.65%] 𝑁 𝐷 : [25.48% − 37.79%]
Calm Driver
𝐴𝐷 : [0.0% − 0.0%] 𝐴𝐷 : [1.7% − 2.76%]
𝐶𝐷 : [24.28% − 34.23%] 𝐶𝐷 : [22.84% − 35.65%]
𝑁 𝐷 : [63.67% − 74.19%] 𝑁 𝐷 : [60.7% − 74.65%]
Normal Driver
𝐴𝐷 : [1.34% − 2.29%] 𝐴𝐷 : [1.95% − 3.06%]
𝐶𝐷 : [9.15% − 16.16%] 𝐶𝐷 : [12.20% − 16.61%]
𝑁 𝐷 : [42.38% − 51.22%] 𝑁 𝐷 : [24.41% − 33.22%]
Normal-Aggressive Driver
𝐴𝐷 : [30.49% − 34.15%] 𝐴𝐷 : [51.86% − 57.97%]
1
The minimum (resp., maximum) percentage corresponds to the percentage of time
points where an assessment argument corresponding to the assessment class has
been skeptical (credulous) accepted under preferred semantics.
5. Conclusions
We have discussed the ASYDE framework, whose aim is that of classifying driver behaviors by resorting
to the abstract argumentation framework. We have also shown some prominent results coming from a
preliminary experimental evaluation.
Acknowledgements
We acknowledge partial financial support from MUR project PRIN 2022 EPICA (CUP H53D23003660006)
funded by the European Union - Next Generation EU and from PNRR MUR project PE0000013-FAIR.
References
[1] D. French, R. West, J. Elander, J. Wilding, Decision-making style, driving style, and self-
reported involvement in road traffic accidents, Ergonomics 36 (1993) 627–44. doi:10.1080/
00140139308967925.
[2] B. Fazzinga, A. Galassi, P. Torroni, A privacy-preserving dialogue system based on argumentation,
Intell. Syst. Appl. 16 (2022) 200113. URL: https://doi.org/10.1016/j.iswa.2022.200113. doi:10.1016/
J.ISWA.2022.200113.
[3] B. Fazzinga, S. Flesca, F. Furfaro, L. Pontieri, Process mining meets argumentation: Explainable
interpretations of low-level event logs via abstract argumentation, Inf. Syst. 107 (2022) 101987.
URL: https://doi.org/10.1016/j.is.2022.101987. doi:10.1016/J.IS.2022.101987.
[4] B. Fazzinga, S. Flesca, F. Furfaro, Taking into account "who said what" in abstract argumentation:
Complexity results, Artif. Intell. 318 (2023) 103885. URL: https://doi.org/10.1016/j.artint.2023.103885.
doi:10.1016/J.ARTINT.2023.103885.
[5] P. M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic rea-
soning, logic programming and n-person games, Artificial Intelligence 77 (1995) 321–357. URL:
https://www.sciencedirect.com/science/article/pii/000437029400041X. doi:https://doi.org/
10.1016/0004-3702(94)00041-X.
[6] I. Cojocaru, P. Popescu, Building a driving behaviour dataset, 2022, pp. 101–107. doi:10.37789/
rochi.2022.1.1.17.
[7] G. Castignani, T. Derrmann, R. Frank, T. Engel, Driver behavior profiling using smartphones: A
low-cost platform for driver monitoring, IEEE Intelligent Transportation Systems Magazine 7
(2015) 91–102. doi:10.1109/MITS.2014.2328673.
[8] D. A. Johnson, M. M. Trivedi, Driving style recognition using a smartphone as a sensor platform,
in: 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC), 2011,
pp. 1609–1615. doi:10.1109/ITSC.2011.6083078.
[9] L. Eboli, G. Mazzulla, G. Pungillo, Combining speed and acceleration to define car users’ safe
or unsafe driving behaviour, Transportation Research Part C: Emerging Technologies 68 (2016)
113–125. URL: https://www.sciencedirect.com/science/article/pii/S0968090X16300067. doi:https:
//doi.org/10.1016/j.trc.2016.04.002.
[10] J. Ferreira, E. Carvalho, B. Ferreira, C. Souza, Y. Suhara, A. Pentland, G. Pessin, Driver behavior
profiling: An investigation with different smartphone sensors and machine learning, PLOS ONE
12 (2017) 1–16. doi:10.1371/journal.pone.0174959.
[11] M. Fazeen, B. Gozick, R. Dantu, M. Bhukhiya, M. C. González, Safe driving using mobile phones,
IEEE Transactions on Intelligent Transportation Systems 13 (2012) 1462–1468. doi:10.1109/TITS.
2012.2187640.
[12] M. R. Carlos, L. C. González, J. Wahlström, G. Ramírez, F. Martínez, G. Runger, How smartphone ac-
celerometers reveal aggressive driving behavior?—the key is the representation, IEEE Transactions
on Intelligent Transportation Systems 21 (2020) 3377–3387. doi:10.1109/TITS.2019.2926639.
[13] R. Stoichkov, Android smartphone application for driving style recognition, Department of
Electrical Engineering and Information Technology Institute for Media Technology (2013).
[14] V. Manzoni, A. Corti, P. De Luca, S. M. Savaresi, Driving style estimation via inertial measurements,
in: 13th International IEEE Conference on Intelligent Transportation Systems, 2010, pp. 777–782.
doi:10.1109/ITSC.2010.5625113.
[15] P. Brombacher, J. Masino, M. Frey, F. Gauterin, Driving event detection and driving style classi-
fication using artificial neural networks, in: 2017 IEEE International Conference on Industrial
Technology (ICIT), 2017, pp. 997–1002. doi:10.1109/ICIT.2017.7915497.
[16] I. Bae, J. Moon, J. Seo, Toward a comfortable driving experience for a self-driving shuttle bus,
Electronics 8 (2019) 943. doi:10.3390/electronics8090943.
[17] X. Liu, H. Mei, H. Lu, H. Kuang, X. Ma, A vehicle steering recognition system based on low-cost
smartphone sensors, Sensors 17 (2017) 633. doi:10.3390/s17030633.
[18] J. Xu, K. Yang, Y. Shao, G. Lu, An experimental study on lateral acceleration of cars in different
environments in sichuan, southwest china, Discrete Dynamics in Nature and Society 2015 (2015)
1–16. doi:10.1155/2015/494130.
[19] L. Svensson, J. Eriksson, Tuning for ride quality in autonomous vehicle : Application to linear
quadratic path planning algorithm, 2015.
[20] A. Niskanen, M. Järvisalo, µ-toksia: An efficient abstract argumentation reasoner, 2020, pp.
800–804. doi:10.24963/kr.2020/82.