How to Complete Regulations in Multi-agent Systems

In this paper, we deal with regulations that may exist in multiagent systems in order to regulate agent behaviour. More precisely, we discuss two properties of regulations, consistency and ompleteness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. This contribution considers that regulations are expressed in a first order deontic logic. We will focus on particular regulations: information exchange policies

A modal logic for reasoning on consistency and completeness of regulations

In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. In this contribution, we extend previous works and we consider that regulations are expressed in a first order modal deontic logic

Metatheory of actions: beyond consistency

Consistency check has been the only criterion for theory evaluation in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description in reasoning about actions should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied together we have a modular action theory. Besides being easier to understand and more elaboration tolerant in McCarthy's sense, modular theories have interesting properties. We point out the problems that arise when the postulates about modularity are violated and propose algorithmic checks that can help the designer of an action theory to overcome them

Report on the STECF Expert Working Group 17-12 Fisheries Dependent Information: ‘New-FDI’

The STECF expert working group (EWG) on Fisheries Dependant Information (FDI) took place in JRC, Ispra from 23 to 27 October 2017 to review the data transmitted by Member States under a new data call (‘New-FDI’). The new data call specification was designed with three broad aims in mind i) Compatibility between the New-FDI data and the data held in the Fleet Economic database. ii) Ability to encompass all EU registered vessels including those from the Mediterranean, Black Sea and external waters fleets. iii) Ability to assess effects of management measures. The main purpose of the EWG was to judge if the call specification was appropriate to accomplish the above aims and to consider any difficulties encountered by member states in fulfilling the data call. Two terms of reference also allowed trial analyses to be conducted of a type relevant to the third broad aim. The EWG addressed all Terms of Reference during the meeting and drew conclusions on the modifications required for the New-FDI data call going forwards. Prior to the EWG it had been agreed by STECF Bureau that the report of the meeting would not be presented to STECF for approval as an STECF report but published separately (as a JRC technical report). This report therefore presents the data, methods observations and findings of an EWG of the STECF but the findings presented in this report do not necessarily constitute the opinion of the STECF or reflect the views of the European Commission and in no way anticipate the Commission’s future policy in this area.JRC.D.2-Water and Marine Resource

Scientific, Technical and Economic Committee for Fisheries (STECF) - Fisheries Dependent Information – FDI (STECF-20-10)

Commission Decision of 25 February 2016 setting up a Scientific, Technical and Economic Committee for Fisheries, C(2016) 1084, OJ C 74, 26.2.2016, p. 4–10. The Commission may consult the group on any matter relating to marine and fisheries biology, fishing gear technology, fisheries economics, fisheries governance, ecosystem effects of fisheries, aquaculture or similar disciplines. The STECF reviewed the report of the EWG on Fisheries-dependent Information during its winter 2020 virtual plenary meeting.E

Litigants in person in private family law cases

1. Context (p1-2 of the Report) The Legal Aid, Sentencing and Punishment of Offenders Act (LASPO) 2012 removed most private family cases from the scope of legal aid after April 2013. It was anticipated that the volume and proportion of litigants in person (hereafter LIPs) would increase as a result. The Ministry of Justice commissioned research to explore both the characteristics and support needs of LIPs in private family law cases and their impact on the courts prior to the implementation of legal aid reforms. It was designed to inform policy and practice responses to LIPs following the legal aid changes. 2. Research design (p3-10 and p136-164 of the Report) The study was designed to develop understanding of the range of litigants in person in private family law cases, their behavioural drivers and support needs, and their impact on the court system. The research was designed as a primarily qualitative study focusing on understanding the range of experiences and perspectives, rather than a quantitative study seeking to measure variables. The research included three linked studies: • Intensive Cases Study (ICS). The largest element of the research involved detailed analysis of a sample of 151 cases heard in five courts over a three to four week data collection time frame in each court between January and March 2013. The approach was multi-perspectival, involving observation of the hearing in each case, interviews with the parties and professionals associated with the observed case (subject to consent and availability) and scrutiny of the court file. • Local Contextual Study (LCS). This involved a series of focus groups in each of the five courts with local stakeholders (judges, lawyers, Cafcass and court staff), interviews and observations with local LIP support organisations and observations of public areas such as court counters and waiting rooms. • Secondary Analysis Study (SAS). This involved secondary analysis relating to LIPs of two large national datasets from two current studies led by members of the research team. 3. Main findings 3.1 Characteristics of LIPs (p11-34 of the Report) The major reason for self-representation was an inability to afford a lawyer, with only around one quarter of LIPs indicating that their appearance in person was wholly or partially a matter of choice. Over half of the LIPs observed had had legal representation at some stage during the current proceeding and/or in previous family law proceedings. Only a small minority of LIPs were able to represent themselves competently in all aspects of their family law proceedings. Even those with high levels of education or professional experience struggled with aspects of the legal process. The great majority of LIPs were procedurally (and, where relevant, legally) challenged in some way, with some having no real capacity to advocate for their own or their children’s interests. A wide range of personal vulnerabilities were identified with around half of those observed experiencing one or more vulnerabilities which often added to their difficulties in self-representation and in some cases defeated their attempts to do so. A significant number were also trying to handle quite complex cases. LIPs may create problems for the courts by reason of non-appearances, refusal to engage with proceedings, or, less often, violent and aggressive behaviour. While non-appearances may be quite common, the reasons for apparent resistance to court proceedings, as for violence and aggression, may often be related to litigants’ vulnerabilities. Unmeritorious and serial applications did not appear to be brought any more often by the LIPs in the sample than by represented parties, although having to respond to these applications was another vulnerability faced by some women LIPs. 3.2 Pre-hearing preparations (p35-51 of the Report) Much of the work in a family case is conducted before and between hearings rather than in the courtroom itself. The list of tasks to be accomplished in the pre-court and between-hearing phases is quite extensive and technically and practically demanding. The list includes determining legal merits and translating a dispute into legal form; consideration of mediation; making an application using the correct form and filing and serving correctly; possible negotiation with the other side in the waiting room and subsequent handling of the case (e.g. handling disclosure, preparing and filing statements). The successful completion of these tasks was important for the smooth running of the case and for timely and effective hearings. The extent to which LIPs were able to complete those tasks was highly variable. Understandably, many LIPs struggled with a range of technical tasks, including understanding which application form to use, how to complete it and how to file and serve correctly. Some LIPs faced practical problems such as an inability to access or print out online forms. Many LIPs also did not grasp foundational legal principles or concepts such as the importance of disclosure or the expectation of negotiation or settlement. A significant part of the problem is that the family justice system and the pre-court processes, procedures and tasks are predicated on a full representation model with two trained and experienced lawyers undertaking all these preparatory tasks. At least at the time of the fieldwork, there had been limited adaptation of processes to support LIPs and instead LIPs were largely required to comply with existing processes. There had been comparatively little adaptation of documentation (forms, guidance, letters from court etc) to meet the needs of LIPs. There was limited face-to face contact, advice and support at all stages of the pre-court process and on arrival in the court building before the hearing. The support available from court service staff varied locally but was constrained by concerns about straying into giving legal advice. The reduction in court counter hours and switch to an appointment system in some courts has reduced further the opportunities for face-to-face support. The challenging and complex nature of the pre-hearing tasks, coupled with limited support and advice, was a source of anxiety and stress for many LIPs. It also had consequences for court service staff workloads as they had to deal with correspondence from LIPs or pick up the errors or omissions in LIP paperwork. Some of the problems also had a significant impact on the conduct of the hearing itself. 3.3 In the courtroom (p52-78 of the Report) The court system is based on an adversarial, full representation model with two lawyers presenting their client’s cases to an impartial arbiter – the judge – who will make a decision. The role of the lawyers is central. Hearings where both parties were represented were generally patterned, predictable and efficient. All participants understood their roles without any need for explanation or behaviour management. LIP hearings were far less standardised. There was considerable variation in who picked up the tasks that a lawyer would normally perform in their absence – whether it was a LIP, the judge, the lawyer for the represented party or nobody. There was also variation in how effectively those tasks were done. The data suggested that semi-represented cases had longer final hearings and required more hearings than fully represented and non-represented cases. Cases with a LIP were more likely to require adjudication or be withdrawn or dismissed. Secondary analysis of a dataset of financial remedy contested hearings also suggested that LIP cases were less likely to settle and less likely to settle early than fully represented cases. There was variation in how well LIP hearings appear to work or not work in court. Four types appeared relatively fair and efficient/effective: umbrella semi – the represented party’s lawyer works on behalf of both parties; third party (quasi) lawyer – the children’s lawyer acts as broker for both LIPs; fully inquisitorial judge – the judge takes on the role of lawyer(s) and judge holding-their-own LIPs – a competent LIP manages a simple hearing with support from the judge. Four types of hearing appeared inefficient/ineffective or unfair: “hot potato” hearings - chaotic hearings with disruptive LIPs, adjourned or listed for contested hearings; over-confident LIPs - rambling hearings unable to restrict LIPs to legally relevant matters; out of their depth LIPs – LIPs unable to understand/accomplish tasks resulting in longer or extra hearings and unprotected LIPs - LIPs unable to explore concerns/present case. A combination of factors appears to influence how well courts and LIPs cope. These include matter and hearing type (directions vs. substantive hearing), the approach of the judge and any legal representative, the availability of any facilitative third party and the capacity of the LIP(s). The availability of additional professional (legal) support for the LIP was often key to success. Three of the four types of ‘working’ hearings involved either a supportive lawyer or an activist/inquisitorial judge. Causes of delay included LIPs’ lack of understanding and experience meaning sometimes critical tasks were missed out, were done inadequately or were completed by the LIP only with considerable coaching and support from others, particularly judges. Ensuring equality of arms between parties was a real challenge, notably when a LIP was unaware of their legal entitlements and/or unable to do justice to their case. Judges varied considerably in the extent to which they helped LIPs, in itself a source of potential unfairness. Judicial attempts to support LIPs could be seen as unfair to represented parties in semi-representation cases. Two key ‘legal’ tasks - the preparation of bundles and cross-examination - were beyond the capacity of most LIPs unless they had considerable help. 3.4 The support needs of litigants in person (p79-100 of the Report) The LIP experience was mixed, sometimes better than expected but often stressful and confusing. LIPs reported fear and anxiety about the process, feeling marginalised and bewilderment and confusion, regardless of educational level. Factors that made the experience more positive were judges and sometimes opposing solicitors who took time to explain things and being able to draw upon previous experience of being at court. A degree of self-assurance or confidence was helpful, although over-confidence and an over-estimation of one’s understanding of the process could cause difficulties. The main support needs identified by LIPs were for information about process and procedure, emotional support, practical support and tailored legal advice including broad questions about their entitlements and specific questions about tactics and tasks. LIPs varied enormously in terms both of willingness and ability to seek support and of the effectiveness with which support was sought. A minority of LIPs were proactive in searching for information without any prompting by the courts. The proactive LIPs could be divided into the capable/organised and those with a scattergun/shot in the dark approach, although even the capable/organised could find it difficult to find the information they needed. Reactive LIPs responded to instructions or suggestions from family justice professionals, especially where those instructions were clear and precise. Passive LIPs relied on others to provide help, did not engage with the court process or had chaotic lifestyles. Support for LIPs at the time of the study was disparate, variable and limited. The internet has potential for informing LIPs, as well as some very significant drawbacks in relation to relevance, accuracy as well as accessibility for all. Few of the LIPs interviewed reported using the HMCTS or MoJ websites and those who did reported they did not meet their needs. Further, not all LIPs have access to online resources and, even for those who do, websites cannot adequately substitute for the tailored legal advice that many LIPs require. LIPs reported frustration that organisations like CABx, the court service and Cafcass were not able to offer advice and advised them to seek legal advice that could not be afforded. There is a dearth of free or low-cost legal advice in the community. Family and friends could be very helpful acting as informal supporters, but the development of paid ‘professional’ McKenzie Friends was a source of real concern to judges, lawyers and Cafcass officers. As previous studies have found, the courts did little signposting to sources of support. Professional training in how to support LIPs is needed. The development of support services for LIPs and training for professionals should be informed by, and responsive to, the different needs and help-seeking approaches of LIPs. 4. Policy Implications and Recommendations (p101-125 of the Report) 4.1 LIPS after 1st April 2013: eligibility for legal aid and the ‘new’ LIPs Chapter 6 of the Report considers the policy and practice implications of the findings reported above. The chapter begins with consideration of how far the findings are likely to apply after 1 April 2013. The available evidence suggested that the majority of represented parties in the sample who were in receipt of legal aid would no longer be eligible for legal aid after the LASPO reforms. In comparison with the observed pre-LASPO LIPs, the researchers would expect that LIPs post-LASPO would be less likely to be partially represented and more likely to present with vulnerabilities which affect their capacity to represent themselves effectively and create challenges for the courts in terms of safety at court, testing, disclosure and safeguarding children 4.2 Recommendations The report identified that LIPs have considerable needs for support across several dimensions. It also identified what the researchers consider to be best practices for meeting those needs, based on the team’s review of the literature and the observations and interviews with LIPs and family justice system professionals. It has not been part of the research team’s brief, however, to analyse the cost-benefit of these proposals or to produce a fully worked-up blueprint for change. This section, therefore, summarises the broad recommendations arising from the team’s analysis of the literature and the research data. Further detailed policy and operational consideration will of course be required to determine how these recommendations could be implemented. Information needs • That all relevant family justice communications, including forms, leaflets, practice directions, templates and pro forma, are re-evaluated from the perspective of LIPs and (if necessary) redesigned with their various needs in mind. • That a single authoritative ‘official’ family court website is established with all the resources that a LIP needs in one place. • That the court’s communication with parties prior to the first hearing is used more effectively to convey important information to LIPs. • That judges are encouraged to give LIPs clear verbal instructions and guidance on process and procedure. • That the court service provides increased opportunity for face-to-face inquiries with relevant court staff and that guidelines and training for court staff are devised to facilitate information-giving whilst avoiding giving advice. Emotional/moral support • That there is a presumption that a single family member, friend or volunteer may accompany a LIP in court to offer emotional/moral support without the need to submit a formal CV. • That consideration is given to the development of a code of conduct, practice guidance or regulatory framework for paid/’professional’ McKenzie Friends. Practical support and legal knowledge • That initial legal advice to facilitate dispute resolution and, where necessary, for initial preparation for court proceedings is made universally available. • That providing support for LIPs in a consistent way in both semi-represented and non-represented cases is understood as a key element of the judicial role; and that judicial officers receive appropriate guidance and training to do so. • That measures are introduced to ensure greater availability of and access to exceptional case funding in private family law matters. • That a mechanism is introduced to enable judicial recommendation for the provision of publicly funded representation in the interests of justice. • That the MoJ consider which other forms of legal and procedural assistance outlined in this Chapter for LIPs engaged in court proceedings can feasibly be supported or implemented. Other issues • Follow up independent research is needed to examine the impact of the legal aid reforms on the types and experiences of LIPs, their impact on the court system and the effectiveness of innovations and services to support LIPs

Transcriptional regulation of neurogenesis by the proneural factor Ascl1

Dissertação de mestrado BioinformaticsThis project aims to provide a better understanding of the transcriptional regulation of neurogenesis by the proneural factor Ascl1. The first genome-wide characterization of Ascl1 transcriptional program in the embryonic mouse brain was performed by ChIP-chip. However, the restriction to proximal promoter regions, excluding genes bound by Ascl1 to distal enhancers, and the need to validate the model with a more robust experimental approach, prompted the use of ChIP-seq. Genome-wide mapping of Ascl1 binding sites with higher resolution, reveals 3054 high confidence binding regions in ventral telencephalon. The chromatin states of genomic regions associated with Ascl1 recruitment were also characterised, concluding that these bear marks of distal enhancers, but also proximal promoter regions. Further integration of expression profiling data from Ascl1 LoF experiments identifies 643 target genes. Results from functional annotation of these targets corroborate previous findings, showing that Ascl1 coordinates neurogenesis by regulating a large number of target genes with a wide variety of biological functions, and associated with different stages of neurogenesis. Additional investigations should address how Ascl1 coordinates this complex transcriptional program along the neuronal lineage. This could explore a possible crosstalk with the Notch program, taking advantage of the 105 regulatory regions identified where Ascl1 is co-recruited by RBPJ, as assessed by ChIP-seq.O objetivo principal deste projeto consiste em compreender melhor a regulação transcricional da neurogénese pelo fator proneural Ascl1. A primeira caracterização à escala do genoma do programa de transcrição do Ascl1 no cérebro de embriões de ratinho foi realizada pela técnica de ChIP-chip. No entanto, a restrição a regiões próximas do promotor, com exclusão de genes ligados pelo Ascl1 a distal enhancers, e a necessidade de validar o modelo com uma abordagem experimental mais robusta, motivou o recurso à técnica de ChIP-seq. A análise de localização, com alta resolução, ao longo de todo o genoma para sítios de ligação do Ascl1, revelou 3054 regiões de ligação de elevada confiança no telencéfalo do ratinho. De seguida, caracterizaram-se os chromatin states de regiões genómicas associadas com o recrutamento do Ascl1. Desta análise conclui-se que estas regiões possuem marcas de distal enhancers, mas também de regiões próximas do promotor. A posterior integração de perfis de expressão em experiências de perda-de-função para o Ascl1 identificou 643 genes alvo. Os resultados da anotação funcional desses alvos corroboram as conclusões anteriormente publicadas, mostrando que o Ascl1 coordena a neurogénese através da regulação de um grande número de genes alvo, com uma ampla diversidade de funções biológicas, associados a diferentes fases da neurogénese. Estudos futuros deem abordar de que forma o Ascl1 coordena este programa de transcrição complexo ao longo da linhagem neuronal. Tal poderia explorar um possível crosstalk com o programa Notch, tirando partido das 105 regiões regulatórias identificadas por ChIP-seq, onde o Ascl1 é co-recrutado pelo RBPJ

Investigating the physiological underpinnings of proactive and reactive behavioural types in grey seals (Halichoerus grypus): Trial deployment of a minimally invasive data logger for recording heart rate and heart rate variability in a wild free-ranging breeding pinniped species

Individuals differ non-randomly in their responses to stressors, exhibiting consistent individual differences (CIDs) in behavioural and physiological coping mechanisms commonly referred to as coping styles. Grey seals (Halichoerus grypus) are one of the few mammal species in which CIDs in stress responses have been documented in wild populations, though evidence thus far has been purely behavioural. Physiologically, coping styles can be distinguished by differences in the autonomic regulation of cardiac activity, which can be measured using heart rate variability (HRV). The objectives of this study were two-fold. First, to assess the suitability of Polar® RS800CX monitors and H2/H3 sensors for conducting HRV analyses in grey seals. Second, to quantify inter-individual variation, repeatability, and reproductive performance correlates of baseline HRV. Polar® devices were deployed successfully during the 2013 breeding season on female grey seals (N = 15) on the Isle of May, Scotland, and were capable of recording HR patterns that characterise phocid seals at rest on land. However, artefacts were widespread and biased HRV metrics. Filtration and correction protocols were able to counteract the effects of artefacts, but severely limited the amount of data available for analysis. There were significant inter-individual differences in baseline HRV, which could not be explained by factors associated with the breeding season (e.g. percentage mass loss, day of lactation), diurnal rhythms (e.g. time of day), or stressors (e.g. days since capture). These differences in baseline HRV showed consistency across early and late lactation. Individuals appeared to separate into two groups: those with consistently lower or higher baseline HRV, characteristic of proactive and reactive coping styles, respectively. Furthermore, females with lower baseline HRV showed greater maternal transfer efficiency – though there were no associations between baseline HRV and maternal expenditure (i.e. maternal mass loss, kgday–1) or fitness outcomes (i.e. pup mass gain, kgday–1). These findings build upon previous studies on behavioural CIDs in female grey seals by providing the first preliminary evidence for physiological CIDs that are associated with maternal investment. However, due to small sample sizes, further studies are required to determine whether these findings are truly indicative of coping styles. In their current form, the use of Polar® devices requires several caveats and further studies are needed to fully realise their potential. Future research should focus on validation against simultaneously recorded ECGs to improve artefact detection and correction, and modification to minimise the occurrence of artefacts. Despite their limitations, Polar® devices have immense potential as a minimally invasive research tool for conducting HRV analyses in the field