On computer aided knowledge discovery in logic and related Areas

RUSU, Andrei; RUSU, Elena

dc.contributor.author	RUSU, Andrei
dc.contributor.author	RUSU, Elena
dc.date.accessioned	2020-10-12T09:42:50Z
dc.date.available	2020-10-12T09:42:50Z
dc.date.issued	2016
dc.identifier.citation	RUSU, Andrei, RUSU, Elena. On computer aided knowledge discovery in logic and related Areas. In: Conference on Mathematical Foundations of Informatics. 25-30 iulie 2016, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2016, pp. 299-306. ISBN 978‐9975‐4237‐4‐8.	en_US
dc.identifier.isbn	978‐9975‐4237‐4‐8
dc.identifier.uri	http://repository.utm.md/handle/5014/10649
dc.description.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.	en_US
dc.language.iso	en	en_US
dc.publisher	"VALINEX" SRL	en_US
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 United States	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/us/	*
dc.subject	non-classic propositional logic	en_US
dc.subject	expressibility of formulas	en_US
dc.subject	software agents	en_US
dc.subject	genetic programming	en_US
dc.subject	symbolic regres- sion	en_US
dc.title	On computer aided knowledge discovery in logic and related Areas	en_US
dc.type	Article	en_US