Project number 9996
In ordinary imperative programming, the computer is told in detail exactly what to do and when. In declarative programming, on the other hand, a goal is stated, and the task of figuring out how to reach this goal is left to the computer.
Knowledge-based systems, an active research topic in artificial intelligence, is built upon the same idea. Another hot topic is natural language processing, the problem of getting a computer to understand natural languages such as English.
Over the years attempts have been made at combining these topics, an early and famous example being SHRDLU, from the late sixties.
In knowledge systems, traditional bivalent logic often falls short. Ways to work around this problem include paraconsistent logic and multi-valued logic (e.g. fuzzy logic).
The goals of this project are:
Søren J. Løvborg