In the winter, 2004 issue of AI Magazine, we reported Vulcan Inc.'s first step toward creating a question-answering system called "Digital Aristotle." The goal of that first step was to assess the state of the art in applied Knowledge Representation and Reasoning (KRR) by asking AI experts to represent 70 pages from the advanced placement (AP) chemistry syllabus and to deliver knowledge-based systems capable of answering questions from that syllabus. This paper reports the next step toward realizing a Digital Aristotle: we present the design and evaluation results for a system called AURA, which enables domain experts in physics, chemistry, and biology to author a knowledge base and that then allows a different set of users to ask novel questions against that knowledge base. These results represent a substantial advance over what we reported in 2004, both in the breadth of covered subjects and in the provision of sophisticated technologies in knowledge representation and reasoning, natural language processing, and question answering to domain experts and novice users.

The poker AAAI membership is required for eligibility.

The Johnson-Lindenstrauss Lemma allows for the projection of $n$ points in $p-$dimensional Euclidean space onto a $k-$dimensional Euclidean space, with $k \ge \frac{24\ln \emph{n}}{3\epsilon^2-2\epsilon^3}$, so that the pairwise distances are preserved within a factor of $1\pm\epsilon$. Here, working directly with the distributions of the random distances rather than resorting to the moment generating function technique, an improvement on the lower bound for $k$ is obtained. The additional reduction in dimension when compared to bounds found in the literature, is at least $13\%$, and, in some cases, up to $30\%$ additional reduction is achieved. Using the moment generating function technique, we further provide a lower bound for $k$ using pairwise $L_2$ distances in the space of points to be projected and pairwise $L_1$ distances in the space of the projected points. Comparison with the results obtained in the literature shows that the bound presented here provides an additional $36-40\%$ reduction.

Cellular phones can be used as mobile sensors, continuously logging users’ behavior including movement, communication and proximity to others. While it is well understood that data generated from mobile phones includes a record of phone calls, there are also more sophisticated data types, such as Bluetooth or cell tower proximity logging, which reveal movement patterns and day-to-day human interactions. We explore the possibility of using mobile phone data to compare movement and communication patterns across cultures. The goal of this proof-of-concept study is to quantify behavior in order to compare different populations. We compare our ability to predict future calling behavior and movement patterns from the cellular phone data of subjects in two distinct groups: a set of university students at MIT in the United States and the University of Nairobi in Kenya. In addition, we show how Bluetooth data may be used to estimate the diffusion of an airborne pathogen outbreak in the different populations.

The 22nd International Florida Artificial Intelligence Research Society Conference (FLAIRS-22) was held 19th – 21st May 2009 at the Sundial Beach and Golf Resort on Sanibel Island, Florida, USA.  It continued a long tradition of FLAIRS conferences, which attract researchers from around the world.  The conference featured technical papers, special tracks, and invited speakers.  This year’s conference was chaired by Susan Haller, from the State University of New York at Potsdam.  Conference program co-chairs were Hans W. Guesgen, from Massey University in New Zealand, and H. Chad Lane, from the University of Southern California.  The special tracks were coordinated by Philip McCarthy, from the University of Memphis.

The relationship between equilibrium convergence to a uniform quality distribution and price is investigated in the Q-model, a self-organizing, evolutionary computational matching model of a fixed-price post-secondary higher education created by Ortmann and Slobodyan (2006). The Q-model is replicated with price equaling 100% its Ortmann and Slobodyan (2006) value, Varying the fixed price between 0% and 200% reveals thresholds at which the Q-model reaches different market clustering configurations. Results indicate structural market robustness to prices less than 100% and high sensitivity to prices greater than 100%.

Explaining policies of Markov Decision Processes (MDPs) is complicated due to their probabilistic and sequential nature. We present a technique to explain policies for factored MDP by populating a set of domain-independent templates. We also present a mechanism to determine a minimal set of templates that, viewed together, completely justify the policy. Our explanations can be generated automatically at run-time with no additional effort required from the MDP designer. We demonstrate our technique using the problems of advising undergraduate students in their course selection and assisting people with dementia in completing the task of handwashing. We also evaluate our explanations for course-advising through a user study involving students.

This paper introduces the challenge of digital preservation in the   area of engineering design and manufacturing and presents a   methodology to apply knowledge representation and semantic   techniques to develop Digital Engineering Archives.  This work   is part of an ongoing, multi-university, effort to create   Cyber-Infrastructure-Based Engineering Repositories for   Undergraduates (CIBER-U) to support engineering design education.   The technical approach is to use knowledge representation techniques   to create formal models of engineering data elements, workflows and   processes.  With these formal engineering knowledge and processes   can be captured and preserved with some guarantee of long-term   interpretability.  The paper presents examples of how the techniques   can be used to encode specific engineering information     packages and workflows.  These techniques are being integrated   into a semantic Wiki that supports the CIBER-U engineering education   activities across nine universities and involving over 3,500   students since 2006.

The 2008 Robert S. Engelmore Memorial Lecture Award will be presented to Kenneth

The field of artificial intelligence needs to attract new researchers to the field to continue current explorations and look for novel approaches to tomorrow's problems. One approach involves providing students with learning tools that excite their imagination and help them obtain an appreciation for what artificial intelligence can do. The tools described here are used in an undergraduate course at Sam Houston State University. They include heuristic-driven search in a potential game's terrain map, reinforcement learning in a tank battle game, and game tree search techniques in tic-tac-toe.