On computer aided knowledge discovery in logic and related Areas

Abstract

The present paper describes the architecture of a software for computer aided knowledge discovery dealing with the problems of functional expressibility of formulas in a nonstandard propositional logic. The achieved system rests on a distributed agent-based platform. Some software agents have been designed in order to solve some particular problems, the user interact with them via a protocol provided by an interface software agent. The methods used by some agents to solve some particular problems are based on technics inspired from nature: genetic programming. The agent framework JADE used for these objectives is a FIPA-complained open-source agent platform.