We present an axiomatization of a problem in commonsense reasoning, characterizing the proper procedure for cracking an egg and transferring its contents to a bowl. The axiomatization is mid-sized, larger than toy problems such as the Yale Shooting Problem or the Suitcase Problem, but much smaller than the comprehensive axiomatizations associated with CYC and HPKB. This size of axiomatization permits the development of non-trivial, reusable core theories of commonsense reasoning, acts as a testbed for existing theories of commonsense reasoning, and (...) encourages the discovery of new problems in commonsense reasoning.We present portions of core theories of containment, falling, and pouring, integrated into Shanahan's circumscriptive event calculus, and show how these can serve as the basis of an axiomatization that partly characterizes egg cracking. We discuss several commonsense reasoning problems encountered during this research, such as the Initial Specification Problem (a relative of the frame problem that occurs in theories in which fluents can trigger actions), and the Unobtainable State Problem (the problem of determining whether or not a theorem stating that one cannot get from one state to another is meaningful). (shrink)

in Handbook of Knowledge representation, Elsevier, 2008.

This article analyses the evolution of penalties from Michel Foucault’s philosophy, verifying the departure of torture and giving rise to a disciplinary model. The aim is to find out the forms of power that society has exerted over the 19th century and the transition to ‘biopower’, where the purpose is to control all of society. In Brazil, the shift towards a punitive model becomes evident with the redemocratization that followed the National Constitution of 1988, which recognized the dignity of the (...) human person as the right to be upheld. In this context, the following question arises: Does the common Brazilian penitentiary system serve its corrective purpose? Is there a more effective way to deal with convicts, in terms of reducing recidivism rates? Mario Ottoboni founded the Association for the Protection and Assistance of Convicts (APAC). The present study proposes a study by APAC to answer these questions. APAC is an innovative institution that aims to fulfill the resocializing function of a sentence. This is a possible path for social reintegration. This study employed a deductive approach and was conducted using bibliographical research. (shrink)