[ 一日30分 인생승리의 학습법] AILog 2 A logic programming language with probabilities and logical explanation and debugging faculities
2022.01.16 23:08
[ 一日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/
- 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 runswipl 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
본 웹사이트는 광고를 포함하고 있습니다.
광고 클릭에서 발생하는 수익금은 모두 웹사이트 서버의 유지 및 관리, 그리고 기술 콘텐츠 향상을 위해 쓰여집니다.
광고 클릭에서 발생하는 수익금은 모두 웹사이트 서버의 유지 및 관리, 그리고 기술 콘텐츠 향상을 위해 쓰여집니다.