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