Home // INTELLI 2016, The Fifth International Conference on Intelligent Systems and Applications // View article

Cartesian Handling Informal Specifications in Incomplete Frameworks

Authors:
Marta Franova
Yves Kodratoff

Keywords: informal specification; intelligence by design; inductive theorem proving; Cartesian Intuitionism; symbiotic recursive systems; Constructive Matching Methodology

Abstract:
This paper introduces and illustrates a fundamental notion, namely informal specification, for creating tools developed as symbiotic recursive pulsating systems (SRPS), in the framework of Inductive Theorem Proving and Intelligent Systems. It illustrates the use of this fundamental notion in scientific systemic creativity relative to theorem proving. We deal simultaneously with the meta-level design of a system that proves theorems automatically.

Pages: 100 to 107

Copyright: Copyright (c) IARIA, 2016

Publication date: November 13, 2016

Published in: conference

ISSN: 2308-4065

ISBN: 978-1-61208-518-0

Location: Barcelona, Spain

Dates: from November 13, 2016 to November 17, 2016