32. Belnap’s logic
Truth tables
Table: Four-valued logic truth tables. T: true, F: false, B: both, N: none.
F(¬α)
T F
B B
N N
F T
F(∧α) T B N F
T T B N F
B B B F F
N N F N F
F F F F F
F(∨α) T B N F
T T T T T
B T B T B
N T T N N
F T B N F
source code: https://github.com/Grools GROOLS 7 / 13
38. Conclusion truth table
Table: Sixteen-valued logic truth table
hhhhhhhhhAssertion
Prediction
PRESENT ABSENT BOTH UNKNOWN
REQUIRED Confirmed P. Unexpected A. Contradictory A. Missing
AVOIDED Unexpected P. Confirmed A. Contradictory P. Absent
BOTH Ambiguous P. Ambiguous A. Ambiguous C. Ambiguous
UNKNOWN Unconfirmed P. Unconfirmed A. Unconfirmed C. Unknown
Legend
A. Absence
P. Presence
C. Contradiction
source code: https://github.com/Grools GROOLS 11 / 13
39. Perspective
▶ Applying to real data
▶ Data mining
source code: https://github.com/Grools GROOLS 12 / 13
40. Perspective
▶ Applying to real data
▶ Data mining
source code: https://github.com/Grools GROOLS 12 / 13
41. Acknowledgements
LABGeM systems biology team:
David Vallenet
Claudine Medigue
Karine Bastard
Mark Stam
Special thanks to:
Alain Viari (INRIA)
Anne Morgat (SIB)
UniProt team (EBI-SIB)
source code: https://github.com/Grools GROOLS 13 / 13