Apresentação: Workshop Lógica Computacional e Direito

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, havendo uma pausa para almoço.

Entre outros, os temas presentes no workshop podem ser:

· Lógica Computacional.
· Description Logics.
· Ontologias formais aplicadas ao domínio jurídico.
· Representação do conhecimento e raciocínio automático.
· Lógica e Direito.

Mais informações serão postadas em breve, incluindo a lista das apresentações.

Contato: italojsoliveira1@gmail.com

Comentários

Postar um comentário

Postagens mais visitadas deste blog

Palestra do prof. Ivan Varzinczak: Reasoning about concept and role typicality in ontologies

Imagem
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...
Leia mais