3 resultados para inductive logic programming

em Universidade Federal do Rio Grande do Norte(UFRN)


Relevância:

80.00% 80.00%

Publicador:

Resumo:

The thesis, prepared with basis on deductive reasoning (through the utilization of general concepts of the fundamental rights theory) and on inductive logic (by means of the consideration of particular situations in which the theme has been approached) deals with the criminal investigation and the prohibition of anonymity in the Brazilian law system. The state criminal investigation activity presents not only a substantial constitutional basis, due to the objective dimension of fundamental rights (which imposes an obligation to protect these essential values), but also a formal constitutional basis, arising from the administrative principles of rule of law, morality and efficiency, referred to in article 37 of the Constitution. The criminal investigation, however, is not an unlimited pursuit, being restrained by the duty to consider fundamental rights that oppose to its realization. One of the limits of the state investigation activity, in the Brazilian law system, is the prohibition of anonymity, referred to in article 5°, IV, of the Constitution. This prohibition is a direct constitutional restriction to the freedom of expression that aims to ensure the credibility of the diffusion of ideas and prevent the abusive exercise of this fundamental right, which could harm both persons and the state, with no possibility of punishment to the offending party. Generally, based on this prohibition, it is affirmed that a criminal investigation cannot begin and progress founded on anonymous communication of crimes. Informations about crimes to the investigative authorities require the correct identification of the stakeholders. Therefore, it is sustained that the prohibition of anonymity also comprehends the prohibition of utilization of pseudonyms and heteronyms. The main purpose of this essay is to recognize the limits and possibilities in starting and conducting criminal investigations based on communication of crimes made by unidentified persons, behind the veil of anonymity or hidden by pseudonyms or heteronyms. Although the prohibition of article 5°, IV, of the Constitution is not submitted to direct or indirect constitutional restrictions, this impediment can be object of mitigation in certain cases, in attention to the constitutional values that support state investigation. The pertinence analysis of the restrictions to the constitutional anonymity prohibition must consider the proportionality, integrated by the partial elements of adequacy, necessity and strict sense proportionality. The criminal investigation is a means to achieve a purpose, the protection of fundamental rights, because the disclosure of facts, through the investigatory activity, gives rise to the accomplishment of measures in order to prevent or punish the violations eventually verified. So, the start and the development of the state criminal investigation activity, based on a crime communication carried out by an unidentified person, will depend on the demonstration that the setting up and continuity of an investigation procedure, in each case, are an adequate, necessary and (in a strict sense) proportional means to the protection of fundamental rights

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The following work is to interpret and analyze the problem of induction under a vision founded on set theory and probability theory as a basis for solution of its negative philosophical implications related to the systems of inductive logic in general. Due to the importance of the problem and the relatively recent developments in these fields of knowledge (early 20th century), as well as the visible relations between them and the process of inductive inference, it has been opened a field of relatively unexplored and promising possibilities. The key point of the study consists in modeling the information acquisition process using concepts of set theory, followed by a treatment using probability theory. Throughout the study it was identified as a major obstacle to the probabilistic justification, both: the problem of defining the concept of probability and that of rationality, as well as the subtle connection between the two. This finding called for a greater care in choosing the criterion of rationality to be considered in order to facilitate the treatment of the problem through such specific situations, but without losing their original characteristics so that the conclusions can be extended to classic cases such as the question about the continuity of the sunrise

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Digital games have been used as aiding tool for transmission of knowledge, allowing faster dissemination of content. Using this strategy of disseminating logical reasoning development for basic school children can be the motivating gear that helps in the learning process for any area. In this context, many games can be created and provided for the use of teacher and student. However, the complexity of construction of these games becomes a obstacle which can, often, prevent their construction. Thus, this paper presents a framework for creating games, which teach programming logic, presenting from their conception to their integration with the visual programming environment (Blockly) and scenarios created in HTML5.