首页/论文/cs/0611014

arXiv cs/06110142006-11-03cs.HCcs.CYcs.PL

Prolog中的交互式问题求解

Interactive Problem Solving in Prolog

Erik Braun, Rainer Luetticke, Ingo Gloeckner, Hermann Helbig

备注：: 4 pages, 1 figure, accepted for publication: Interactive computer aided learning (ICL) 2006, International Conference in Villach (Austria). Paper was not published because the authors were not able to participate on the conference

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文提出了一种环境，解决Prolog问题，已实现为虚拟实验室VILAB的一个模块。在问题解决过程中，学习者得到快速的自适应反馈。因此，分析学习者的行动，系统建议使用适当的辅助谓词，也将检查适当的实施。该环境的重点是VILAB中的鲁棒性和集成。

英文摘要：

This paper presents an environment for solving Prolog problems which has been implemented as a module for the virtual laboratory VILAB. During the problem solving processes the learners get fast adaptive feedback. As a result analysing the learner's actions the system suggests the use of suitable auxiliary predicates which will also be checked for proper implementation. The focus of the environment has been set on robustness and the integration in VILAB.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

支持问题解决循环：设计高度交互式优化系统

Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems

高效的优化算法已成为为生产调度、排产或车辆路径等现实问题找到高质量解决方案的重要工具。这些算法通常是“黑盒子”，用于解决问题的数学模型。然而，许多问题很难完全指定，需要一个“循环中的人”，他通过精炼模型和指导搜索来与算法合作，以产生可接受的解决方案。最近，问题解决循环被引入作为这种交互式优化的高级模型。在这里，我们提出并评估了九个建议的交互式可视化工具的设计支持的问题解决循环。它们的范围从选择解决方案和约束的可视化表示到使用解决方案库来支持对替代解决方案的探索。我们首先通过调查这些建议在以前的交互式优化工具中的支持程度来研究这些建议的适用性。然后，我们评估的情况下，车辆路径问题的时间窗口（VRPTW）的建议。为此，我们构建了一个复杂的交互式视觉系统，用于解决VRPTW，并根据建议进行了通知。然后，10名参与者使用该系统来解决各种路由问题。我们报告参与者的意见和互动模式的工具。这表明该工具被认为是高度可用的，结果普遍支持基本建议的实用性。

2020-09-07cs.HC

Interactive Sketchpad：用于协作式视觉问题求解的多模态辅导系统

Interactive Sketchpad: A Multimodal Tutoring System for Collaborative, Visual Problem-Solving

Massachusetts Institute of Technology（麻省理工学院）

本文提出Interactive Sketchpad多模态辅导系统，结合语言解释与交互式可视化，通过微调预训练LMM提供图文逐步指导并生成准确图表，显著提升了学生在数学问题上的理解力、准确率和参与度。

2025-04-02cs.AIcs.HC

虚拟与机器人交互角色的实时的表达性逆运动学求解

Expressive Inverse Kinematics Solving in Real-time for Virtual and Robotic Interactive Characters

INESC-ID（INESC-ID（系统与计算机工程研究所））；Instituto Superior Técnico（高等技术学院）；University of Lisbon（里斯本大学）

随着交互技术的新进步，角色动画也需要新的方法来支持机器人和VR/AR等领域。这些领域中的互动角色正受到人工智能的驱动，这为非线性和开放式叙事开辟了可能性，甚至可能包括与真实物理世界的互动。本文介绍和描述ERIK，一个有表现力的逆运动学技术，针对这些应用。我们的技术允许一个任意的运动链，如手臂，蛇，或机器人操纵器，表现出一个富有表现力的姿态，同时瞄准其终点朝向一个给定的目标方向。该技术在交互时间中运行，并且不需要任何预处理步骤，例如机器学习技术中的训练，以便支持新的实施例或新的姿势。这使得它可以集成到一个艺术家友好的工作流程中，让艺术家更接近这种AI驱动的表达性角色的开发，允许他们使用他们选择的典型动画工具，并在设计时正确地预可视化动画，即使是在真正的机器人上。完整的算法规范被提出和描述，以便它可以在我们所涉及的各个领域的社区中实现和使用。我们在不同的虚拟运动学结构上演示了ERIK，还在一个使用木材和业余爱好级伺服系统制作的低保真度机器人上演示了ERIK，以展示该技术在低级机器人上的表现。我们的评估显示了该技术的性能，即，角色能够指向目标方向的程度，同时最小程度地破坏其目标表达姿势，并遵守其机械旋转限制。

2019-11-18cs.GRcs.HCcs.RO

iToT：面向定制化思维树生成的交互式系统

iToT: An Interactive System for Customized Tree-of-Thought Generation

本文提出交互式思维树系统 iToT，通过可视化界面让用户探索、纠正和扩展语言模型的推理步骤，降低 ToT 使用门槛并提升人机协同问题求解的透明性与实用性。

2024-08-31cs.HC

探索交互式例题设计及其对不同先验知识学习者的影响

Exploring the Design and Impact of Interactive Worked Examples for Learners with Varying Prior Knowledge

North Carolina State University（北卡罗来纳州立大学）

本研究通过设计Buggy和Guided两种交互式例题，发现不同认知参与水平对学习者先验知识的影响，验证了ICAP理论在逻辑问题解决中的有效性。

2026-02-18cs.HC

FemQuest —— 一款吸引女孩参与编程的互动多人游戏

FemQuest -- An Interactive Multiplayer Game to Engage Girls in Programming

为解决计算机科学领域男女参与度差距问题，研究提出一款名为FemQuest的3D多人游戏，在工作坊环境中激励女孩编程，评估表明该基于游戏的协作学习方法有效提升了女孩的编程参与度、计算技能与问题解决能力。

2024-07-04cs.CYcs.HC

更多相关论文收起更多论文

CNN 101：卷积神经网络的交互式视觉学习

CNN 101: Interactive Visual Learning for Convolutional Neural Networks

Georgia Institute of Technology（佐治亚理工学院）；Oregon State University（俄勒冈州立大学）

深度学习解决以前认为的难题的成功激励了许多非专家学习和理解这项令人兴奋的技术。然而，由于深度学习模型的复杂性，学习者往往很难迈出第一步。我们提出了我们正在进行的工作，CNN 101，一个交互式可视化系统，用于解释和教学卷积神经网络。通过紧密集成的交互式视图，CNN 101提供模型如何工作的概述和详细描述。使用现代网络技术构建的CNN 101在用户的网络浏览器中本地运行，而不需要专门的硬件，从而拓宽了公众对现代深度学习技术的教育访问。

2020-02-27cs.AIcs.HCcs.LG

故事与系统：教育性互动叙事以培养媒体素养和系统思维

Stories and Systems: Educational Interactive Storytelling to Teach Media Literacy and Systemic Thinking

HKU University of the Arts Utrecht（乌得勒支艺术大学）；J.E. Cairnes School of Business & Economics, University of Galway（高威大学J.E.凯恩斯商学院与经济系）；School of Computer Science and Statistics, Trinity College Dublin, The University of Dublin（都柏林三一学院计算机科学和统计学院）

本文提出CLASS框架，通过互动数字叙事（IDN）帮助学习者探索复杂系统，培养批判性思维和协作解决问题的能力。

2026-06-29cs.CYcs.ETcs.HC

用AI普及问题解决基础：面向中学生的大规模搜索课程

Democratizing Foundations of Problem-Solving with AI: A Breadth-First Search Curriculum for Middle School Students

North Carolina State University（北卡罗来纳州立大学）；The Citadel – The Military College of South Carolina（美国南卡罗来纳州军事学院）；University of Pennsylvania（宾夕法尼亚大学）

本文设计了一种将AI学习目标融入科学课堂的课程，通过BFS教学提升学生对AI问题解决的理解，并在科学教学中有效促进学习。

2026-04-15cs.CYcs.ETcs.HC

构思还是固着：示例对问题解决的影响随示例呈现界面设计而变化

Formulating or Fixating: Effects of Examples on Problem Solving Vary as a Function of Example Presentation Interface Design

通过182人实验比较不同示例呈现界面，发现列表式示例易导致固着并降低表现，而情境化示例有助于构建问题空间模型。

2024-01-23cs.HC

Mentigo：一个在创造性问题解决过程中指导学生的智能体

Mentigo: An Intelligent Agent for Mentoring Students in the Creative Problem Solving Process

本研究提出了名为Mentigo的交互式导师智能体系统，通过构建真实课堂互动数据集设计智能体工作流，协助中学生进行创造性问题解决（CPS），实验证明其能显著提升学生参与度与创造性成果。

2024-09-21cs.HC

基于无约束身体探索的数学问题解决中反思性思维的自动检测

Automatic Detection of Reflective Thinking in Mathematical Problem Solving based on Unconstrained Bodily Exploration

University College London（伦敦大学学院）；University of Genoa（热那亚大学）；Italian Institute of Technology（意大利技术研究院）；PwC（普华永道）

对于旨在提供交互式学习的技术（如严肃游戏），重要的是要解决相关的心理体验，如解决问题时的反思性思维。为了促进这一方向的研究，我们提出了weDraw-1运动数据集的身体运动传感器数据和反射性思维标签为26名儿童解决数学问题在无约束的设置，其中身体（全部或部分）需要探索这些问题。此外，我们提供定性分析的行为，观察员用于识别这些会议中的反思性思维时刻。从我们的汇编身体运动线索通知功能，导致平均F1得分为0.73的自动检测的反射性思维的基础上长短期记忆神经网络。我们进一步获得了0.79的平均F1分数，用于端到端检测反思性思考期，即基于原始传感器数据。最后，该算法产生了0.64的平均F1分数的时间段子段短至4秒。总的来说，我们的研究结果表明，从身体运动行为的孩子探索数学概念的身体，如在严重的游戏中检测反射性思维的时刻的可能性。

2020-03-23cs.HCcs.LGstat.ML