Preface

Bordini, Rafael H.; Dastani, Mehdi; Dix, Jürgen; Fallah-Seghrouchni, Amal El

doi:10.1007/s10458-010-9162-1

Cited by 25 publications

(26 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…[19], [9] and the references therein). However, most of these are not based on a formal theory of agency, and to the best of our knowledge, none maintains the consistency of (chosen) goals (e.g.…”

Section: Discussion and Future Workmentioning

confidence: 99%

See 1 more Smart Citation

Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report

Khan

Lespérance

2010

Declarative Agent Languages and Technologies VII

View full text Add to dashboard Cite

Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logical account of goal change that addresses these deficiencies. In our account, we do not drop lower priority goals permanently when they become inconsistent with other goals and the agent's knowledge; rather, we make such goals inactive. We ensure that the agent's chosen goals/intentions are consistent with each other and the agent's knowledge. When the world changes, the agent recomputes her chosen goals and some inactive goals may become active again. This ensures that our agent maximizes her utility. We also propose an approach for handling subgoals and their dynamics. We prove that the proposed account has some intuitively desirable properties.

show abstract

Section: Discussion and Future Workmentioning

confidence: 99%

“…Dealing with these issues is important for developing effective models of rational agency. It is also important for work on BDI agent programming languages, where handling declarative goals is an active research topic [8,9].…”

Section: Introductionmentioning

confidence: 99%

Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report

Khan

Lespérance

2010

Declarative Agent Languages and Technologies VII

View full text Add to dashboard Cite

show abstract

“…("The Rules of the Air Regulations 2007," is large: around 15,000 words plus accompanying images [7].) We modelled a UAS control system as an executable agent model (initially using PROMELA [13], but later in a higherlevel agent language [1]), and applied model checking to verify that the UAS agent satisfied the selected subset of the Rules of the Air. Our approach is summarised in Fig.…”

Section: Approachmentioning

confidence: 99%

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems

Webster

Fisher

Cameron

et al. 2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In this paper we assess the feasibility of using formal methods, and model checking in particular, for the certification of Unmanned Aircraft Systems (UAS) within civil airspace. We begin by modelling a basic UAS control system in PROMELA, and verify it against a selected subset of the CAA's Rules of the Air using the SPIN model checker. Next we build a more advanced UAS control system using the autonomous agent language Gwendolen, and verify it against the small subset of the Rules of the Air using the agent model checker AJPF. We introduce more advanced autonomy into the UAS agent and show that this too can be verified. Finally we compare and contrast the various approaches, discuss the paths towards full certification, and present directions for future research.

show abstract

“…Multi-agent programming systems are described extensively in [67]. A useful survey paper of current agent programming languages is [68].…”

Section: Multi-agent Programming Languagesmentioning

confidence: 99%

Declarative programming for agent applications

Lloyd

2010

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic programming idioms, higher-order functions, modal computation, probabilistic computation, and some theorem-proving capabilities. The need for these features is motivated and examples are given to illustrate the central ideas.

show abstract

Preface

Abstract: International audienc

Cited by 25 publications

References 4 publications

Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report

Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems

Declarative programming for agent applications

Contact Info

Product

Resources

About