An agent will generally have incomplete and possibly inaccurate knowledge about its environment. In addition, such an agent may receive erroneous information, perhaps in being misinformed about the truth of some formula. In this paper we present a general approach to reasoning about action and belief change in such a setting. An agent may carry out actions, but in some cases may inadvertently e...

Bladder cancer is a disease of continuing public health significance. Some known risk factors for bladder cancer development include smoking, occupational exposure, genetic susceptibility, infectious diseases and radiation therapy. Smoking and occupational exposure have strongly implicated aromatic amines as being carcinogenic for the bladder, with 4-aminobiphenyl (4-ABP) being one of the most ...

AI is still far away from the implementation of a truly autonomous agent, and so far, attempts to build Autonomous Moral Agent (AMAs) have been concentrated on the ad hoc integration of a moral theory to the mechanisms of an Artificial Agent (AA). However, it would be more natural if morals were to evolve within the cognitive realm of the artificial system rather than function separately. A sys...

1. This document is Fact Sheet FA-148, one of a series, Candidate Species for Florida Aquaculture, http://edis.ifas.ufl.edu/TOPIC_SERIES_Candidate_Species, Department of Fisheries and Aquatic Sciences, Florida Cooperative Extension Service, Institute of Food and Agricultural Sciences, University of Florida. Original publication date May 2007. Reviewed August 2010. Visit the EDIS Web Site at htt...

Despite the wide availability of Java-based mobile agent platforms, mobile agent development is still recognized for being challenging and difficult. This is mainly caused by agents’ location awareness, which implies that developers have to provide code for taking decisions about mobility, in addition to code implementing traditional stationary behavior. In this article we describe MoviLog, a m...

Randomly amplified polymorphic DNA (RAPD) markers were used to study the genetic diversity and discriminate among 17 unknown genotypes (considered potentially salt tolerant) and 16 known olive cultivars. Fifteen decamer primers which produced 38 reproducible polymorphic bands in the genotypes were selected for analysis. The RAPD markers resulted in 93 distinct banding patterns. Based on either ...

The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model presents many interesting characteristics such as its compositional aspect and the definition of proven proof schemas making the proof mechanism reliable. Being interested in specifying and verifying multiagent systems, ...

Mobile IP, as originally specified, defines an authentication extension (the Mobile-Foreign Authentication extension) by which a mobile node can authenticate itself to a foreign agent. Unfortunately, that extension does not provide the foreign agent any direct guarantee that the protocol is protected from replays and does not allow for the use of existing techniques (such as Challenge Handshake...