Monday 18. july 2016: Updates on my new simulation framework project in Haskell.
Friday 25. march 2016: Dear backers, unfortunately, the FUN project was not successfully funded. I will now focus on FRP (Functional Reactive Programming) applied to real-time critical system specification and simulation.
For further details about my research in AI, please see my DEA page.
I present in this page some tools I have written during my training period in AI at ENSEEIHT in the G.R.A.A.L. team. We use SWI-Prolog as a programming language. If you are reading this page it is useless to tell you about the power of such a language :-).
Two methods have been implemented to parse natural language in a simple way. For a more elaborate parsing, report to the work of David Ricordel (DEA at ENSEEIHT) who made an extension of the Montague categorial grammar.
In a first approach of dialogue we wrote small expert systems in Prolog. First versions were very simple but still had interesting features:
The main point in the use of a knowledge base is the maintenance of the consistency. We have chosen a probabilitic approach. Inspired from the DEA an adaptation of RMS to probabilistic logic (see DEA lesson about Plausible Reasonning and Uncertainty) leads us to “Probabilistic Truth Maintenance System” (PTMS). The main idea is to associate a probability to every logical formulas. We use a modal first order logic (RMS is limited to propositionnal logic).
Not yet fully implemented.
My training period deals with dialogue modelling. We want to model dialogue agents and different kinds of dialogues. At present agents dialogue using a formal language (first order logic). The program simulates two agents that have each their own characteristics (inference engine, knowledge, goal, …).
The implementation of above programs needs some predicates that prove to be very useful in a lot of cases. The topics are diversified:
I won’t develop there all these subjects. Meanwhile it is interesting to say something about unification and term substitution.