Computer Science Colloquium
Time+Place : Tuesday 19/06/2012 14:30 room 337-8 Taub  Bld.
Speaker    : Rina Dechter
Affiliation: Donald Bren School of Information and Computer Sciences,
Host       : Dan Geiger
Title      : Principles of Reasoning with Graphical Models
Abstract   :
Graphical models, e.g., Bayesian networks, Markov random fields, constraint
networks and influence diagrams, are knowledge representation schemes that
capture independencies in the knowledge base and support efficient,
graph-based algorithms for a variety of reasoning tasks. Their applications
include scheduling, planning, diagnosis and situation assessment, design,
and hardware and software verification. Algorithms for reasoning in
graphical models are of two primary types: inference-based (e.g.,
variable-elimination, join-tree clustering) and search-based. Exact
inference-based algorithms are exponentially bounded (both time and space)
by the tree-width of the graph. Search algorithms that explore an AND/OR
search space can accommodate a more flexible time and memory tradeoff  but
their performance can also be bounded exponentially by the tree-width.  My
talk  will focus on overviewing  the two primary types of reasoning
algorithms , presenting and contrasting their properties , and considering
their hybrids.  If time permits, I will comment on approximations of
inference (e.g., mini-bucket and belief propagation) and search (e.g.,
SampleSearch,  AND/OR sampling and cutset sampling).
Short Bio:
Rina Dechter is a professor of Computer Science at the University of
California, Irvine. She received her PhD in Computer Science at UCLA in
1985, an MS degree in Applied Mathematic from the Weizmann Institute and a
B.S in Mathematics and Statistics from the Hebrew University, Jerusalem.
Her research centers on computational aspects of automated reasoning and
knowledge representation including search, constraint processing and
probabilistic reasoning.
Professor Dechter is an author of Constraint Processing published by Morgan
Kaufmann, 2003, has authored over 100 research papers, and has served on the
editorial boards of: Artificial Intelligence, the Constraint Journal,
Journal of Artificial Intelligence Research and Logical Method in Computer
Science (LMCS). She was awarded the Presidential Young investigator award in
1991, is a   <> fellow of the
American association of Artificial Intelligence since 1994, was a
 <> Radcliffe Fellowship
2005-2006 and received the 2007 Association of Constraint Programming
 <> (ACP) research excellence
award. She is currently a co-editor in chief of the Artificial Intelligence
Refreshments served from 14:15 on,
 	Lecture starts at 14:30
Visit our home page-   <>
Technion Math. Net (TECHMATH)
Editor: Michael Cwikel   <> 
Announcement from: Hadas Heier   <>