uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Combining Knowledge Systems and Hypermedia for User Co-operation and Learning
Uppsala University, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Faculty of Social Sciences, Department of Information Science.
2001 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Hypermedia systems and knowledge systems can be viewed as flip sides of the same coin. The former are designed to convey information and the latter to solve problems; developments beyond the basic techniques of each system type require techniques from the other type. Both system types are frequently used in learning environments, and to different extent utilise user co-operation.

A knowledge system consists of a formal representation of a domain theory enabling automated reasoning to take place within the domain. Since a formalisation cannot generally reproduce all relevant knowledge, the user's co-operation is needed to obtain a well functioning system. To perform well in this co-operation, the knowledge in the system must be accessible and transparent to the user. Tranparency can be achieved by means of explanations. In a learning environment transparency and co-operation are vital because the user needs to be active whilst the reasoning is being carried out - to be able to learn how to perform the problem solving.

To achieve transparency we introduce the notions of inferential context and conceptual context. These allow explanations to be composed at various levels of abstraction and from different perspectives and not only exploit a formalisation, but also informal descriptions of the domain knowledge. This facilitates the user’s learning of the domain knowledge and thus his/her ability to co-operate with the system in the problem solving.

We integrate techniques from knowledge systems and hypermedia in a system architecture. The architecture deals with formal and informal knowledge. The formal knowledge is used for the formal reasoning, which is based on knowledge systems techniques; the informal knowledge is exploited in this reasoning to generate explanations in different media. The relations between the formal and the informal theory are administered by a metatheory. The metatheory carries out the reasoning in the system and the communication with the user, i.e. the presentation of the explanations and the integration of the user's contribution in the reasoning. The system architecture is transparent, modular and promotes clarity, maintainability and reusability.

Place, publisher, year, edition, pages
Uppsala: Institutionen för informationsvetenskap , 2001. , 131 p.
Keyword [en]
Informatics, computer and systems science, Knowledge-based systems, hypermedia, context, explanations, user learning, co-opearation
Keyword [sv]
Informatik, data- och systemvetenskap
National Category
Computer and Information Science
Research subject
Computer Science
URN: urn:nbn:se:uu:diva-1591ISBN: 91-506-1526-2OAI: oai:DiVA.org:uu-1591DiVA: diva2:161174
Public defence
2002-01-11, Lecture hall 2, Ekonomikum, Uppsala, 13:15
Available from: 2001-12-13 Created: 2001-12-13Bibliographically approved

Open Access in DiVA

fulltext(646 kB)1806 downloads
File information
File name FULLTEXT01.pdfFile size 646 kBChecksum MD5
Type fulltextMimetype application/pdf

By organisation
Department of Information Science
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1806 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 432 hits
ReferencesLink to record
Permanent link

Direct link