In this topic you can find some programming projects which are related with formal logic and logic tools that can be useful in artificial intelligence programming.

31/07/2016
The Tableaux is a logical calculus tool that is very useful to demonstrate a conclusion from a set of premises, find counterexamples or models of a set of logical formulas or demonstrate that a formula is a tautology, i.e., that is true in all possible cases. They can be used in artificial intelligence as the basis for implementing automated theorem proving.
[Read More...] 
19/08/2016
The Tableaux is a logical calculation tool that allows checking the validity of a conclusion from a series of premises. In the previous article I explained briefly the fundamentals of predicate logic Tableaux. In this article I will extend the program to the firstorder logic, which has much more expressive capacity than predicate logic, although this makes also automatic calculation more difficult.
[Read More...] 
10/12/2017
Solving any Sudoku is a problem that can seem complicated if brute force methods are used, testing each and every one of the possible combinations. But, with the right approach, any of these problems can be solved in a few milliseconds. In this article, I will show you a way to achieve it through an optimized method.
[Read More...]