Posts Tagged: logic

Video — 1 Comment
13
Jun 10

Pedro Domingos - Unifying Logical and Statistical AI

Unifying Logical and Statistical AI Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov logic combines the two by attaching weights to first-order formulas and viewing them as templates for features of Markov networks. Inference algorithms for Markov logic draw on ideas from belief propagation, Markov chain Monte Carlo, resolution, and satisfiability. Learning algorithms are based on inductive logic programming and convex optimization. Markov logic has been successfully applied to problems in information extraction, natural language processing, social network analysis, robot mapping, bioinformatics and others, and is the basis of the open-source Alchemy system. Joint work with Jesse Davis, Stanley Kok, Daniel Lowd, Aniruddh Nath, Hoifung Poon, Matt Richardson, Parag Singla, Marc Sumner, and Jue Wang.

Video — 13 Comments
2
Feb 10

Artificial intelligence that makes YOU think

The ANDI-Land project aims to develop a computer adventure game where players solve simple puzzles through conversation with artificially intelligent characters who inhabit a simulated world. These characters, called andis, understand their world using logic and reason about it using automated theorem proving techniques.