Learn More
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communication have several serious disadvantages as a foundation for communication in artificial agent systems. In particular, it has proved to be extremely difficult to give a satisfactory(More)
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent's architecture (in particular a BDI-like architecture) would be required in giving such semantics more rigorously. On the other hand, BDI agent-oriented programming languages have had their semantics(More)
Context aware intelligent agents are key components in the development of pervasive systems. In this paper, we present an extension of a BDI programming language to support ontological reasoning and ontology-based speech act communication. These extensions were guided by the new requirements brought about by such emerging computing styles. These new(More)
In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logic programming language inspired by the BDI architecture for cognitive agents. In order to set the grounds for the proofs, we first introduce a rigorous way in which(More)
Developing applications that make use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this vision is also affecting important trends in Computer Science such as Grid and Mobile computing. In this paper we propose a version of the BDI agent-oriented programming language AgentSpeak(More)
Evolution and change in data management—issues and directions. JF Roddick A formal model for temporal schema versioning in object-oriented databases. A Query Language for a Versioned Object Oriented Database. Temporal and versioning model for schema evolution in object-oriented databases. Data Knowl. model space that consists of the semantic and the(More)
and many others; see the Acknowledgements section for a full list. In the painting, there are two quotations from book VII of P. Ovidius Naso's Metamorphoses: " Nempe tenens, quod amo, gremioque in Iasonis haerens per freta longa ferar: nihil illum amplexa verebor " (verses 66–67), and " heros Aesonius potitur spolioque superbus muneris auctorem secum,(More)
This paper characterizes how compiler optimizations impact software control-flow reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation induced soft-errors occurring in branches. Supported by a comprehensive fault injection campaign using an established benchmark suite in the(More)