Eighteenth Annual IEEE Symposium on
IN COMPUTER SCIENCE (LICS 2003)
Workshop on Probability in AI
SITE room C0136
A lot of the recent research in artificial intelligence (AI) has focused on the role of probabilities and probabilistic reasoning for representing knowledge and reasoning about complex, unknown environments. In the LICS conferences in recent years there has been a lot of activity around the area of verification and model checking in particular, with a number of recent papers specifically focusing on probability.
There are more and more clear connections between concepts and methods used in the fields of AI and verification. For instance, although the questions asked in these two fields are different, a lot of the algorithmic approaches are based on Markov chains or Markov decision processes. There are also strong connections between notions like bisimulation and state space reduction. Given the synergy that is building up between AI and verification, it seems appropriate to have a workshop where AI researchers in probability and logic can interact with more traditional LICS participants.
happy to acknowledge the generous support of the Centre de Recherche
Mathematiques of the Universite de Montreal.
Back to the LICS web page.