Workshop Lógica Computacional e Direito

A palestra do Prof. Cleyton Rodrigues foi sobre: "Handling Crimes of Omission By Reconciling a Criminal Core Ontology with UFO". Os slides podem ser baixados AQUI .

A palestra do prof. Tiago de Lima, da Universidade de Artois, França, será: "A Formalisation of Moral Responsibility and the Problem of Many Hands". Os slides da apresentação podem ser baixados AQUI . Mais informações sobre o prof. Tiago podem ser encontradas na sua web page AQUI .

A palestra do prof. Ivan Varzinczak será: "Reasoning about concept and role typicality in ontologies" Abstract: Description Logics (DLs) are a family of logic-based knowledge representation formalisms with useful computational properties and a variety of applications in artificial intelligence and in databases. In particular, DLs are well-suited for representing and reasoning about terminological knowledge and constitute the formal foundations of semantic-web ontologies. Technically, DLs correspond to decidable fragments of first-order logic and are closely related to modal logics. Notwithstanding their good trade-off between expressive power and computational complexity, DLs remain fundamentally classical formalisms and therefore are not suitable for modelling and reasoning about aspects that are ubiquitous in human quotidian reasoning. Examples of these are exceptions to general rules, incomplete knowledge, and many others, characterising the type of reasoning usually

Este workshop faz parte das atividades do projeto de pesquisa “Reconciling Description Logics and Non-Monotonic Reasoning in the Legal Domain”, um trabalho em conjunto do Centro de Informática (CIn) da Universidade Federal de Pernambuco (UFPE), do Centro de Ciências Jurídicas da UFPE, e do Centre de Recherche en Informatique de Lens (CRIL) da Université d’Artois, na França. Do lado brasileiro, o coordenador é o professor Fred Freitas, enquanto do lado francês a coordenação fica por conta do professor Ivan Varzinczak. O projeto é financiado conjuntamente pela Fundação de Amparo à Ciência e Tecnologia de Pernambuco (FACEPE) e pelo Centre National de la Recherche Scientifique (CNRS). A proposta do workshop é um promover interação entre os membros do projeto e alguns interessados, através de apresentações e discussões de trabalhos científicos produzidos no contexto do projeto. O workshop ocorrerá na sexta-feira dia 27 de julho de 2018 . Começará às 09:00 e terminará às 17:00 , h