Problem solving and mathematical knowledge
This event took place on Friday 10 December 2010 at 11:30
Joe Corneli
I will give a brief retrospective on the past year at KMi and talk a little bit about what brought me here in the first place! I will then spend the rest of the time discussing my plan for the next two years. Succinctly, the plan is to build a problem-solving layer over the encyclopedia layer that comprises the central feature of the current PlanetMath.org. Research will proceed by examining the activities of people in this space (e.g. connecting, discussing, working, recording, sharing, learning, etc.) and analysis of these pursuant to creating useful recommendations for learners. I am particularly interested in looking at the ways problem-solving connects with encodings of knowledge in the encyclopedia layer. Comments and criticisms are welcome; and, to this end, please come with an opinion about the following motivating quote: "Outsiders see mathematics as a cold, formal, logical, mechanical, monolithic process of sheer intellection; we argue that insofar as it is successful, mathematics is a social, informal, intuitive, organic, human process, a community project." -- Social Processes and Proofs of Theorems and Programs, by DeMillo, Lipton, and Perlis.
This event took place on Friday 10 December 2010 at 11:30
I will give a brief retrospective on the past year at KMi and talk a little bit about what brought me here in the first place! I will then spend the rest of the time discussing my plan for the next two years. Succinctly, the plan is to build a problem-solving layer over the encyclopedia layer that comprises the central feature of the current PlanetMath.org. Research will proceed by examining the activities of people in this space (e.g. connecting, discussing, working, recording, sharing, learning, etc.) and analysis of these pursuant to creating useful recommendations for learners. I am particularly interested in looking at the ways problem-solving connects with encodings of knowledge in the encyclopedia layer. Comments and criticisms are welcome; and, to this end, please come with an opinion about the following motivating quote: "Outsiders see mathematics as a cold, formal, logical, mechanical, monolithic process of sheer intellection; we argue that insofar as it is successful, mathematics is a social, informal, intuitive, organic, human process, a community project." -- Social Processes and Proofs of Theorems and Programs, by DeMillo, Lipton, and Perlis.
Future Internet
KnowledgeManagementMultimedia &
Information SystemsNarrative
HypermediaNew Media SystemsSemantic Web &
Knowledge ServicesSocial Software
Multimedia and Information Systems is...
We focus on content-based information retrieval over a wide range of data spanning form unstructured text and unlabelled images over spoken documents and music to videos. This encompasses the modelling of human perception of relevance and similarity, the learning from user actions and the up-to-date presentation of information. Currently we are building a research version of an integrated multimedia information retrieval system MIR to be used as a research prototype. We aim for a system that understands the user's information need and successfully links it to the appropriate information sources, be it a report or a TV news clip. This work is guided by the vision that an automated knowledge extraction system ultimately empowers people making efficient use of information sources without the burden of filing data into specialised databases.
Visit the MMIS website
List all Multimedia and Information Systems Projects
Check out these Hot Multimedia and Information Systems Technologies:
List all Multimedia and Information Systems Technologies
