We followed a link given by David Poole at UAI-06:
Probabilistic-Logical Models Repository. and came up with the following
We will go over Poole's
tutorial and his CILOG-II system.
Of the other systems, we
will review Manfred Jaeger's Primula and Adnan's Darwiche's SamIam.
SamIam is being integrated with Primula. We will study the
(non-implemented) First-Order Bayesian Logic of Kathryn Laskey, the
Alchemy system by Pedro Domingos, which gave a keynote presentation at
AAAI-06, and the PRM-type systems, which originated at Daphne Koller's DAGS
group at Stanford.
|2006-08-10 to 15
||David Poole's UAI-06 Tutorial on the integration of logic and
"Uncertainty with Logical, Procedural, and Relational Languages", by David
Additional reference: Paulo da Costa and Kathryn Laskey's "Multi-Entity
Bayesian Networks without Multi-Tears."
We completed the tutorial. We did not use the additional reference.
|| Marco Valtorta
Copy of picture on board on August 14.
||David Poole's CILOG-II system
"CILog 2: A logic programming language with probabilities and logical
explanation and debugging facilities", by David
Poole. This meeting only covered the first part of the CILog2 manual.
Batmobile paper, local copy, ps
Probabilistic Models for Relational Data, by David
Heckerman, Christopher Meek, and Daphne Koller, local copy, pdf
|| Jingshan Huang and Jingsong Wang
PowerPoint presentation based on the Cilog-2 manual
Loveland, D.W. and M.E. Stickel. The hole in goal trees: some guidance from
resolution theory. IEEE Transactions on Computers C-25, 4 (April 1976),
Paper, local copy, pdf.
Local copies of two related papers by Mark Stickel:
|| Marco Valtorta.
Copy of picture on board, with variations on the
swimming pool example.
||CVS and the Magellan system
|| No paper
|| Jingshan Huang
||The Primula System
||The Primula Systems by Manfred Jaeger
PowerPoint presentation based on examples provided by Manfred Jaeger
||Multiple-Entity Bayesian Networks (MEBNs)
Main Reference: Paulo da Costa and Kathryn Laskey's "Multi-Entity
Bayesian Networks without Multi-Tears"
Laskey's "First-Order Bayesian Logic"
Laskey's "MEBN: A Logic for Open-World Probabilistic Reasoning"
PowerPoint presentation based on the main reference
PowerPoint presentation containing some material on MEBNs
PowerPoint presentation for 2006-01-05 meeting: subset of above, with some
||Conflicts in Bayesian Networks
Young-Gyun Kim and Marco Valtorta. "On the Detection of Conflicts in Diagnostic
Bayesian Networks Using Abstraction." UAI-95, pp.362-367 (local copy).
PowerPoint presentation based on work by Jensen, Laskey, and Kim and Valtorta.
||Conflicts and Alerts
Thomas D. Nielsen and Finn V. Jensen. "On-line Alert Systems for Production
Plants: A Conflict Based Approach." Technical Report, Machine Intelligence
Group, University of Aalborg, Denmark
(local copy of 2007-01-28, and
||The TREAT System
Leonard Lebovici, Michal Fishman, Henrik C. Schoenheyder, Christian Riekehr,
Brian Kristensen, Ilana Shraga, and Steen Andreassen.
"A Causal Probabilistic Network for Optimal Treatment of Bacterial Infections."
IEEE Transactions on Knowledge and Data Engineering, 12, 4 (July/August, 2000),
(local copy of 2007-08-14).
Alicia Ruvinsky and Scott Langevin's
presentation of 2007-08-14
[Univ. of South Carolina]
[Dept of Computer Science and Engineering]
[College of Engineering and Information
Here are links to some BN seminars from past semesters:
If you have any questions or comments about this site please send email to:
Last modified: Tue Aug 31