Ai Software Developer And Ontologist
CurrentCyc is the world’s largest AI program, with millions of rules written in full first-order logic and beyond (meta- and meta-meta- reasoning, reflection, modals, contexts, etc.). This knowledge base, along with a powerful inference engine, allows Cyc do causal reasoning without needing large amounts of data like traditional machine learning solutions. I have worked extensively on all aspects of the Cyc system including formalizing knowledge in higher-order logic, improving the inference engine code, and as the lead developer for numerous client applications that harness Cyc in the health care, oil, aerospace, defense, and entertainment spaces, spanning more than a half dozen Fortune 500 companies and government entities.