Knowledge-Based Software Engineering: IDP4

Answer Set Programming (ASP) is a field that facilitates the declarative specification of knowledge and its use for problem solving. After years of basic research, its industrial application is taking off. In 2015, we have worked together intensively with an industrial partner to build some proof of concept applications based on our IDP3 system, a member of the ASP family. These experiments confirmed the promise for a great reduction in development and maintenance cost but also showed that the IDP3 research prototype is not suited for industrial deployment. This project aims at developing IDP4, a system that overcomes the limitations of IDP3 and can be the IP for a spin-off that builds software solutions for complex and knowledge intensive problems, this by reengineering the curr ent solver.

Keywords:Answer Set Programming, problem solving, knowledge based paradigm, Software engineering, declarative specification, inference, IDP4

Disciplines:Applied mathematics in specific fields