Computer software and downloadable computer software in the field of data retrieval, knowledge management, knowledge modules, data encryption, data synthesis, storage and retrieval of knowledge modules and artificial intelligence; Software for managing databases and libraries of knowledge modules; Computer software and downloadable computer software to encode knowledge for exploitation by artificial intelligence and other automated reasoning applications; blank smart cards and encoded smart cards containing programming used for synthesizing solutions and forming queries from knowledge modules and computer software for synthesizing solutions and forming queries from knowledge modules