A New Penta-valued Logic Based Knowledge Representation

In this paper a knowledge representation model are proposed, FP5, which combine the ideas from fuzzy sets and penta-valued logic. FP5 represents imprecise properties whose accomplished degree is undefined, contradictory or indeterminate for some objects. Basic operations of conjunction, disjunction and negation are introduced. Relations to other representation models like fuzzy sets, intuitionistic, paraconsistent and bipolar fuzzy sets are discussed.Comment: The 12th International Conference Information Processing and Management of Uncertainty in Knowledge-Based Systems, June 22-27, 2008, Malaga, Spai

The normalization of frames as a superclass of relations

M.Sc. (Computer science)Knowledge representation suffers from certain problems, which is not a result of the inadequacies of knowledge representation schemes, but of the way in which they are used and implemented. In the first part of this dissertation we examine the relational model (as used in relational database management systems) and we examine frames (a knowledge representation scheme used in expert systems), as proposed by M. Minsky [MIN75]. We then provide our own definition of frames. In the second part, we examine similarities between the two models (the relational model and our frame model), establishing frames as a superclass of relations. We then define normalization for frames and examine how normalization might solve some of the problems we have identified. We then examine the integration of knowledge-based systems and database management systems and classify our normalization of frames as such an attempt. We conclude by examining the place of normalization within the expert system development life cycl

The role of functional prototyping within the KADS methodology : a thesis presented in partial fulfilment of the requirements for the degree of Master of Science in Computer Science at Massey University

Knowledge-based systems have until recent times lacked a clear and complete methodology for their construction. KADS was the result of the early 1980's project (ESPRIT-I P1098) which had the aim of developing a comprehensive, commercially viable methodology for knowledge-based system construction. KADS has subsequently proved to be one of the more popular approaches, focusing on the modelling approach to knowledge based system development. One area of the KADS methodology that has not been examined to any great depth is that of model validation. Model validation is the process of ensuring that a derived model is an accurate representation of the domain from which it has been derived from. The two approaches which have been suggested for this purpose within the KADS framework are that of protocol analysis and functional prototyping. This project seeks to apply the second of these choices, that of functional prototyping, to the model of expertise created by da Silva (1994) for model validation purposes. The problem domain is that of farm management, under an joint program of research between the Computer Science, Information Systems and Agricultural Management departments of Massey University. The project took the model of expertise and created a knowledge representation model in compliance with the selected object-oriented paradigm. After this the creation of a functional prototype in a Microsoft Windows based PC environment took place, using Kappa-PC as the application development tool. The validation took place through a demonstration session to a number of domain experts. Conclusions drawn from the experience gained through the creation and use of the prototype are presented, outlining the reasons why functional prototyping was deemed to be an appropriate method for model validation

Towards a system redesign for better performance and customer satisfaction : a case study of the ICTS helpdesk at the University of Cape Town

Includes bibliographical references.This paper presents the findings from a study, which was carried out to investigate how the design of knowledge management systems could be improved for enhanced performance and greater customer satisfaction. The ICTS Department's helpdesk at the University of Cape Town, South Africa, was the venue for this case study. The study set out to meet the following objectives: - undertaking a knowledge acquisition strategy by carrying out a systems evaluation and analysis of the existing web-based user support system, - suggesting a knowledge representation model for an adaptive web-based user support system, and - developing and testing an online troubleshooter prototype for an improved knowledge use support system. To achieve the objectives of the study, knowledge engineering techniques were deployed on top of a qualitative research design. Questionnaires, which were supplemented by interview guides and observations, were the research tools used in gathering the data. In addition to this, a representative sample of the ICTS clientele and management was interviewed. It was discovered that poorly designed knowledge management systems cause frustration among the clientele who interact with the system. Specifically, it was found that the language used for knowledge representation plays a vital role in determining how best users can interpret knowledge items in a given knowledge domain. In other words, knowledge modelling and representation can improve knowledge representation if knowledge engineering techniques are appropriately followed in designing knowledge based systems. It was concluded that knowledge representation can be improved significantly if, firstly, the ontology technique is embraced as a mechanism of knowledge representation. Secondly, using hierarchies and taxonomies improves navigability in the knowledge structure. Thirdly, visual knowledge representation that supplements textual knowledge adds more meaning to the user, and is such a major and important technique that it can even cater for novice users

A failure management prototype: DR/Rx

This failure management prototype performs failure diagnosis and recovery management of hierarchical, distributed systems. The prototype, which evolved from a series of previous prototypes following a spiral model for development, focuses on two functions: (1) the diagnostic reasoner (DR) performs integrated failure diagnosis in distributed systems; and (2) the recovery expert (Rx) develops plans to recover from the failure. Issues related to expert system prototype design and the previous history of this prototype are discussed. The architecture of the current prototype is described in terms of the knowledge representation and functionality of its components

Conceptual Model-Based Reasoning for Knowledge-Based Software Project Management

This paper presents a conceptual model for software project management and the power derived from using a conceptual model-based reasoning approach in building intelligent decision-support systems. The Software Project Manager (SPM) has been prototyped in Inference Corporation\u27s Automated Reasoning Tool (ART) on Symbolics artificial intelligence (Al) workstations. This prototype conceptual model is an outgrowth of research con- ducted under the Knowledge-Based Software Project Management project at Lockheed Software Technology Center in Austin, Texas. In this paper, we present an overview of the management model underlying SPM and define the essential concepts and relationships needed to model the project management domain. We then describe the knowledge representation strategy used to implement this conceptual model. Finally, we illustrate the power of using conceptual model-based reasoning in building intelligent decision-support systems for the project management domain

On semantic annotation of decision models

The growth of service sector in recent years has led to renewed research interests in the design and management of service systems. Decision support systems (DSS) play an important role in supporting this endeavor, through management of organizational resources such as models and data, thus forming the “back stage” of service systems. In this article, we identify the requirements for semantically annotating decision models and propose a model representation scheme, termed Semantically Annotated Structure Modeling Markup Language (SA-SMML) that extends Structure Modeling Markup Language (SMML) by incorporating mechanisms for linking semantic models such as ontologies that represent problem domain knowledge concepts. This model representation format is also amenable to a scalable Service-Oriented Architecture (SOA) for managing models in distributed environments. The proposed model representation technique leverages recent advances in the areas of semantic web, and semantic web services. Along with design considerations, we demonstrate the utility of this representation format with an illustrative usage scenarios with a particular emphasis on model discovery and composition in a distributed environment

A System Model for Water Management

Although generally accepted as a necessary step to improve water management and planning, integrated water resources management (IWRM) methodology does not provide a clear definition of what should be integrated. The various water-related issues that IWRM might encompass are well documented in the literature, but they are generally addressed separately. Therefore, water management lacks a holistic, systems-based description, with a special emphasis on the interrelations between issues. This article presents such a system model for water management, including a graphical representation and textual descriptions of the various water issues, their components, and their interactions. This model is seen as an aide-memoire and a generic reference, providing background knowledge helping to elicit actual system definitions, in possible combination with other participatory systems approaches. The applicability of the model is demonstrated through its application to two test case studie