Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Palestra: Defeasible Modalities'

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Thursday, April 04, 2013 At 12:45
Duração: 2 Horas

Na quinta dia 04/04 receberemos na UFRJ o pesquisador
Ivan José Varzinczak, CAIR, the UKZN-CSIR Meraka Centre for Artificial Intelligence Research, in South Africa.

Ivan José Varzinczak received his Ph.D. in Artificial Intelligence from Université Paul Sabatier, France, in 2006. Former member of IRIT, France, he is currently a postdoctoral researcher at CAIR, the UKZN-CSIR Meraka Centre for Artificial Intelligence Research, in South Africa. http://en.varzinczak.net16.net/

Todos são muito benvindos.

Local: PESC-COPPE, sala H324A
Data: 04/04 Hora: 12:45

Título: Defeasible Modalities

Resumo: Nonmonotonic logics are usually characterized by the presence of some notion of `conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the associated normality (or abnormality) of its constituents. In contrast, defeasible modes of inference aim to formalize the defeasible aspects of modal notions such as actions, obligations and knowledge. In this work we enrich the standard possible worlds semantics with a preference ordering on worlds in Kripke models. The resulting family of modal logics allow for the elegant expression of defeasible modalities. We also propose a tableau calculus which is sound and complete with respect to our preferential semantics.


Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)