AILog 2
A logic programming language with probabilities and logical
explanation and debugging faculities
- Here is the user manual (or in pdf)
- You can download AILog2.
This runs in SWI Prolog
(version 5.4.0 or later). Install SWI Prolog, download
ailog2.pl, then double-click on it or in a terminal run
swipl ailog2.pl
- If you don't want probabilities or integrity constraints, you
could also use the old CILog.
- There are some example programs related to Artificial Intelligence: Foundations of
Intelligent Agents in the AILog code web page.
- Some more example programs:
- tug_of_war.ailog, an example
tug-of-war, where there can be multiple teams of varying players.
- addition.ail diagnosing
students perfomance on multi-digit, multi-problem, multi-time addition
problems.
- blip.ailog airplane-blip example from the
BLOG papers of Brian Milch et al.
- blocks3.ailog a stochastic block
stacking examples (actions can fail, blocks can be dropped, towers can
topple).
- rob_key.ail a robot temporal
projection problem, from David Poole, ``Abducing
Through Negation as Failure: Stable models within the independent
choice
logic '' Journal of Logic Programming, Vol 44, Pages
5-35, 2000.
- robot_sitc.cil a robot prediction
problem using the situation calculus, from David Poole, ``Decision
Theory, the Situation Calculus and Conditional Plans'',
Linköping Electronic Articles in Computer and Information Science,
Vol 3 (1998):nr 8. http://www.ep.liu.se/ea/cis/1998/008/
June 15, 1998. The Electronic
Transactions on Artificial Intelligence.
- plates.cil a simple instance of
learning using plates, from David Poole, "Learning,
Bayesian Probability, Graphical Models, and Abduction", Peter Flach
and Antonis Kakas, editors, Abduction and Induction: essays on
their relation and integration, Kluwer, 1998.
- hierarchicalBayes.cil
a simple example showing hierarchical Bayesian learning from Example 7
of D. Heckerman, C. Meek, and D. Koller, Probabilistic
Models for Relational Data. Technical
Report MSR-TR-2004-30, Microsoft Research, March, 2004.
- batcode.cil, dynamic Bayesian network
for car tracking from Jeff Forbes, Tim Huang, Keiji Kanazawa, and
Stuart Russell,
``The
BATmobile: Towards a Bayesian Automated Taxi.''
In Proc. Fourteenth International Joint Conference
on Artificial Intelligence, Montreal, Canada, 1995.
Any comments you have are appreciated.
