So atm, I’m using C++, with Logic Paradigm (http://www.mpprogramming.com/cpp/) and libxl (http://www.libxl.com/).
I can use C++ for imperative code and algorithms, but I can also use declarative code for facts/logic programming, and I can use excel spreadsheets for the database.
I’m trying to create an AI program that can “understand” or appear to “understand” concepts. So, if the user stated: “I shot an elephant in my pajamas”, it would create a mind map like so:
User -> shot (action) -> elephant (object) -> in pajamas (description of either elephant of user) -> information incomplete -> request more information to confirm understanding.
The AI needs a purpose to be able to display a reasonable understanding of basic concepts. For instance:
Walk in front of car travelling at 10mph+ -> risk (dangerous) -> Objective failed -> termination
Avoid car -> objective not failed -> proceed
Similarly, we can program a logic module:
If man = human
and human = mortal
then the AI can use substitutions to work out that man = human = mortal, and by omitting the results linking the two associtations we get: man = mortal.
Creating a strong AI is kinda like solving a sudoku puzzle, you gotta start somewhere and make changes as you go along.