The IBM Extreme Blue Project aims to develop Goal-driven Decision Automation (GDA) to encode prescriptive documents like regulations and policies in a formal yet human-readable way. GDA would understand the intent and structure of source documents, ask targeted questions to users, and explain its decisions. It has the potential to help various sectors including public, banking, healthcare, and insurance companies comply with regulations.

1. IBM Extreme Blue Project
IBM Goal-driven Decision Automation (GDA)
Romain Cosson
Ilyass El Mansouri

2. -
20 000
40 000
60 000
80 000
100 000
120 000
140 000
160 000
180 000
200 000
1950
1953
1956
1959
1962
1965
1968
1971
1974
1977
1980
1983
1986
1989
1992
1995
1998
2001
2004
2007
2010
2013
2016
Total Pages, US Code of Federal Regulations (1950 - 2016)

3. ORIGINAL TEXT FORMAL
MODELISATION
USER
INTERACTION
COMPLIANCE
REGULATION

4. 3. Holder of the card of the combatant or of a military pension of invalidity or
victim of war
You are single, divorced, separated, widowed:
- You are over 74 years old (born before 1.1.1944) and meet these conditions;
- Or you are over 74 years of age (born before 1.1.1944) and your deceased
spouse has the additional half-share;
- Or your spouse who died in 2017 had the additional half-share

8. From French Tax Code - Article 195

9. ORIGINAL TEXT FORMAL
MODELISATION
USER
INTERACTION
COMPLIANCE
REGULATION
ü Easy to grip for law-
makers
ü Respects structure and
wording of the original
text
ü Maintainability
ü Smart questions
ü Can query captors
ü Plugged to Watson
assistant
ü Explains decision
ü Group questions
GDA semantics GDA engine

10. Public
Sector
Internet of
Things
Banking
Sector Healthcare
Insurance
Companies

11. FiscalShares.ob – IBM GDA
All
192
193
194
195
196
197
198
…
Article 195
This article specifies some situations in which the family quotient calculated in Article 195.4 can be augmented. Among all possible calculus, the taxpayer can choose which benefits him the most.
195.1 : Notwithstanding the preceding provisions, the taxable income of single, divorced or widowed taxpayers who have no dependent, exclusive, principal or deemed-to-be-shared children shall be divided by 1.5 where such
taxpayers :
195.1.a : Lives alone and have one or more children of full age that he has raised for at least five years.
195.1.b : Are holders, either for a disability of 40% or above, of a pension provided for by the provisions of the code of military pensions of invalidity and the victims of the war reproducing those of the laws of
March 31st and June 24, 1919.
195.1.c : Are in receipt of an occupational injury disability pension of 40% or above.
195.1.d : Are holders of the disability card provided for in Article L. 241-3 of the Code of Social Action and Families.
195.2 : The family quotient provided for in section 194 is increased by one-half for each dependent child holder of the disability card provided for in Article L. 241-3 of the Code of Social Action and Families.
195.3 : The family quotient provided for in section 194 is increased by one-half of a percentage for married taxpayers, where one or both of the spouses meet one of the conditions set out in b, c and d.
Text & Code Text Code Concepts Glossary Groups Graph Tagging Logic Debug Run Text Run FullText
195

12. FiscalShares.ob – IBM GDA
All
192
193
194
195
196
197
198
…
Concepts
Article 195
Text & Code Text Code Concepts Glossary Groups Graph Tagging Logic Debug Run Text Run FullGraph
Derived Concepts
hasFamilyQuotient(F, N: number)
hasFamilyQuotient195(F, N: number)
hasFamilyQuotient194(F, N: number)
eligible195_1(F)
eligible195_1_pre(F)
eligible195_1_a(P)
eligible195_1_b(P)
eligible195_1_c(P)
eligible195_1_d(P)
numberOfDependants(P, N: number)
hasChild(P, C)
fullAge(P)
hasDependant(P, C)
numDisabledDependants(P, N: number)
Terminal Concepts
init(){
foyer(F)
}
about_household_1(F){
couple(F)
person(F)
couple <=> not(person)
}
about_household_2(F){
hasHolder(F, T)
}
personal_infos(P){
hasAge(P,A: number)
hasMilitaryPension(P)
hasDisabilityPension(P)
hasDisabilityCard(P)
}
adult_infos(P){
divorced(P)
widowed(P)
single(P)
livesAlone(P)
(divorced or widowed) => single
}
raised(P, C){
raisedFiveYears(P,C)
}
195

13. Environment to
encode prescriptive
documents
Easy to grip for
law makers
Automates decision
IoT devices Humans
Prescriptive
document
Compliance
Regulation

14. hank ou!
Supervisor
Thomas Baudel (France Lab)
Engine team
Hugues Citeau (France Lab) Eric Aubineau (France Lab)
Use Case Providers
Wiel Bruls (GBS NL) Maurits Andre (GBS NL)
Michel Caussanel (GBS France) Stephane Beaubillier (France Lab)
Pierre Parquier (France Lab) Fadi Sandakli (France Lab)
With the advices of
Christian de Sainte Marie Jerome Joubert Philippe Bonnard Francis Friedlander Catherine
Tchong Stephane Rouyer Nicolas Sauterey Jean Christophe Jardiner

16. 16
Meets licence
requirements
Meets car
requirements
A person can
drive a car
A person can’t drive a car
Passed
technical contol
?
Has an
insurance ?
Has a licence ?
yes
yesyes
no no no

17. 17
Meets licence
requirements
Meets car
requirements
A person can
drive a car
Passed technical
contol ?
Has an
insurance ?
Has a licence ?
A person can
drive a car
A person can’t drive a car
Passed technical
contol ?
Has an
insurance ?
Has a licence ?
yes
yesyes
no no no
Fact-driven – Implementation Goal-driven - Implementation

18. Personal informations about Peter
Age
Military pension ? Yes No
Has a disability card ? Yes No
Any other useful comment
75
X
X
Enter the name of the houseHold
SweetHome
You’re done !
2 fiscal shares
…
Informations about SweetHome
Name the holder of SweetHome Peter
Tell me more about Peter, is it :
A (married) couple A personX
I need some information about the marital status
of Peter and his way of life.
Divorced
Widower
Single
Lives Alone
X
X
Auto-generated dialog