Introduction .............................................................................................................................................. 1 Knowledge and Content Management .................................................................................................... 1 The Multiparadigm Knowledge Schema........................................................................

In 1995, the MedView project, based on a co-operation between computing science and clinical medicine was initiated. The overall aim of the project is to develop models, methods, and tools to support clinicians in their diagnostic work. Today, the system is in daily use at several clinics and the knowledge base created contains more than 2000 examination records from the involved clinics. Knowl...

Software engineering (SE) and knowledge engineering (KE) develop software systems using different construction process models. Because of the growing complexity of the problems to be solved by computers, the conventional systems (CS) and knowledge-based systems (KBS) software process is at present passing through a period of integration. In this paper, we propose a software process model applic...

In this paper we generalize the notion of method for proof planning. While we adopt the general structure of methods introduced by Alan Bundy, we make an essential advancement in that we strictly separate the declarative knowledge from the procedural knowledge. This change of paradigm not only leads to representations easier to understand , it also enables modeling the important activity of for...

Although computational models developed in cognitive architectures are often rich in their knowledge of procedural skills, they are often poor in their knowledge of declarative facts about the world. This work endows the ACT-R cognitive architecture with world knowledge derived from Wikipedia, compiling a knowledge base of over 37 million declarative facts that can be accessed by a cognitive mo...

Analysing declarative and procedural knowledge in sport makes it possible to evaluate the students’ acquisitions learning process. This study aimed compare acquisition of after implementation several intervention programmes school basketball, according methodology prior experience students. A total 55 students from sixth year primary education took part study, distributed into three groups. Eac...

It has been well recognized that human makes use of both declarative memory and procedural memory for decision making and problem solving. In this paper, we propose a computational model with the overall architecture and individual processes for realizing the interaction between the declarative and procedural memory based on self-organizing neural networks. We formalize two major types of memor...

To provide efficiency, current BDI agent programming languages with declarative goals only support a limited form of rationality – they ignore other concurrent intentions of the agent when selecting plans, and as a consequence, the selected plans may be inconsistent with these intentions. In this paper, we develop logical foundations for a rational BDI agent programming framework with prioritiz...

Different forms of learning and memory depend on functionally and anatomically separable neural circuits [Squire, L. R. (1992) Psychol. Rev. 99, 195-231]. Declarative memory relies on a medial temporal lobe system, whereas habit learning relies on the striatum [Cohen, N. J. & Eichenbaum, H. (1993) Memory, Amnesia, and the Hippocampal System (MIT Press, Cambridge, MA)]. How these systems are eng...