Artificial Intelligence Today: Recent Trends and Developments

Ruth Aylett (auth.), Michael J. Wooldridge, Manuela Veloso (eds.)9783540664284, 3-540-66428-9

Artificial Intelligence is one of the most fascinating and unusual areas of academic study to have emerged this century. For some, AI is a true scientific discipline, that has made important and fundamental contributions to the use of computation for our understanding of nature and phenomena of the human mind; for others, AI is the black art of computer science.
Artificial Intelligence Today provides a showcase for the field of AI as it stands today. The editors invited contributions both from traditional subfields of AI, such as theorem proving, as well as from subfields that have emerged more recently, such as agents, AI and the Internet, or synthetic actors. The papers themselves are a mixture of more specialized research papers and authorative survey papers.
The secondary purpose of this book is to celebrate Springer-Verlag’s Lecture Notes in Artificial Intelligence series.

---

Table of contents :
Behavioural Virtual Agents….Pages 1-11
Logic-Based Knowledge Representation….Pages 13-41
A Taxonomy of Theorem-Proving Strategies….Pages 43-84
An Overview of Planning Under Uncertainty….Pages 85-110
Knowledge Representation for Stochastic Decision Processes….Pages 111-152
A Survey of Automated Deduction….Pages 153-174
The World Wide Web as a Place for Agents….Pages 175-193
Lifelike Pedagogical Agents and Affective Computing: An Exploratory Synthesis….Pages 195-211
OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains….Pages 213-248
Combining Artificial Intelligence and Databases for Data Integration….Pages 249-268
“Underwater Love” Building Tristão and Isolda’s Personalities….Pages 269-296
An Oz-Centric Review of Interactive Drama and Believable Agents….Pages 297-328
Robots with the Best of Intentions….Pages 329-338
Agent-Based Project Management….Pages 339-363
A System for Defeasible Argumentation, with Defeasible Priorities….Pages 365-379
Handling Uncertainty in Control of Autonomous Robots….Pages 381-407
The Event Calculus Explained….Pages 409-430
Towards a Logic Programming Infrastructure for Internet Programming….Pages 431-456
Towards Autonomous, Perceptive, and Intelligent Virtual Actors….Pages 457-471
Temporally Invariant Junction Tree for Inference in Dynamic Bayesian Network….Pages 473-487