CCG Group Members - Pedro Torres
Pedro's Homepage is here: Pedro's Homepage
Pedro Torres is a PhD student in the group, and also a Research Associate on the Objet Trouve project. He has interests in Automated Theory Formation and in the Objet Trouve approach to computing.
Pedro works at the intersection of Logic and Machine Learning and is interested in designing a system which can form mathematical theories automatically from basic definitions and axioms. As part of that goal, he is devising an algorithm which takes examples of interesting human-created theories and induces a theory formation system which can form theories using the constructions learned from the example theories. In other words, he is interested in automating the process of generating automated theory formation systems (Meta-level Theory Formation).
Publications
Conference Papers
S. Colton, P. Torres, P. Cairns and V. Sorge. “Managing Automatically Formed Mathematical Theories”, In proceedings of the 5th International Conference on Mathematical Knowledge Management, 2006. Springer LNAI volume 4108. pdf @Springer @citeseer
Conference Proceedings
P. Torres and S. Colton. “Towards Meta-Level Descriptive ILP”, Short paper proceedings of ILP'06. pdf
Workshop Papers
P. Torres and S. Colton. “Using Model Generation in Automated Concept Formation”, In proceedings of the Automated Reasoning Workshop, 2006. pdf
P. Torres and S. Colton. “Proving Concept Producibility”, In proceedings of the Automated Reasoning Workshop, 2007. pdf
P. Torres and S. Colton. “Automated Meta-Theory Induction in Pure Mathematics”, In proceedings of the Automated Reasoning Workshop, 2008. pdf
P. Torres and S. Colton. “Experiments in Example-based Image Filter Retrieval”, In proceedings of the Workshop on Cross-Media Information Analysis, Extraction and Management, 2008. pdf
S. Colton and P. Torres. “Evolving Approximate Image Filters”, In proceedings of the Evo Workshop '09. (To appear)
Technical Reports
P. Torres [2007-10-11]. “Automated Meta-Theory Induction in Pure Mathematics”, Ph.D. Transfer Report. Submitted in compliance with departmental regulations to transfer from M.Phil. to Ph.D. The transfer panel was: Dr. Simon Colton, Prof. Marek Sergot, Prof. Stephen Muggleton and Prof. Murray Shanahan. pdf