Álvaro F. Moreira

Learn 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)
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)
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)
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 discusses how compiler optimizations influence software reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation-induced control-flow errors. Supported by a comprehensive fault-injection campaign using an established benchmark suite in the embedded systems domain, we(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)
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)
model space that consists of the semantic and the temporal dimensions. The evolution of data objects can quickly become intractable if it is not captured and Vocabulary evolution and versioning: ontologies, vocabularies, data level changes that in turn are more schema-specific and dependent on semantics. A formal model for temporal schema versioning in(More)