Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation

Sustainable computer systems require some flexibility to adapt to environmental unpredictable changes. A solution lies in autonomous software agents which can adapt autonomously to their environments. Though autonomy allows agents to decide which behavior to adopt, a disadvantage is a lack of control, and as a side effect even untrustworthiness: we want to keep some control over such autonomous agents. How to control autonomous agents while respecting their autonomy? A solution is to regulate agents’ behavior by norms. The normative paradigm makes it possible to control autonomous agents while respecting their autonomy, limiting untrustworthiness and augmenting system compliance. It can also facilitate the design of the system, for example, by regulating the coordination among agents. However, an autonomous agent will follow norms or violate them in some conditions. What are the conditions in which a norm is binding upon an agent? While autonomy is regarded as the driving force behind the normative paradigm, cognitive agents provide a basis for modeling the bindingness of norms. In order to cope with the complexity of the modeling of cognitive agents and normative bindingness, we adopt an intentional stance. Since agents are embedded into a dynamic environment, things may not pass at the same instant. Accordingly, our cognitive model is extended to account for some temporal aspects. Special attention is given to the temporal peculiarities of the legal domain such as, among others, the time in force and the time in efficacy of provisions. Some types of normative modifications are also discussed in the framework. It is noteworthy that our temporal account of legal reasoning is integrated to our commonsense temporal account of cognition. As our intention is to build sustainable reasoning systems running unpredictable environment, we adopt a declarative representation of knowledge. A declarative representation of norms will make it easier to update their system representation, thus facilitating system maintenance; and to improve system transparency, thus easing system governance. Since agents are bounded and are embedded into unpredictable environments, and since conflicts may appear amongst mental states and norms, agent reasoning has to be defeasible, i.e. new pieces of information can invalidate formerly derivable conclusions. In this dissertation, our model is formalized into a non-monotonic logic, namely into a temporal modal defeasible logic, in order to account for the interactions between normative systems and software cognitive agents.

Portal hypertension: a comparison between portal-venous pressure measurement and ARFI measurement of liver and spleen stiffness

PURPOSE. Portal pressure is measured invasively as Hepatic Venous Pressure Gradient (HVPG) in the angiography room. Liver stiffness measured by Fibroscan was shown to correlate with HVPG values below 12 mmHg. This is not surprising, since in cirrhosis the increase of portal pressure is not directly linked with liver fibrosis and consequently to liver stiffness. We hypothesized that, given the spleen’s privileged location upstream to the whole portal system, splenic stiffness could provide relevant information about portal pressure. Aim of the study was to assess the relationship between liver and spleen stiffness measured by Virtual Touch™ (ARFI) and HVPG in cirrhotic patients. METHODS. 40 consecutive patients (30 males, mean age 62y, mean BMI=26, mean Child-Pugh A6, mean platelet count=92.000/mmc, 19 HCV+, 7 with ascites) underwent to ARFI stiffness measurement (10 valid measurements in right liver lobe both surface and centre, left lobe and 20 in the spleen) and HPVG, blindly to each other. Median ARFI values of 10 samplings on every liver area and of 20 samplings on spleen were calculated. RESULTS. Stiffness could be easily measured in all patients with ARFI, resulting a mean of 2,61±0,76, 2,5±0,62 and 2,55±0,66 m/sec in the liver areas and 3.3±0,5 m/s in the spleen. Median HPVG was 14 mmHg (range 5-27); 28 patients showed values ≥10 mmHg. A positive significant correlation was found between spleen stiffness and HPVG values (r=0.744, p<0.001). No significant correlation was found between all liver stiffness and HVPG (p>0,05). AUROC was calculated to test spleen stiffness ability in discriminating patients with HVPG ≥10. AUROC = 0.911 was obtained, with sensitivity of 69% and specificity of 91% at a cut-off of 3.26 m/s. CONCLUSION. Spleen stiffness measurement with ARFI correlates with HVPG in patients with cirrhosis, with a potential of identifying patients with clinically significant portal hypertension.