Assignment 1 Driving Behaviour

Groep 5

A. Domein model
Om een klein begin te maken en bekend te raken met het model hebben we n concept toegevoegd aan het domein model. Met deze uitbreiding wordt ook rekening gehouden met de mate van zweetafscheiding van de bestuurder als extra indicator voor de alcoholinname. I. Relevante concepten drug intake alcohol intake non-stop driving drug level (in blood) alcohol level (in blood and sweat) fatigue steering behaviour sweating staring head falls forward eye blinks eye dryness basic eye dryness eye drying speed eye dryness norm II. Grafische representatie van het domein model

Figuur 1: Overzicht van domein model voor rijgedrag III. Relaties observaties en aannames Affecting impaired states drug intake affects drug level alcohol intake affects alcohol level non-stop driving affects fatigue Affecting steering behaviour drug level affects steering behaviour alcohol level affects steering behaviour Affecting sweating alcohol level affects sweating Affecting staring alcohol level affects staring fatigue affects staring Affecting basic eye dryness and drying speed fatigue affects basic eye dryness fatigue affects eye drying speed Affecting eye dryness eye blinks affect eye dryness basic eye dryness affects eye dryness eye drying speed affects eye dryness Affecting eye blinks eye dryness affects eye blinks eye dryness norm affects eye blinks Affecting head falls forwards fatigue affects head falls forwards IV. Concepten en relaties in het model in formele vorm concept drug intake alcohol intake non-stop driving drug level alcohol level fatigue abnormal steering behaviour sweating staring drivers head falls forward eye blinks eye dryness basic eye dryness eye drying speed eye dryness norm formalisatie consumed(take_drugs) consumed(take_alcohol) consumed(non_stop_driving) has_level(drug_level, L:LEVEL) has_level(alcohol_level, L:LEVEL) has_level(fatigue, L:LEVEL) performed(abnormal_steering_behaviour) performed(sweating) performed(staring) performed(head_falls_forward, I:BOLEAN) performed(eye_blink) eye_dryness(I:REAL) basic_eye_dryness(I:REAL) eye_drying_speed(I:REAL) eye_dryness_norm(I:REAL)

relations between factors and driver states sort description of use

affects(P:PRODUCT, S:STATE) elements {low, high}

LEVEL extent to which a certain factor (e.g., drugs, alcohol, or fatigue) is present in a persons body REAL the set of real numbers BOLEAN Bolean value PRODUCT different products that can be consumed STATE different aspects of the drivers physical state V. Formalisatie van de relaties

the set of real numbers the set of real numbers {drugs, alcohol, non_stop_driving} {drug_level, alcohol_level, fatigue}

Voor alle relaties die al voorgedefinieerd zijn verwijzen we naar de Reader. Met onze uitbreiding wordt DDR4 aangepast: DDR4 (From high alcohol level to abnormal steering and staring and sweating) If a person has a high alcohol level, then (s)he will perform abnormal steering behaviour and (s)he will stare and (s)he will sweat has_level(alcohol_level, high) performed(abnormal_steering_behaviour) performed(staring) performed(sweating)

B. Analyse model
Na de uitbereiding van het domein model hebben we dit vervolgens toegepast op het Analyse Model. I. Relevante concepten
observations on non-stop driving observations on eye blinks observations on sweating beliefs on fatigue beliefs on eye blinks beliefs on eye dryness beliefs on basic eye dryness beliefs on eye drying speed beliefs on eye dryness norm beliefs on basic sweating desires on fatigue beliefs on fatigue discrepancy

II. Grafische representatie van het analyse model

Figuur 2: Overzicht analyse model voor rijgedrag. III. Relaties observaties en aannames
Affecting beliefs on fatigue observations on non-stop driving affects beliefs on fatigue Affecting beliefs on basic eye dryness and drying speed beliefs on fatigue affect beliefs on basic eye dryness beliefs on fatigue affect beliefs on eye drying speed Affecting beliefs on eye dryness observations on eye blinks affect beliefs on eye dryness beliefs on basic eye dryness affect beliefs on eye dryness beliefs on eye drying speed affect beliefs on eye dryness Affecting beliefs on eye blinks

 beliefs on eye dryness affect beliefs on eye blinks beliefs on eye dryness norm affect beliefs on eye blinks Affecting beliefs on fatigue discrepancy desires on fatigue affect beliefs on fatigue discrepancy beliefs on fatigue affect beliefs on fatigue discrepancy

IV. Concepten en relaties in het model in formele vorm

concept
observations on non-stop driving observations on eye blinks observations on head falls forward beliefs on fatigue beliefs on eye blinks beliefs on eye dryness beliefs on basic eye dryness beliefs on eye drying speed beliefs on eye dryness norm desires on fatigue beliefs on fatigue discrepancy beliefs on relations between factors and driver states

formalisation
observed(agent, consumed(non_stop_driving)) observed(agent, performed(eye_blink)) observed(agent, performed(head_falls_forward, I:BOLEAN)) belief(agent, has_level(fatigue, L:LEVEL)) belief(agent, performed(eye_blink)) belief(agent, eye_dryness(I:REAL)) belief(agent, basic_eye_dryness(I:REAL)) belief(agent, eye_drying_speed(I:REAL)) belief(agent, eye_dryness_norm(I:REAL)) desire(agent, has_level(fatigue, L:LEVEL)) belief(agent, has_discrepancy(fatigue, L:LEVEL)) belief(agent, affects(P:PRODUCT, S:STATE))

V. Formalisatie van de relaties

if and then ADR1 (Generating beliefs for consuming a substance) the agent observes that a person consumes a certain product (e.g., non-stop driving), the agent believes that this product affects a certain aspect of the drivers state (e.g., fatigue), the agent will believe that this aspect will be high

observed(agent, consumed(P)) belief(agent, affects(P,S)) belief(agent, has_level(S, high))

if and then

ADR2 (Generating beliefs for not consuming a substance) the agent observes that a person does not consume a certain product, the agent believes that this product affects a certain aspect of the drivers state, the agent will believe that this aspect will be low

not(observed(agent, consumed(P))) belief(agent, affects(P,S)) belief(agent, has_level(S, low))

if then and

ADR3 (Generating beliefs for effect of high fatique on eye dryness) the agent believes that a person has a high state of fatigue, the agent believes that the persons basic eye dryness will be d1, the agent will believe that the persons eye drying speed will be s1,

belief(agent, has_level(fatigue, high)) belief(agent, basic_eye_dryness(d1)) belief(agent, eye_drying_speed(s1))

if then and

ADR4 (Generating beliefs for effect of low fatique on eye dryness) the agent believes that a person has a low state of fatigue, the agent believes that the persons basic eye dryness will be d2, the agent will believe that the persons eye drying speed will be s2,

belief(agent, has_level(fatigue, low)) belief(agent, basic_eye_dryness(d2)) belief(agent, eye_drying_speed(s2))

if and and then

ADR5 (Generating beliefs for eye blinking) the agent believes that a persons eye dryness is X, the agent believes that the persons eye dryness norm is Y, X > Y, the agent will believe (predicts) that the person will perform an eye blink

belief(agent, eye_dryness(X)) belief(agent, eye_dryness_norm(Y)) x > y belief(agent, performed(eye_blink))

if and then

ADR6 (Generating beliefs for eye dryness) the agent observes that a person performs an eye blink, the agent believes that the persons basic eye dryness is d, the agent will believe that the persons eye dryness will be d

observed(agent, performed(eye_blink)) belief(agent, basic_eye_dryness(D)) belief(agent, eye_dryness(D))

if and and then

ADR7 (Generating beliefs for effect of not blinking on dryness) the agent observes that a person does not perform an eye blink, the agent believes that the persons eye dryness is X, the agent believes that the persons eye drying speed is S, the agent will believe that the persons eye dryness will be X+S*(1-X)

not(observed(agent, performed(eye_blink))) belief(agent, eye_dryness(X)) belief(agent, eye_drying_speed(S)) belief(agent, eye_dryness(X+S*(1-X)))

if and or then

ADR8 (Assessing fatigue) the agent desires that the driver has a low state of fatigue, the agent believes that the driver has a high state of fatigue, the agent observes that the driver head falls forward, the agent will believe that the there is a (high) discrepancy between the drivers desired and believed state of fatigue

desire(agent, has_level(fatigue, low)) belief(agent, has_level(fatigue, high)) v observes(agent, head_falls_forward(value, bolean)) belief(agent, has_discrepancy(fatigue, high))

VI. Forward/backward Het gaat hier zeker om forward redeneren, het systeem moet immers ingrijpen voordat het fout gaat. In het geval van backward zou de redenatie zijn: De bestuurder is te moe (ongeluk al gebeurt?) dus hij heeft te droge ogen, etc

C. Support model
I. Relevante concepten
beliefs about discrepancies between the drivers believed and desired drug level beliefs about discrepancies between the drivers believed and desired alcohol beliefs about discrepancies between the drivers believed and desired state of fatigue actions to keep distance with the car in front actions to slow down the car actions to wake up a sleepy driver actions to give advice to the driver

II. Grafische representatie van het domein model

Figuur 3: Overzicht support model voor rijgedrag III. Concepten en relaties in het model in formele vorm
concept
beliefs of discrepancies of the drivers drug level beliefs of discrepancies of the drivers alcohol level beliefs of discrepancies of the drivers state of fatigue actions to keep distance with the car in front actions to slow down the car actions to wake up a sleepy driver actions to give advice

formalisation
belief(agent, has_discrepancy(drug_level, L:LEVEL)) belief(agent, has_discrepancy(alcohol, L:LEVEL)) belief(agent, has_discrepancy(fatigue, L:LEVEL)) performed(agent, keep_distance) performed(agent, slow_down_car) performed(agent, wake_up_driver) performed(agent, give_advice)

IV. Formalisatie van de relaties

if then SDR1 (Generating a wake up action) the agent believes that there is a high discrepancy with respect to the drivers state of fatigue, the agent will try to wake up the driver

belief(agent, has_discrepancy(fatigue, high)) performed(agent, wake_up_driver)

if

SDR2 (Generating advice to keep distance) the agent believes that there is a low discrepancy with respect to the drivers state of fatigue,

then

the agent will give the driver advice to take a break

belief(agent, has_discrepancy(fatigue, low)) performed(agent, give_advice) performed(agent, keep_distance)

if then

SDR3 (For alcohol slowing down the car) the agent believes that there is a high discrepancy with respect to the drivers alcohol level, the agent will try to slow down the car

belief(agent, has_discrepancy(alcohol_level, high)) performed(agent, slow_down_car)

if then

SDR4 (For drugs slowing down the car) the agent believes that there is a high discrepancy with respect to the drivers drug level, the agent will try to slow down the car

belief(agent, has_discrepancy(drug_level, high)) performed(agent, slow_down_car)

V. Forward / backward In dit geval ook forward, hij gelooft in iets (bijv. te moe), daarom de auto laten stoppen.