Screenshots of Thinknowlogy 2011 (release 3)
The program at startup. (Click on the picture)
Connect-Four demo: The program is capable of reading as well as executing the playing rules of the game, when written in natural language. (Click on a picture)
 - Playing rules have been read.png "Thinknowlogy2011r3 - Connect4 demo (1) - Playing rules have been read")
 - Playing rules are being executed.png "Thinknowlogy2011r3 - Connect4 demo (2) - Playing rules are being executed")
 - Knowledge about Past Tense.png "Thinknowlogy2011r3 - Connect4 demo (3) - Knowledge about Past Tense")
Family demo: The program is capable of automatically drawing conclusions, making assumptions, asking questions and detecting conflicts, straight from sentences in natural language. The assumptions have a self-regulating level of uncertainty and justification reports can be displayed for the self-generated knowledge. (Click on a picture)
 - Definition of family has been read.png "Thinknowlogy2011r3 - Family demo (1) - Definition of family has been read")
 - Automatically generated conclusions, assumptions and questions.png "Thinknowlogy2011r3 - Family demo (2) - Automatically generated conclusions, assumptions and question")
 - Questions of first example has been answered.png "Thinknowlogy2011r3 - Family demo (3) - Questions of first example has been answered")
 - Second example - Paul.png "Thinknowlogy2011r3 - Family demo (4) - Second example - Paul")
 - Second example - Paul and Joe.png "Thinknowlogy2011r3 - Family demo (5) - Second example - Paul and Joe")
 - Second example - Paul, Joe and Laura.png "Thinknowlogy2011r3 - Family demo (6) - Second example - Paul, Joe and Laura")
 - Detection of conflicts.png "Thinknowlogy2011r3 - Family demo (7) - Detection of conflicts")
 - Justification reports - Parents and John.png "Thinknowlogy2011r3 - Family demo (8) - Showing justification reports for parents and John")
 - Justification reports - Multiple entries.png "Thinknowlogy2011r3 - Family demo (9) - Showing justification report with multiple entries")
 - Assumptions are made.png "Thinknowlogy2011r3 - Family demo - Self-adjusting level of uncertainty (1) - Assumptions are made")
 - Assumptions are confirmed.png "Thinknowlogy2011r3 - Family demo - Self-adjusting level of uncertainty (2) - Assumptions are confirm")