Change search
Link to record
Permanent link

Direct link
Davies, Guy
Publications (3 of 3) Show all publications
Davies, G. (2001). A User by any Other Name - Looking for shared interpretation of HCI´s most basic agent: Workshop Theoretical perspectives in Human-Computer Interaction , 3rd Septermber 2002, IPLab-KTH. In: : .
Open this publication in new window or tab >>A User by any Other Name - Looking for shared interpretation of HCI´s most basic agent: Workshop Theoretical perspectives in Human-Computer Interaction , 3rd Septermber 2002, IPLab-KTH
2001 (English)Conference paper, Published paper (Other academic)
Abstract [en]

When regarding the concept of the "user" in the context of HCI there appears to be consensus on what a user is. Is this consensus real agreement or is it just apparent? This paper examines the concept of user from four theoretical or abstract perspectives that are used in the field of HCI, in relation to a benchmark definition. This definition derives from analysis of a basic dictionary definition. This manner of comparison was chosen in order to reveal digressions omissions or extensions made by theorists to a basic universally accepted concept of "user". The result shows that the concept of a �user�, pervasive as it is, recieves selective interpretation within the perspectives that employ it. Consensus emerges as real at a basic level and apparent at refined levels. From the analytical results some consequences for designers are also discusse

user, design, distributed cognition, activity theory, situated action, social e-spaces
urn:nbn:se:miun:diva-8646 (URN)922 (Local ID)922 (Archive number)922 (OAI)
Available from: 2010-07-14 Created: 2009-02-24 Last updated: 2015-06-18Bibliographically approved
Davies, G., Ekenberg, L. & Johannesson, P. (2000). Detecting Temporal conflicts in Integrated Agent Specifications. In: Computational conflicts: conflict modeling for distributed intelligent systems. Berlin: Springer
Open this publication in new window or tab >>Detecting Temporal conflicts in Integrated Agent Specifications
2000 (English)In: Computational conflicts: conflict modeling for distributed intelligent systems, Berlin: Springer, 2000Chapter in book (Other academic)
Abstract [en]

We present a model for the analysis of temporal conflicts in sets of autonomous agents restricted in the sense that they can be described in a first-order language. The dynamic aspects of agents are modelled by means of the event concept. Various kinds of conflicts can occur in a system of agents. Agents may be in conflict with themselves or with each other, all depending on time. Conflicts between agents may be due to direct incompatibility inherent in their specifications, but it may also arise from the dynamic interactions protocols that govern multi-agent behaviour. The general theory for detecting conflict suggested here includes semantics for individual conflicts with respect to a first order action logic (FAL). Also introduced is the enrichment of agent systems with correspondence assertions. These express relationships between static or dynamic properties described in the formal specifications of agents. Correspondence assertions correspond to protocols for the system and can be analysed in relation to time. Representing agents as first order schemata, we construct a framework for determining when two schemata can be meaningfully integrated. We formalise this concept using the notion of non-conflict

Place, publisher, year, edition, pages
Berlin: Springer, 2000
temporal conflict detection, multi-agent behaviour, schema integration
urn:nbn:se:miun:diva-8645 (URN)921 (Local ID)3-540-66799-7 (ISBN)921 (Archive number)921 (OAI)
Available from: 2011-12-11 Created: 2009-02-24 Last updated: 2012-01-18Bibliographically approved
Davies, G. & Ekenberg, L. (1998). Agent Metaphores for Analysing Telematic Services. In: Intelligent Agents for Telecommunication Applications: (pp. 156-).
Open this publication in new window or tab >>Agent Metaphores for Analysing Telematic Services
1998 (English)In: Intelligent Agents for Telecommunication Applications, 1998, p. 156-Chapter in book (Other academic)
Abstract [en]

Using a formalisation based on logic and set theory, we present the use of transformations between process related languages and dynamic entity-relationship models. This work formalises and incorporates our earlier research in schema integration and the integration of multi-agent architecture designs to handle problematic cases of global inconsistency in distributed information systems. Telia Research AB (previously Swedish Telecom) commissioned the original work, the implementation of which was used to detect interferences to Telia�s public telematic services. The verification methods in first order logic (FOL) presented here are generally applicable to the analysis of conflicts in process based systems.

Lecture Notes in Computer Science, ISSN 0302-9743
distributed information systems, verification, first order logic
National Category
Computer Sciences
urn:nbn:se:miun:diva-6142 (URN)10.1007/BFb0053939 (DOI)920 (Local ID)978-3-540-64720-1 (ISBN)920 (Archive number)920 (OAI)
Available from: 2009-01-28 Created: 2009-01-28 Last updated: 2018-01-12Bibliographically approved

Search in DiVA

Show all publications