Inference and reflection in the object-centered representation language NOOS

作者: 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.

参考文章(15)
B López, E Plaza, None, Case-Based Planning for Medical Diagnosis international syposium on methodologies for intelligent systems. pp. 96- 105 ,(1993) , 10.1007/3-540-56804-2_10
Richard Benjamins, On a Role of Problem Solving Methods in Knowledge Acquisition knowledge acquisition, modeling and management. pp. 137- 157 ,(1994) , 10.1007/3-540-58487-0_8
Josep Lluís Arcos, Enric Plaza, A Reflective Architecture for Integrated Memory-Based Learning and Reasoning EWCBR '93 Selected papers from the First European Workshop on Topics in Case-Based Reasoning. pp. 289- 300 ,(1993) , 10.1007/3-540-58330-0_94
Josep Lluís Arcos, Enric Plaza, Integration of Learning into a Knowledge Modelling Framework knowledge acquisition, modeling and management. pp. 355- 373 ,(1994) , 10.1007/3-540-58487-0_19
Eva Armengol, Enric Plaza, Integrating Induction in a Case-Based Reasoner EWCBR '94 Selected papers from the Second European Workshop on Advances in Case-Based Reasoning. pp. 3- 17 ,(1994) , 10.1007/3-540-60364-6_23
Frank van Harmelen, Bob Wielinga, Guus Schreiber, Hans Akkermans, A formalization of knowledge-level models for knowledge acquisition International Journal of Intelligent Systems. ,vol. 8, pp. 169- 208 ,(1993)
Jan Treur, On the use of reflection principles in modelling complex reasoning International Journal of Intelligent Systems. ,vol. 6, pp. 277- 294 ,(1991) , 10.1002/INT.4550060304
L. Godo, R. López de Mántaras, C. Sierra, A. Verdaguer, MILORD: The architecture and the management of linguistically expressed uncertainty Journal of intelligent systems. ,vol. 4, pp. 471- 501 ,(1989) , 10.1002/INT.4550040405
Luc Steels, Second generation expert systems Future Generation Computer Systems. ,vol. 1, pp. 213- 221 ,(1985) , 10.1016/0167-739X(85)90010-X
Franz Guenthner, Dov M. Gabbay, Handbook of Philosophical Logic ,(2018)