Leia primeiro a teoria para entender a essência deste programma.

O programa é capaz de "entender" a lógica oculta em linguagem natural, e demonstra isso por:
• de tirar conclusões a partir de frases em linguagem natural de forma autónoma explicada em da teoria a partir de: 2.3. O tirar conclusões de forma autônoma;
• de ler, bem como executar as regras de jogo Quatro em uma linha, explicada em da teoria, incluem: 2.2. Uma seleção.


Instruções de download:

• Faça o download do arquivo zip abaixo e extraia em alguma pasta a escolha;
• Vá para a pasta extraída Thinknowlogy2010r1b e execute lá a escolha:
• Thinknowlogy2010r1b in Java.jar. Esta versão é mais amigável para uso,
porém Java™ 6 (ou superior) precisa estar instalado. Instale ou atualize caso
necessário Java Runtime Environment;
• Thinknowlogy2010r1b in C++.exe funciona tanto no Windows como no Wine do
Linux.
• A teoria é incluído como documentos em PDF, bem como OpenOffice formato;
• O código fonte do programma está incluído nos formatos Java e C++;
• Este programma cai sobre a licença de software GPLv2.


Downloads:

• Thinknowlogy2010r1b.zip (data de lançamento: 12. Junho 2010)


Documentação (já incluído no download acima):

• A teoria da Thinknowlogy.pdf (PDF formato, data: 13. Abril 2010)
• A teoria da Thinknowlogy.odt (OpenOffice formato, data: 13. Abril 2010)