In construction better practice has been sought through the employment of knowledge management. Interest in tacit knowledge has grown due to its importance for raising performance at all organisational levels. Aspects of the limits which tacit knowledge places on knowledge management approaches in construction are considered with the focus being upon broad knowledge management categories rather...

The name Generic Common Knowledge (GCK) was suggested by Artemov to capture a state of a multi-agent epistemic system that yields iterated knowledge I(φ): ‘any agent knows that any agent knows that any agent knows. . .φ’ for any number of iterations. The generic common knowledge of φ, GCK(φ), yields I(φ),

Justification logics are epistemic logics that explicitly include justifications for agents’ knowledge. We present a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. A Kripke-style semantics similar to Fitting’s semantics for the Logic of Proofs LP is defined and soundness and completeness with respect to it are shown along with the fini...

The implicit-explicit distinction is applied to knowledge representations. Knowledge is taken to be an attitude towards a proposition which is true. The proposition itself predicates a property to some entity. A number of ways in which knowledge can be implicit or explicit emerge. If a higher aspect is known explicitly then each lower one must also be known explicitly. This partial hierarchy re...

The main aim of this paper is to raise awareness of higherorder knowledge (knowledge about someone else’s knowledge) as an issue for computer game AI. We argue that a number of existing game genres, especially those involving social interaction, are natural fields of application for an approach we call explicit knowledge programming. We motivate the use of this approach, and describe a simple i...

The tool which we tested in the present monolingual retrieval task, Lexware, is based on explicit knowledge representation not on statistic language modeling. In the present task Lexware indexing seems to be satisfactory while its query builder is not. The system has been tested extensively on indexing of Swedish parliamentary debates with very good results. We are happy that Swedish is finally...

A dialogical version of (modal) epistemic logic is outlined, with an intuitionistic variant. Another version of dialogical epistemic logic is then provided by means of the S4 mapping of intuitionistic logic. Both systems cast new light on the relationship between intuitionism, modal logic and dialogical games.

Several justification logics have evolved, starting with the logic LP, (Artemov 2001). These can be thought of as explicit versions of modal logics, or logics of knowledge or belief, in which the unanalyzed necessity (knowledge, belief) operator has been replaced with a family of explicit justification terms. Modal logics come in various strengths. For their corresponding justification logics, ...

(1) Implicit learning proceeds without making demands on central attentional resources. As N. Ellis (2008: 125) puts it, ‘generalizations arise from conspiracies of memorized utterances collaborating in productive schematic linguistic productions’. Thus, the resulting knowledge is subsymbolic, reflecting statistical sensitivity to the structure of the learned material. In contrast, explicit lea...

mln recent years, knowledge-based systems have become one of the most popular approaches for solving engineering problems. Conventionally, knowledge acquisition and representation are treated as separate processes. Knowledge engineers are responsible for preparing question patterns and setting up personnel interviews with domain experts for knowledge acquisition. All acquired knowledge is manua...