[ 一日30分 인생승리의 학습법] AILog 2 A logic programming language with probabilities and logical explanation and debugging faculities

AILog 2

A logic programming language with probabilities and logical explanation and debugging faculities

ailog2.pl-x

ailog_man.pdf

[출처] https://artint.info/code/ailog/

경축! 아무것도 안하여 에스천사게임즈가 새로운 모습으로 재오픈 하였습니다.
어린이용이며, 설치가 필요없는 브라우저 게임입니다.
https://s1004games.com

• 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 Artifi