Using constraint-based modelling to describe the solution space of ill-defined problems in logic programming

被引：0

作者：

Le, Nguyen-Thinh ^{[1
]}

Menzel, Wolfgang ^{[1
]}

机构：

[1] Univ Hamburg, Dept Informat, D-22527 Hamburg, Germany

来源：

ADVANCES IN WEB BASED LEARNING - ICWL 2007 | 2008年 / 4823卷

关键词：

ill-defined problems; error diagnosis; logic programming; constraint-based modelling; ITS;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for well-defined problems. However, solving ill-defined problems is important because it can enhance the cognitive, metacognitive and argumentation skills of a student. In this paper, we demonstrate how to apply the constraint-based modelling approach to describe the solution space of ill-defined problems in logic programming. This technology has been integrated into a web-based ITS (INCOM) and has been evaluated with student solutions from past examinations.

引用

页码：367 / 379

页数：13

共 49 条

[41] Function- and constraint-based conceptual design support using easily exchangeable, reusable principle solution elements
Wilhelms, S
AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2005, 19 (03): : 201 - 219
[42] A 3D Relative-Motion Context Constraint-Based MAP Solution for Multiple-Object Tracking Problems
Wang, Zhongli
Fan, Litong
Cai, Baigen
SENSORS, 2018, 18 (07)
[43] Dynamic Solution Space Division-Based Methods for Calculating Reaction Deletion Strategies for Constraint-Based Metabolic Networks for Substance Production: DynCubeProd
Ma, Yier
Tamura, Takeyuki
FRONTIERS IN BIOINFORMATICS, 2021, 1
[44] Constraint programming-based solution approaches for three-dimensional loading capacitated vehicle routing problems
Kucuk, Mustafa
Yildiz, Seyda Topaloglu
COMPUTERS & INDUSTRIAL ENGINEERING, 2022, 171
[45] An open-source motion planning framework for mobile manipulators using constraint-based task space control with linear MPC
Stelter, Simon
Bartels, Georg
Beetz, Michael
2022 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2022, : 1671 - 1678
[46] An optimal solution of energy scheduling problem based on chance-constraint programming model using Interval-valued neutrosophic constraints
Touqeer, Muhammad
Umer, Rimsha
Ahmadian, Ali
Salahshour, Soheil
Ferrara, Massimiliano
OPTIMIZATION AND ENGINEERING, 2021, 22 (04) : 2233 - 2261
[47] An optimal solution of energy scheduling problem based on chance-constraint programming model using Interval-valued neutrosophic constraints
Muhammad Touqeer
Rimsha Umer
Ali Ahmadian
Soheil Salahshour
Massimiliano Ferrara
Optimization and Engineering, 2021, 22 : 2233 - 2261
[48] A Reinforcement-Learning-Based Evolutionary Algorithm Using Solution Space Clustering For Multimodal Optimization Problems
Xia, Hai
Li, Changhe
Zeng, Sanyou
Tan, Qingshan
Wang, Junchen
Yang, Shengxiang
2021 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC 2021), 2021, : 1938 - 1945
[49] An alignment-free methodology for modelling field-based 3D-structure activity relationships using inductive logic programming
Buttingsrud, Bard
King, Ross Donald
Alsberg, Bjorn Kare
JOURNAL OF CHEMOMETRICS, 2007, 21 (12) : 509 - 519

← 1 2 3 4 5 →