Organising Software in Active Environments

Hirsch, Benjamin; Fisher, Michael; Ghidini, Chiara; Busetta, Paolo

doi:10.1007/11533092_16

Cited by 5 publications

(7 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As mentioned above, we here extend, combine and consolidate work on executable agent specifications [17] and deliberative agent specifications [19,30]. As such, this work contributes to research into agent theory, by providing a logical basis for representing deliberative agents, programming language design, providing an intuitive language for implementing deliberative agents, and software engineering, by providing a framework of developing agent-based systems based on executable specifications.…”

Section: Contentmentioning

confidence: 97%

“…This approach has a number of advantages. It is simple and direct -the specifier need not write Prolog ordering functions and, indeed, the implementation need not be in Prolog at all (the implementation used in [30] is in Java!). However, with this simplicity comes problems.…”

Section: A Simplified Approach: Using 'Prefer' Functionsmentioning

confidence: 99%

“…We will say little more about such interface definitions in this article -they mainly come into play within multi-agent scenarios [30,20]. The key element we are concerned with is the agent's internal definition, which is given directly as a set of SNF formulae.…”

Section: Representing Individual Agentsmentioning

confidence: 99%

“…Typically, this is a version of '<' over the type of elements in the list. Rather than defining the ordering function explicitly, or even providing a full definition of '<', the approach taken in [30] is to simply define the '<' predicate for selected pairs. In this case the '<' predicate is actually called 'prefer' and such preference statements occur explicitly within the specification rather than as part of the implementation.…”

Section: A Simplified Approach: Using 'Prefer' Functionsmentioning

confidence: 99%

See 3 more Smart Citations

Agent deliberation in an executable temporal framework

Fisher

2011

Journal of Applied Logic

Self Cite

View full text Add to dashboard Cite

Autonomous agents are not so difficult to construct. Constructing autonomous agents that will work as required is much harder. A clear way in which we can design and analyse autonomous systems so that we can be more confident that their behaviour is as required is to use formal methods. These can, in principle, allow us to exactly specify the behaviour of the agent, and verify that any implementation has the properties required. In addition to using a more formal approach, it is clear that problems of conceptualisation and analysis can be aided by the use of an appropriate abstraction. In this article we tackle one particular aspect of formal methods for agent-based systems, namely the formal representation and implementation of deliberation within agents. The key aspect here is simplicity. Agents are specified using a relatively simple temporal logic and are executed by directly interpreting such temporal formulae. Deliberation is captured by modifying the way in which execution handles its temporal goals. Thus, in this article we provide motivations, theoretical underpinnings, implementation details, correctness arguments, and comparisons with related work.

show abstract

Section: Contentmentioning

confidence: 97%

Section: A Simplified Approach: Using 'Prefer' Functionsmentioning

confidence: 99%

Section: Representing Individual Agentsmentioning

confidence: 99%

Section: A Simplified Approach: Using 'Prefer' Functionsmentioning

confidence: 99%

See 2 more Smart Citations

Agent deliberation in an executable temporal framework

Fisher

2011

Journal of Applied Logic

Self Cite

View full text Add to dashboard Cite

show abstract

“…This basis was extended for increasingly sophisticated forms of agency [66], involving belief, deliberation [68], resource-bounded reasoning [73] and confidence [74]. In parallel, the language was developed into a concurrent version, for multi-agent systems [65,70] and, more recently, work on this has moved towards flexible group organisation [75], multi-agent collaboration [76], and applications in pervasive/ubiquitous computing [91]. For an overview of these developments, see [70].…”

Section: Logic-based Agent Implementation [Programming Languages]mentioning

confidence: 99%

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends

Fisher

Bordini

Hirsch

et al. 2007

Computational Intelligence

Self Cite

View full text Add to dashboard Cite

The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation. However, with dependability and safety in mind, it is vital that the mechanisms for representing and implementing agents are clear and consistent. Hence there has been a strong research effort directed at using formal logic as the basis for agent descriptions and agent implementation. Such a logical basis not only presents the clarity and consistency required but also allows for important techniques such as logical verification to be applied.We present a roadmap of research into the use of computational logic in agent-based systems and survey much of the recent work in these areas. Even though, with such a rapidly changing field, it is impossible to cover every development, we aim to give the reader sufficient background to understand the current research problems and potential future developments in this maturing area.

show abstract

References

2011

An Introduction to Practical Formal Methods Using Temporal Logic

View full text Add to dashboard Cite

Organising Software in Active Environments

Cited by 5 publications

References 8 publications

Agent deliberation in an executable temporal framework

Agent deliberation in an executable temporal framework

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends

References

Contact Info

Product

Resources

About