2 research outputs found
A Brief History of Context
Context is a rich concept and is an elusive concept to define. The concept of
context has been studied by philosophers, linguists, psychologists, and
recently by computer scientists. Within each research community the term
context was interpreted in a certain way that is well-suited for their goals,
however no attempt was made to define context. In many areas of research in
computer science, notably on web-based services, human-computer interaction
(HCI), ubiquitous computing applications, and context-aware systems there is a
need to provide a formal operational definition of context. In this brief
survey an account of the early work on context, as well as the recent work on
many working definitions of context, context modeling, and a formalization of
context are given. An attempt is made to unify the different context models
within the formalization. A brief commentary on the usefulness of the
formalization in the development of context-aware and dependable systems is
included.Comment: International Journal of Computer Science Issues, IJCSI Volume 6,
Issue 2, pp33-43, November 200
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents β
Abstract. We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous work on Lucx, an Intensional Programming Language extended with context as first class object, to support coordination activities in a distributed network of agents. We study coordination constructs which can be applied to sequential programs and distributed transactions. We give formal syntax and semantics for coordination constructs. The semantics for transaction expressions is given on top of the existing operational semantics in Lucx. The extended Lucx can be used for internet-based agent applications. Keywords: Multi-agent systems, coordinated transactions, Intensional Programming Language, coordination constructs