xml


Friday

Logic and Computation

Room P3.10, Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisboa.pt


, CLE - Universidade Estadual de Campinas, Brazil.

Abstract

Possibility and necessity theories rival with probability in representing uncertain knowledge, while offering a more qualitative view of uncertainty. Moreover, necessity and possibility measures constitute, respectively, lower and upper bounds for probability measures, with the advantage of avoiding the complications of the notion of probabilistic independence.

On the other hand, paraconsistent formal systems, especially the Logics of Formal Inconsistency, are capable of quite carefully expressing the circumstances of reasoning with contradictions. The aim of this talk is to merge these ideas, by precisely defining new notions of possibility and necessity theories involving the concept of consistency (generalizing the proposal by (Besnard & Lang 1994)) based on connecting them to the notion of partial and conclusive evidence. This combination permits a whole treatment of contradictions, both local and global, including a gradual handling of the notion of contradiction, thus obtaining a really useful tool for AI and machine learning, with potential applications in logic programming via appropriate resolution rules.


Friday

Partial Differential Equations

Room P3.10, Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisboa.pt


, University of Konstanz.



Tuesday

Analysis, Geometry, and Dynamical Systems

Room P3.10, Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisboa.pt


Adriana Neumann, Universidade Federal do Rio Grande do Sul.



Tuesday

Analysis, Geometry, and Dynamical Systems

Room P3.10, Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisboa.pt


David Krejciric, Czech Technical University.



Tuesday

Analysis, Geometry, and Dynamical Systems

Room P3.10, Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisboa.pt


Daniel Rodrigues, University of Groningen.



Monday

Analysis, Geometry, and Dynamical Systems

Room P3.10, Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisboa.pt


Alexandre Boritchev, Institut Camille Jordan, Université Lyon 1.

Abstract

We consider a particle system which is equivalent to a process valued on the space of nonentropy solutions of the inviscid Burgers equation. Such solutions are conjectured to be relevant for the study of the KPZ fixed point. We prove ergodicity and obtain some properties of the stationary measure.

Joint work with C.-E. Bréhier (Lyon) and M. Mariani (Rome).


Instituto Superior Técnico
Av. Rovisco Pais, Lisboa, PT

Search interface

Seminar series

Speaker

Keyword

Dates