Behavioral Modeling and Decision-making in AI
CS 7180, Fall 2012
Homepage
General
Schedule
Assignments
Resources
Schedule and Readings
Date
Topics
Readings
September 5
Introduction to AI and Strategic Decision-making
AIMA 1.1
Laura A. McNamara, Timothy G. Trucano, and Charles Gieseler. 2011.
Challenges in Computational Social Modeling and Simulation for National Security Decision Making
. Defense Threat Reduction Agency and Sandia National Laboratory.
Thomas H. Davenport and Jeanne G. Harris. 2005. Automated Decision Making Comes of Age,
MIT Sloan Management Review
, 83-89.
September 7
Reasoning in AI: Overview of Propositional and First-order Logic
AIMA Chapters 7, 8, and 9
September 12
Guest Speaker--Dr. Glenn Pierce, Institute of Security and Public Policy & School of Criminology and Criminal Justice
September 14
Guest speaker--Professor Thomas Wahl:
First-order Logic and Applications to Program Reasoning
Sign up for research presentation
AIMA Chapters 8 and 9
September 19
Temporal Logic for Reasoning about Events
Homework 1
Michael Fisher, Dov Gabbay, and Lluis Vila. 2005.
Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence)
. Elsevier Science Inc., New York. 1-24.
September 21
Temporal Logic, Part II
AIMA Chapter 3
Dana Nau, Malik Ghallab, and Paolo Traverso. 2004.
Automated Planning: Theory & Practice
. Morgan Kaufmann Publishers Inc., San Francisco. Sections 2.1-2.3, 2.5, 4.1-4.3.
Presentations:
Michael Fisher. 2011. Agent deliberation in an executable temporal framework,
Journal of Applied Logic
, Volume 9, Issue 4, 223-238.
Presenters: Karl Wiegand, Ian Helmke, Dan Kreymer
Chitta Baral and Gregory Gelfond. 2011. On representing actions in multiagent domains. In
Logic programming, knowledge representation, and nonmonotonic reasoning
, Marcello Balduccini and Tran Cao Son (Eds.). Springer-Verlag, Berlin. 213-232.
Group discussion.
September 26
Reasoning about Actions, Behaviors, and Effects with Search
AIMA Chapter 3 and 5.1-5.3
Dana Nau, Malik Ghallab, and Paolo Traverso. 2004.
Automated Planning: Theory & Practice
. Morgan Kaufmann Publishers Inc., San Francisco. Sections4.1-4.3, 9.3.
September 28
Game Tree Search
AIMA Chapter 3 and 5.1-5.3
Dana Nau, Malik Ghallab, and Paolo Traverso. 2004.
Automated Planning: Theory & Practice
. Morgan Kaufmann Publishers Inc., San Francisco. Sections4.1-4.3, 9.3.
Presentation:
Viliam Lisy, Branislav Bosansky, Michal Jakob, and Michal Pechoucek. 2009. Adversarial search with procedural knowledge heuristic. In
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems
. 899-906.
Presenters: Sun Wei, Weixun Ge
October 3
Representing Uncertainty: Probability Theory Overview
AMAI Chapter 13
Judea Pearl. 1988.
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
. Morgan Kaufmann Publishers Inc., San Francisco. Chapter 1.
October 5
Probabilistic Reasoning and Bayesian Inference with Graphical Models
AMAI Chapter 13 and 14.1-14.5
Judea Pearl. 1988.
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
. Morgan Kaufmann Publishers Inc., San Francisco. Chapter 2.
Presentation:
Arthur Choi, Yexiang Xue, and Adnan Darwiche. 2012. Same-decision probability: A confidence measure for threshold-based decisions,
International Journal of Approximate Reasoning
.
Presenters: Jingtong Liu, Ming Shao, Si Li
October 10
Approximate Inference and Decision-making with Bayesian Networks
AMAI 14.1-14.5 and 16.5
Judea Pearl. 1988.
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
. Morgan Kaufmann Publishers Inc., San Francisco. Chapter 2.
October 12
Bayesian Networks in Dynamic Domains
AMAI 15.5
Sumit Sanghai, Pedro Domingos, and Daniel Weld. 2005. Relational Dyna- mic Bayesian Networks,
Journal of Artificial Intelligence Research
, Volume 24, 1-39.
Presentation:
Eugene Santos Jr., Deqing Lia, Eunice E. Santos, and John Korah. 2012. Temporal Bayesian Knowledge Bases-Reasoning about uncertainty with temporal constraints,
Expert Systems with Applications
, Volume 39, Issue 17, 12905-12917.
Presenters: Zhewei Mai, Zhe Xiong
Homework 2
October 17
Planning with Markov Decision Processes (MDPs)
AMAI 17.2 and 17.3
Dana Nau, Malik Ghallab, and Paolo Traverso. 2004.
Automated Planning: Theory & Practice
. Morgan Kaufmann Publishers Inc., San Francisco. Sections 16.1-16.2.
October 19
Uncertainty in MDPs
Term project proposals due by midnight (11:59:59pm)
AMAI 17.4
Dana Nau, Malik Ghallab, and Paolo Traverso. 2004.
Automated Planning: Theory & Practice
. Morgan Kaufmann Publishers Inc., San Francisco. Section 16.3.
Presentation:
Miguel Ramirez and Hector Geffner. 2009. Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent, In
Proceedings of the Twenty- Second International Joint conference on Artificial Intelligence
. 2009-2014.
Presenters: Kang Li, Sheng Li, Guochen Xie
October 24
Hidden Markov Models (HMMs)
Term project proposal presentations in class
AMAI 15.3
Lawrence R. Rabiner. 1989. A tutorial on hidden markov models and selected applications in speech recognition, In
Proceedings of the IEEE
. 257-266.
October 26
Reasoning and Inference with HMMs
AMAI 15.3
Lawrence R. Rabiner. 1989. A tutorial on hidden markov models and selected applications in speech recognition, In
Proceedings of the IEEE
. 257-266.
October 31
Learning Probabilistic Graphical Models
AMAI 15.3
Lawrence R. Rabiner. 1989. A tutorial on hidden markov models and selected applications in speech recognition, In
Proceedings of the IEEE
. 257-266.
Presentation:
Xin Liu and Anwitaman Datta. 2012. Modeling Context Aware Dynamic Trust Using Hidden Markov Models. In
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
. 1938-1944.
Presenters: Nima Rezaei, Alidad Aghlara
November 2
MIDTERM EXAMINATION
November 7
Probabilistic Logic
Nils J. Nilsson. 1986. Probabilistic Logic,
Artificial Intelligence
, Volume 28. 71-87.
Raymond Ng and V.S. Subrahmanian. 1992. Probabilistic Logic Programming,
Information and Computation
, Volume 101, Number 2. 150-201.
November 9
Probabilistic Logic and Constraint Satisfaction
AIMA 6.1
Raymond Ng and V.S. Subrahmanian. 1992. Probabilistic Logic Programming,
Information and Computation
, Volume 101, Number 2. 150-201.
Thomas Lukasiewicz. 1998. Probabilistic Logic Programming, In
Proceedings of the 13th European Conference on Artificial Intelligence
.
November 14
NO CLASS
November 16
Abductive Reasoning in Probabilistic Logic
Sheila A. McIlraith. 1998. Logic-Based Abductive Inference,
Technical Report: Stanford University Knowledge Systems Laboratory
.
Gerardo I. Simari and V.S. Subrahmanian. 2010. Abductive Inference in Probabilistic Logic Programs, In
Technical Communications of the 26th International Conference on Logic Programming
.
Presentation:
Gerardo I. Simari, John Dickerson, Amy Sliva, and V.S. Subrahmanian. 2012. Parallel Abductive Query Answering in Probabilistic Logic Programs,
ACM Transactions on Computational Logic
.
Presenters: Travis Donnell, Nitesh Raol, Shrinandan Selvamani, (Ryan Rickert)
November 21
THANKSGIVING HOLIDAY
November 23
THANKSGIVING HOLIDAY
November 28
Utility, Rationality, and Classical Game Theory
AIMA 16.1-16.5
Kevin Leyton-Brown and Yoav Shoham. 2008.
Essentials of Game Theory: A Concise Multidisciplinary Introduction.
Morgan & Claypool. 1-14.
John Scott. 2000. Rational Choice Theory, In
Understanding Contemporary Society
, Gary Browning, Abigail Halcli, and Frank Webster (Eds.). Sage Publications Ltd. 126-138.
November 30
Algorithmic Game Theory
Eva Tardos and Vijay V. Vazirani. 2007. Computing in Games: Basic Solution Concepts and Computational Issues, In
Algorithmic Game Theory
, Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay V. Vazirani (Eds.). 3-28.
Joseph Y. Halpern and Rafael Pass. 2011. Algorithmic rationality: adding cost of computation to game theory,
ACM SIGecom Exchange
, Volume 10, Issue 2. 9-15.
Presentation:
Noam Berger, Michal Feldman, Ofer Neiman, Mishael Rosenthal 2012. Dynamic Inefficiency: Anarchy without Stability,
Algorithmic Game Theory
, Volume 6982. 57-68.
Presenters: Guruprasad Kuppuswamy, Nanda Kishore Bhat
December 5
Term Project Presentations
December 7
Term Project Presentations