Rational physical agent reasoning beyond logic

The paper addresses the problem of defining a theoretical physical agent framework that satisfies practical requirements of programmability by non-programmer engineers and at the same time permitting fast realtime operation of agents on digital computer networks. The objective of the new framework is to enable the satisfaction of performance requirements on autonomous vehicles and robots in space exploration, deep underwater exploration, defense reconnaissance, automated manufacturing and household automation

Raffinement des intentions

Le résumé en français n'a pas été communiqué par l'auteur.Le résumé en anglais n'a pas été communiqué par l'auteur

Logic-Based Specification Languages for Intelligent Software Agents

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable agent specification languages that have been chosen for their potential to be integrated in our ARPEGGIO project, an open framework for specifying and prototyping a MAS. The six languages are ConGoLog, Agent-0, the IMPACT agent programming language, DyLog, Concurrent METATEM and Ehhf. For each executable language, the logic foundations are described and an example of use is shown. A comparison of the six languages and a survey of similar approaches complete the paper, together with considerations of the advantages of using logic-based languages in MAS modeling and prototyping.Comment: 67 pages, 1 table, 1 figure. Accepted for publication by the Journal "Theory and Practice of Logic Programming", volume 4, Maurice Bruynooghe Editor-in-Chie

CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information

The BDI architecture, where agents are modelled based on their beliefs, desires and intentions, provides a practical approach to develop large scale systems. However, it is not well suited to model complex Supervisory Control And Data Acquisition (SCADA) systems pervaded by uncertainty. In this paper we address this issue by extending the operational semantics of CAN(PLAN) into CAN(PLAN)+. We start by modelling the beliefs of an agent as a set of epistemic states where each state, possibly using a different representation, models part of the agent's beliefs. These epistemic states are stratified to make them commensurable and to reason about the uncertain beliefs of the agent. The syntax and semantics of a BDI agent are extended accordingly and we identify fragments with computationally efficient semantics. Finally, we examine how primitive actions are affected by uncertainty and we define an appropriate form of look ahead planning.This research is supported by the UK EPSRC project EP/J012149/1.Peer Reviewe

Leveraging New Plans in AgentSpeak(PL)

Many papers have been written on the anticancer properties of dietary flavonoids, and a range of potential mechanisms of action of flavonoids. However, most dietary flavonoids - notably polyphenolic flavonoids—have very poor ADME properties, and the levels necessary to stop growth of tumour cells cannot be sustained in a human body trough dietary intake alone. At present no flavonoid based drugs are clinically used in cancer therapy. Thus, whereas epidemiological and pre-clinical data seem to indicate a high potential for flavonoids, from the point of view of the pharmaceutical industry and drug developers, they are considered poor candidates. The flavones—which constitute a subgroup of the flavonoids—show some structural analogy with oestrogen and are known to interact with human oestrogen receptors, either as agonist or as antagonist. They are classed as phytoestrogens, and may play a role in cancer prevention through a mechanism of action possibly similar to that of the clinically used medication tamoxifen. Flavones are abundantly present in common fruits and vegetables, many of which have been associated with cancer prevention. Their phytoestrogen activity makes that they can assert their biological action at concentrations that are realistically achievable in the human systemic circulation