We argue that rather than representing an agent's knowledge as a collection of formulas, and then doing theorem proving to see if a given formula follows from an agent's knowledge base, it may be more useful to represent this knowledge by a semantic model, and then do model checking to see if the given formula is true in that model. We discuss how to construct a model that represents an agent's...

Starting from the idea that organization of knowledge in an individual’s mind can be considered a network, we use recent results from network science to speculate on how information can be organized in the brain. A hierarchy of three increasingly sophisticated network systems -a random network, a small world network and a scale free network can be used to model the increasing sophistication of ...

Within the conceptual phase of design, architects (and designers in general) collect and look at design documents. These design documents are sources of knowledge and inspiration for designers. In order to support knowledge representation and information organization in an integrated manner during the conceptual design phase, an information model named Architectural Information Map (ArcIMap) ha...

This research develops a conceptual model for predicting success of process improvement projects as a result of knowledge-creation practices employed in the projects. The model is empirically examined in the context of Six Sigma black belt projects. New scales are developed to measure explicitand tacitknowledge-creation practices in process improvement. Data is gathered via a cross-sectional sa...

i needed to dereference the names and descriptions of equipment referred to n the text, and to infer their causal relations and operational states when e s these are only implicitly expressed by the message writer. Knowing th tructural configuration of the equipment is useful in both tasks, and a s a structural domain model can be extracted readily from equipment manual nd their accompanying pa...

This paper discusses questions about communication of probabilistic knowledge in the light of current theories of agent communication. It will argue that there is a semantic gap between these theories and research areas related to probabilistic knowledge representation and communication, that creates very serious theoretical problems if agents that reason probabilistically try to use the commun...

In this paper we argue that the development of knowledgebased systems built to work in partially uncertain domains bene t from the use of di erent conceptualisations for certain and uncertain parts of the knowledge. We present conceptualisations that have proven to be useful, namely the KADS model of expertise and a causal model of uncertainty that re ects well known approaches to uncertain rea...

This paper argues that automated knowledge acquisition for diagnosis has had limited success in both failure-driven diagnosis and model-based diagnosis. The paper describes fault-based and model-based reasoning for diagnosis and surveys some of the approaches to knowledge acquisition in both areas. The Hakeem1 algorithm I am currently implementing for the automated generation of behavioural mod...

Architectural knowledge consists of architecture design as well as the design decisions, assumptions, context, and other factors that together determine why a particular solution is the way it is. Except for the architecture design part, most of the architectural knowledge usually remains hidden, tacit in the heads of the architects. We conjecture that an explicit representation of architectura...

Purpose – To provide the knowledge structure for an effective knowledge-based organization which integrates knowledge into organizational goals. Design/methodology/approach – The structure, function, and process of a viable organization were discussed which provided a basis to construct a knowledge management (KM) framework and demonstrate knowledge structure in a knowledge-based organization. ...