Multi-agent systems research community has developed solutions to model dynamic and complex systems. Those solutions have generated a growing interest in a variety of domains such as robotics or distributed controls. It is therefore important to build solutions to analyze the basic mechanisms of multi-agent systems such as interaction. In this paper, we formalize the epistemic interaction, we propose to use default theory to describe state transitions. The introduction of such semantics allows characterizing the verification of agent behavior when dealing with new information. Therefore, we introduce semantics to establish a basis for exploiting the properties of the agent behavior and its messages.We propose to formalize and verify the response of an agent when it receives a new information from another agent of its environment. Our approach extends the actions initiated in the mA ^* [5] language by applying the Reiter’s default rules [32]. A simple example is used to illustrate our approach.

Multi-agent systems research community has developed solutions to model dynamic and complex systems. Those solutions have generated a growing interest in a variety of domains such as robotics or distributed controls. It is therefore important to build solutions to analyze the basic mechanisms of multi-agent systems such as interaction. In this paper, we formalize the epistemic interaction, we propose to use default theory to describe state transitions. The introduction of such semantics allows characterizing the verification of agent behavior when dealing with new information. Therefore, we introduce semantics to establish a basis for exploiting the properties of the agent behavior and its messages.We propose to formalize and verify the response of an agent when it receives a new information from another agent of its environment. Our approach extends the actions initiated in the mA ^* [5] language by applying the Reiter’s default rules [32]. A simple example is used to illustrate our approach.

Multi-agent systems research community has developed solutions to model dynamic and complex systems. Those solutions have generated a growing interest in a variety of domains such as robotics or distributed controls. It is therefore important to build solutions to analyze the basic mechanisms of multi-agent systems such as interaction. In this paper, we formalize the epistemic interaction, we propose to use default theory to describe state transitions. The introduction of such semantics allows characterizing the verification of agent behavior when dealing with new information. Therefore, we introduce semantics to establish a basis for exploiting the properties of the agent behavior and its messages.We propose to formalize and verify the response of an agent when it receives a new information from another agent of its environment. Our approach extends the actions initiated in the mA ^* [5] language by applying the Reiter’s default rules [32]. A simple example is used to illustrate our approach.

Considering three sites under different climate conditions (arid, semi-arid, and subhumid), this study aims to use the vadose-zone water stable isotope profiles to estimate the groundwater recharge rate. High-resolution vertical subsurface soil sampling along the vadose zone of the investigated sites was conducted. The collected samples were analysed to determine their stable isotope ratios (δ²H and δ¹⁸O) that were used along with the piston displacement method to estimate recharge. Annual recharge rates of 0.2% (± 0.1%), 2.5%, and 18% of the total annual precipitation were obtained for the arid, semi-arid, and subhumid sites, respectively. Recharge rates at the semi-arid and subhumid sites are comparable to those previously estimated using water balance-based methods. The recharge rate at the arid site is lower than that previously estimated for that site using the water budget-based method, revealing difficulties in applying the piston displacement method under an arid regime.

Considering three sites under different climate conditions (arid, semi-arid, and subhumid), this study aims to use the vadose-zone water stable isotope profiles to estimate the groundwater recharge rate. High-resolution vertical subsurface soil sampling along the vadose zone of the investigated sites was conducted. The collected samples were analysed to determine their stable isotope ratios (δ²H and δ¹⁸O) that were used along with the piston displacement method to estimate recharge. Annual recharge rates of 0.2% (± 0.1%), 2.5%, and 18% of the total annual precipitation were obtained for the arid, semi-arid, and subhumid sites, respectively. Recharge rates at the semi-arid and subhumid sites are comparable to those previously estimated using water balance-based methods. The recharge rate at the arid site is lower than that previously estimated for that site using the water budget-based method, revealing difficulties in applying the piston displacement method under an arid regime.

Considering three sites under different climate conditions (arid, semi-arid, and subhumid), this study aims to use the vadose-zone water stable isotope profiles to estimate the groundwater recharge rate. High-resolution vertical subsurface soil sampling along the vadose zone of the investigated sites was conducted. The collected samples were analysed to determine their stable isotope ratios (δ²H and δ¹⁸O) that were used along with the piston displacement method to estimate recharge. Annual recharge rates of 0.2% (± 0.1%), 2.5%, and 18% of the total annual precipitation were obtained for the arid, semi-arid, and subhumid sites, respectively. Recharge rates at the semi-arid and subhumid sites are comparable to those previously estimated using water balance-based methods. The recharge rate at the arid site is lower than that previously estimated for that site using the water budget-based method, revealing difficulties in applying the piston displacement method under an arid regime.

Considering three sites under different climate conditions (arid, semi-arid, and subhumid), this study aims to use the vadose-zone water stable isotope profiles to estimate the groundwater recharge rate. High-resolution vertical subsurface soil sampling along the vadose zone of the investigated sites was conducted. The collected samples were analysed to determine their stable isotope ratios (δ²H and δ¹⁸O) that were used along with the piston displacement method to estimate recharge. Annual recharge rates of 0.2% (± 0.1%), 2.5%, and 18% of the total annual precipitation were obtained for the arid, semi-arid, and subhumid sites, respectively. Recharge rates at the semi-arid and subhumid sites are comparable to those previously estimated using water balance-based methods. The recharge rate at the arid site is lower than that previously estimated for that site using the water budget-based method, revealing difficulties in applying the piston displacement method under an arid regime.

Considering three sites under different climate conditions (arid, semi-arid, and subhumid), this study aims to use the vadose-zone water stable isotope profiles to estimate the groundwater recharge rate. High-resolution vertical subsurface soil sampling along the vadose zone of the investigated sites was conducted. The collected samples were analysed to determine their stable isotope ratios (δ²H and δ¹⁸O) that were used along with the piston displacement method to estimate recharge. Annual recharge rates of 0.2% (± 0.1%), 2.5%, and 18% of the total annual precipitation were obtained for the arid, semi-arid, and subhumid sites, respectively. Recharge rates at the semi-arid and subhumid sites are comparable to those previously estimated using water balance-based methods. The recharge rate at the arid site is lower than that previously estimated for that site using the water budget-based method, revealing difficulties in applying the piston displacement method under an arid regime.