{"corpus_id":4529349,"paper_sha":"8b795f3b0429cc9826eebde72ea6fd8571053249","doi":"10.26529/cepsj.225","arxiv_id":null,"pmid":null,"pmcid":null,"mag_id":2806713324,"dblp_id":null,"acl_id":null,"title":"Overcoming the Obstacle of Poor Knowledge in Proving Geometry Tasks","year":2013,"publication_date":"2013-12-31","venue":"Center for Educational Policy Studies Journal","journal":{"name":"Center for Educational Policy Studies Journal","pages":null,"volume":null},"journal_issn":null,"journal_title":null,"publication_types":[],"pubmed_pub_types":null,"s2_fields_of_study":["Mathematics","Computer Science","Psychology"],"reference_count":20,"citation_count":8,"influential_citation_count":2,"is_open_access":true,"arxiv_categories":null,"arxiv_license":null,"arxiv_journal_ref":null,"mesh_headings":null,"chemicals":null,"comments_corrections":null,"source_flags":1,"s2_open_access_pdf_url":"https://www.cepsj.si/index.php/cepsj/article/download/225/138","s2_open_access_landing_url":"https://www.semanticscholar.org/paper/8b795f3b0429cc9826eebde72ea6fd8571053249","s2_open_access_license":"CCBY","s2_open_access_status":"GOLD","pmc_open_access_pdf_url":null,"pmc_open_access_landing_url":null,"pmc_open_access_license":null,"pmc_open_access_status":null,"unpaywall_open_access_pdf_url":null,"unpaywall_open_access_landing_url":null,"unpaywall_open_access_license":null,"unpaywall_open_access_status":null,"abstract":"Proving in school geometry is not just about validating the truth of a claim. In the school setting, the main function of the proof is to convince someone that a claim is true by providing an explanation. Students consider proving to be difficult; in fact, they find the very concept of proof demanding. Proving a claim in planar geometry involves several processes, the most salient being visual observation and deductive argumentation. These two processes are interwoven, but often poor observation hinders deductive argumentation. In the present article, we consider the possibility of overcoming the obstacle of a student’s poor observation by making use of computer-aided observation with appropriate software. We present the results of two small-scale research projects, both of which indicate that students are able to work out considerably more deductions if computer-aided observation is used. Not all students use computer-aided observation effectively in proving tasks: some find an exhaustive computer-provided list of properties confusing and are not able to choose the properties that are relevant to the task.","claims":[{"public_id":"cl_4169913cbb3fcc412e20a3238b336c75","status":"active","text":"An exhaustive computer-provided list of properties can confuse some students and make it difficult for them to select task-relevant properties.","confidence":0.9,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_4169913cbb3fcc412e20a3238b336c75"},{"public_id":"cl_055f3c8736702e990a3be829c38a3206","status":"active","text":"Computer-aided observation can help students derive considerably more deductions in planar geometry proving tasks.","confidence":0.95,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_055f3c8736702e990a3be829c38a3206"},{"public_id":"cl_80991bce326a9c8e00a61f8ff02c9274","status":"active","text":"Poor observation can hinder deductive argumentation in geometry proving.","confidence":0.86,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_80991bce326a9c8e00a61f8ff02c9274"}],"concepts":[{"public_id":"co_01e24515c71a4ae73b705d72f21afbe3","status":"active","name":"school geometry","description":"Geometry as taught and learned in a school setting.","types":["educational domain"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_01e24515c71a4ae73b705d72f21afbe3"},{"public_id":"co_1c83d1000a6291ebf4a9ac5c6704aed9","status":"active","name":"task-relevant properties","description":"Properties of a figure that are pertinent to solving the proving task.","types":["feature"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_1c83d1000a6291ebf4a9ac5c6704aed9"},{"public_id":"co_3b06e00044231a1010dadcecabdfe92f","status":"active","name":"visual observation","description":"Inspection of geometric figures by looking for visible properties and relations.","types":["cognitive process"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_3b06e00044231a1010dadcecabdfe92f"},{"public_id":"co_407fd94d5847bc32413e130061b54639","status":"active","name":"planar geometry","description":"Geometry concerning figures and relationships in a plane.","types":["mathematical domain"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_407fd94d5847bc32413e130061b54639"},{"public_id":"co_447918904b0bee6686d8d6366b5ba058","status":"active","name":"geometry proving","description":"The activity of constructing explanations or justifications for geometric claims.","types":["educational activity"],"aliases":["proving in geometry"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_447918904b0bee6686d8d6366b5ba058"},{"public_id":"co_5098342a9ad55df10ddd1f1a88f77ff4","status":"active","name":"appropriate software","description":"Software used to support observation in geometry proving tasks.","types":["software"],"aliases":["computer software"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_5098342a9ad55df10ddd1f1a88f77ff4"},{"public_id":"co_8a950934c44bf1886dc06c6ac23a25dd","status":"active","name":"computer-provided list of properties","description":"A software-generated set of geometric properties available for inspection.","types":["resource"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_8a950934c44bf1886dc06c6ac23a25dd"},{"public_id":"co_aee59f4473091de8d6786be18d0293bd","status":"active","name":"proof","description":"A justification intended to convince someone that a claim is true.","types":["mathematical argument"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_aee59f4473091de8d6786be18d0293bd"},{"public_id":"co_bd18292e41722713769f58fc68b810e6","status":"active","name":"poor observation","description":"Insufficient or ineffective observation of geometric figures and their properties.","types":["difficulty"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_bd18292e41722713769f58fc68b810e6"},{"public_id":"co_e28d4201a96e1d7a1f8ca34ce31b637d","status":"active","name":"computer-aided observation","description":"Observation supported by software that can display or enumerate geometric properties.","types":["method"],"aliases":["computer aided observation"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_e28d4201a96e1d7a1f8ca34ce31b637d"},{"public_id":"co_ef95198cbc12f2f59589e14ddf955186","status":"active","name":"deductive argumentation","description":"Reasoning from premises to conclusions using logical deduction.","types":["reasoning process"],"aliases":["deduction"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_ef95198cbc12f2f59589e14ddf955186"}],"external_ids":{"DOI":"10.26529/cepsj.225","ArXiv":null,"PubMed":null,"PubMedCentral":null,"MAG":2806713324,"DBLP":null,"ACL":null},"open_access":{"is_open_access":true,"pdf_url":"https://www.cepsj.si/index.php/cepsj/article/download/225/138","landing_url":"https://www.semanticscholar.org/paper/8b795f3b0429cc9826eebde72ea6fd8571053249","source":"semantic_scholar","pdf_url_source":"semantic_scholar_open_access_pdf","license":"CCBY","status":"GOLD","reason":null},"reference_availability":{"status":"available","references_indexed":true,"full_text_available":false,"full_text_source":null,"count_basis":"semantic_scholar_metadata","extraction_status":"not_applicable","reason":null},"source":{"provider":"episteme2","base_corpus":"semantic_scholar_dump","freshness_mode":"unknown","basis":["semantic_scholar_metadata","postgres_metadata"],"limits":["paper metadata is based on indexed upstream scholarly datasets","claims and concepts are available only for extracted papers","absence of claims or concepts means no extracted graph data is available in this response"],"status":"available","degraded":false,"degraded_reasons":[],"diagnostics":{"status":"available","degraded":false,"degraded_reasons":[],"metadata_status":"available","graph_status":"available","abstract_status":"available"},"source_flags":1},"paper_id":633194,"paper_uid":"2fd3693c-4452-4bad-a01a-e6b7fef905b0","canonical_identity":{"paper_id":633194,"paper_uid":"2fd3693c-4452-4bad-a01a-e6b7fef905b0","identity_status":"available","lookup_basis":"semantic_scholar_external_id","compatibility_path":"corpus_id"},"url":"https://sah.borca.ai/papers/4529349"}