作者: Josep Lluís Arcos , Enric Plaza
DOI: 10.1016/0167-739X(96)00003-9
关键词:
摘要: This paper explains the inference and reflection capabilities of NOOS, an object-centered representation language designed to integrate problem solving learning. Problem learning in NOOS are modelled by means concepts, tasks, methods metalevels. Metalevels allow reason about own solving. Using metalevels, can preferences order make decisions sets alternatives present domain knowledge knowledge. Reflection is provided processes that involve Basic reflective include reasoning alternative solve a task, what known system itself, existence solutions. A formal model using Descriptive Dynamic Logic also presented.