Evolution of the Hypotheses Testing Approach in Intelligent Problem Solving Environments

Authors:
Janine Willms;Claus Möbus
Affiliations:
-;-
Venue:
ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
Year:
2000

Citing 8
Cited 1

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward a theory of impasse-driven learning

Learning Issues for Intelligent Tutoring Systems
The/Munich Project CIP

The/Munich Project CIP
Specification and transformation of programs: a formal approach to software development

Specification and transformation of programs: a formal approach to software development
Unified theories of cognition

Unified theories of cognition
Toward the Design of Adaptive Instructions and Helps for Knowledge Communication with the Problem Solving Monitor ABSYNT

Proceedings of the CEPES-UNESCO International Symposium on Artificial Intelligence in Higher Education
Verifying the Correctness of AADL Modules Using Model Checking

Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
An Intelligent Problem Solving Environment for Designing Explanation Models and for Diagnostic Reasoning in Probabilistic Domains

ITS '96 Proceedings of the Third International Conference on Intelligent Tutoring Systems

Time in the adaptive tutoring process model

ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we compare different realizations of the hypotheses testing approach in the IPSEs (Intelligent Problem Solving Environments) ABSYNT, PETRI-HELP and MEDICUS and introduce the changes necessary to transfer the hypotheses testing approach to the real world domain of patent applications. Patent-IT is the first IPSE to overcome the limiting aspects of fixed specifications and a black box oracle.