𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using temporal logics of knowledge for specification and verification—a case study

✍ Scribed by Clare Dixon

Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
201 KB
Volume
4
Category
Article
ISSN
1570-8683

No coin nor oath required. For personal study only.

✦ Synopsis

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temporal logics of knowledge and prove statements about the knowledge of the players using a clausal resolution calculus for this logic. We discuss the advantages and disadvantages of using this logic to specify and verify the game Cluedo and describe related implementations.

📜 SIMILAR VOLUMES

A new dominant logic and its implication
A new dominant logic and its implications for knowledge management: a study of the Finnish food industry
✍ Malin Brännback; Patricia Wiklund 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 104 KB

## Abstract In this paper changes that have occurred in the Finnish food industry are studied in terms of changes in the dominant logic of the industry. These changes in the dominant logic impact knowledge management processes. The drivers of the changes in the food industry are both technological

Knowledge diffusion through publications
Knowledge diffusion through publications and citations: A case study using ESI-fields as unit of diffusion
✍ Yuxian Liu; Ronald Rousseau 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB 👁 1 views

## Abstract Two forms of diffusion are studied: diffusion by publications, originating from the fact that a group publishes in different fields; and diffusion by citations, originating from the fact that the group's publications are cited in different fields. The first form of diffusion originates

Employee perceptions of knowledge sharin
Employee perceptions of knowledge sharing: Employment threat or synergy for the greater good? A case study
✍ Veronica Fraser; Rita Marcella; Iain Middleton 📂 Article 📅 2000 🏛 John Wiley and Sons ⚖ 208 KB 👁 1 views

As part of research undertaken at The Robert Gordon University in 1997-1998, staff at an international, upstream oil and gas company were surveyed to establish their perceptions and attitudes toward the concept of knowledge sharing. A positive attitude was displayed by respondents towards sharing kn