We use own and third party cookies to improve our services and show related advertising to your preferences by analyzing your browsing habits. If you continue browsing, we consider that you accept their use. Can change the settings or get more information here

Ver sitio en español Go to homepage Contact me

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...]

    Software developingProgramming in csharp languageLogic programming in C#
  • 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 first-order logic, which has much more expressive capacity than predicate logic, although this makes also automatic calculation more difficult.

    [Read More...]

    Software developingProgramming in csharp languageLogic programming in C#