Assessment of the resilience of coral reefs to natural and human disturbances by means of recruitment panels in Indo-Pacific

Indo-Pacific region encompasses about 75% of world's coral reefs, but hard coral cover in this region experienced a 32% region-wide decline since 1970s. This great change is primarily ascribable to natural and anthropogenic pressures, including climate change and human activities effects. Coral reef conservation requires management strategies oriented to maintain their diversity and the capacity to provide ecosystem goods and services. Coral reef resilience, i.e. the capacity to recover after disturbances, is critical to their long-term persistence. The aims of the present study were to design and to test field experiments intended to measure changes in recruitment processes, as a fundamental aspect of the coral reef resilience. Recruitment experiments, using artificial panels suspended in the water column, were carried out in two Indo-Pacific locations affected by different disturbances: a new mine in Bangka Island (Indonesia), and the increased sedimentation due to coastal dynamics in Vavvaru Island (Maldives). One (or more) putatively disturbed site(s) was selected to be tested against 3 randomly selected control sites. Panels’ arrangement simulates 2 proximities to living corals, i.e. the sources of propagules: few centimetres and 2 meters over. Panels were deployed simultaneously at each site and left submerged for about five months. Recruits were identified to the lowest possible taxonomic level and recruited assemblages were analysed in terms of percent cover. In general it was not possible to detect significant differences between the benthic assemblages recruited in disturbed and control sites. The high variability observed in recruits assemblages structure among control sites may be so large to mask the possible disturbance effects. Only few taxa showed possible effects of the disturb they undergo. The field tests have highlighted strengths and weaknesses of the proposed approach and, based on these results, some possible improvements were suggested.

Extending the 2P-Kt ecosystem: CLP and Labelled LP

The ability to create hybrid systems that blend different paradigms has now become a requirement for complex AI systems usually made of more than a component. In this way, it is possible to exploit the advantages of each paradigm and exploit the potential of different approaches such as symbolic and non-symbolic approaches. In particular, symbolic approaches are often exploited for their efficiency, effectiveness and ability to manage large amounts of data, while symbolic approaches are exploited to ensure aspects related to explainability, fairness, and trustworthiness in general. The thesis lies in this context, in particular in the design and development of symbolic technologies that can be easily integrated and interoperable with other AI technologies. 2P-Kt is a symbolic ecosystem developed for this purpose, it provides a logic-programming (LP) engine which can be easily extended and customized to deal with specific needs. The aim of this thesis is to extend 2P-Kt to support constraint logic programming (CLP) as one of the main paradigms for solving highly combinatorial problems given a declarative problem description and a general constraint-propagation engine. A real case study concerning school timetabling is described to show a practical usage of the CLP(FD) library implemented. Since CLP represents only a particular scenario for extending LP to domain-specific scenarios, in this thesis we present also a more general framework: Labelled Prolog, extending LP with labelled terms and in particular labelled variables. The designed framework shows how it is possible to frame all variations and extensions of LP under a single language reducing the huge amount of existing languages and libraries and focusing more on how to manage different domain needs using labels which can be associated with every kind of term. Mapping of CLP into Labeled Prolog is also discussed as well as the benefits of the provided approach.