論文の概要: Four Geometry Problems to Introduce Automated Deduction in Secondary Schools

• arxiv url: http://arxiv.org/abs/2202.03566v1
• Date: Tue, 8 Feb 2022 00:07:34 GMT
• ステータス: 処理完了
• システム内更新日: 2022-02-10 04:46:32.283166
• Title: Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
• Title（参考訳）: 中等教育における自動推論導入のための4つの幾何学問題
• Authors: Pedro Quaresma (CISUC / Department of Mathematics, University of Coimbra, Portugal), Vanda Santos (CIDTFF / University of Aveiro and CISUC, Portugal)
• Abstract要約: 幾何学における自動推論の主題は、特に問題に対処することで導入することができる。 この課題は4つの中等教育の幾何学的問題に対処することで論じられる。 これらの問題に対して,情報通信技術を活用した授業計画について論じる。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The introduction of automated deduction systems in secondary schools face several bottlenecks, the absence of the subject of rigorous mathematical demonstrations in the curricula, the lack of knowledge by the teachers about the subject and the difficulty of tackling the task by automatic means. Despite those difficulties we claim that the subject of automated deduction in geometry can be introduced, by addressing it in particular cases: simple to manipulate by students and teachers and reasonably easy to be dealt by automatic deduction tools. The subject is discussed by addressing four secondary schools geometry problems: their rigorous proofs, visual proofs, numeric proofs, algebraic formal proofs, synthetic formal proofs, or the lack of them. For these problems we discuss a lesson plan to address them with the help of Information and Communications Technology, more specifically, automated deduction tools.
• Abstract（参考訳）: 中学校における自動推論システムの導入はいくつかのボトルネック、カリキュラムにおける厳密な数学的デモンストレーションの対象の欠如、課題に関する教師の知識の欠如、自動的な手段でタスクに取り組むことの難しさに直面している。 このような困難にもかかわらず、学生や教師が操作しやすく、自動推論ツールで処理しやすくすることで、幾何学における自動推論の主題を導入することができると主張している。 この主題は、厳密な証明、視覚的証明、数値的証明、代数的形式的証明、合成的形式的証明、あるいはそれらの欠如という4つの中等学校の幾何学問題に対処することで議論される。 これらの問題に対して,情報通信技術,具体的には自動推論ツールを活用した授業計画について論じる。

関連論文リスト

• Formal Mathematical Reasoning: A New Frontier in AI [60.26950681543385]
  我々は公式な数学的推論を提唱し、AI4Mathを次のレベルに進めるには不可欠であると主張している。 既存の進捗を要約し、オープンな課題について議論し、将来の成功を測るための重要なマイルストーンを想定します。
  論文  参考訳（メタデータ） (2024-12-20T17:19:24Z)
• Autoformalizing Euclidean Geometry [74.72212706513318]
  ユークリッド幾何学の自己形式化のためのニューロシンボリックフレームワークを提案する。 1つの課題は、非公式な証明が図に頼り、形式化が難しいテキストのギャップを残すことである。 自己形式化定理文の自動意味評価を行う。
  論文  参考訳（メタデータ） (2024-05-27T14:35:10Z)
• Learning Guided Automated Reasoning: A Brief Survey [5.607616497275423]
  これまでに開発されてきたいくつかの自動推論・定理証明領域と学習・AI手法の概要について概説する。 これには、前提選択、いくつかの設定での証明ガイダンス、推論と学習を繰り返すフィードバックループ、象徴的な分類問題が含まれる。
  論文  参考訳（メタデータ） (2024-03-06T19:59:17Z)
• A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools [0.0]
  中学校における自動推論システムの導入は、いくつかのボトルネックに直面している。 幾何学的自動定理プローバーの結果と学校での推論と証明の通常の実践との間の不一致は、教育環境においてそのようなツールを広く使用する上で大きな障壁となる。 授業計画が提示され、その目標は幾何学的定理を証明する公式なデモンストレーションの導入であり、その目標に学生を動機付けようとすることである。
  論文  参考訳（メタデータ） (2023-03-10T11:36:10Z)
• Computer Assisted Proofs and Automated Methods in Mathematics Education [0.0]
  数学教育やSTEAM教育の幅広い枠組みにおける意味を示す。 我々は,ブラックボックスとしての利用を避けるため,数学教育の探索・発見・回避スキームへの転換について論じる。
  論文  参考訳（メタデータ） (2023-03-10T11:35:50Z)
• UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression [127.68780714438103]
  計算と証明の2つの主要な幾何学問題は、通常2つの特定のタスクとして扱われる。 我々は4,998の計算問題と9,543の証明問題を含むUniGeoという大規模統一幾何問題ベンチマークを構築した。 また,複数タスクの幾何変換フレームワークであるGeoformerを提案し,計算と証明を同時に行う。
  論文  参考訳（メタデータ） (2022-12-06T04:37:51Z)
• Formal Mathematics Statement Curriculum Learning [64.45821687940946]
  同じ計算予算、専門家の反復、つまり、学習にインターリーブされた証明検索が、証明検索のみを劇的に上回っていることを示す。 また, 難易度が十分に異なる形式文の集合に適用した場合, 専門家の反復により, ますます困難な問題に対するカリキュラムの発見と解決が可能であることも観察した。
  論文  参考訳（メタデータ） (2022-02-03T00:17:00Z)
• Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning [123.06420835072225]
  3,002の幾何学的問題と密接なアノテーションを形式言語に含む新しい大規模ベンチマークGeometry3Kを構築します。 我々は、Interpretable Geometry Problemsolvr (Inter-GPS)と呼ばれる形式言語と記号推論を用いた新しい幾何学的解法を提案する。 イントラGPSは定理の知識を条件付き規則として取り入れ、記号的推論を段階的に行う。
  論文  参考訳（メタデータ） (2021-05-10T07:46:55Z)
• Neural Multi-Task Learning for Teacher Question Detection in Online Classrooms [50.19997675066203]
  教師の音声記録から質問を自動的に検出するエンドツーエンドのニューラルネットワークフレームワークを構築している。 マルチタスク学習手法を取り入れることで,質問の種類によって意味的関係の理解を深めることが可能となる。
  論文  参考訳（メタデータ） (2020-05-16T02:17:04Z)
• Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context [0.0]
  我々は、Prologのエンコーディングから証明の完全なセットの生成に至るまで、我々が実装した中核的な概念を提示する。 また、私たちが直面した主な問題と、選択したソリューションも提示します。
  論文  参考訳（メタデータ） (2020-02-28T05:23:16Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。