Artificial Intelligence

Research activities

The Artificial Intelligence research group is mainly working in Knowledge Representation and Reasoning, Planning, and Cognitive Robotics. In particular, we are concerned with the following topics:

• Complexity of Reasoning, i.e. the study of computational properties of formalisms, languages, and reasoning tools;
• Commonsense Reasoning, i.e. the study of the reasoning mechanism of intelligent agents in realistic domains;
• Reasoning under Uncertainty, i.e. the study of formalisms and techniques for reasoning under uncertainty, which are based especially on a probabilistic semantics, and used in particular to select the best actions to execute in a dynamic environment;
• Cognitive Robotics and Reasoning about Actions, i.e. the definition of methods and techniques for reasoning about actions, and for the design and the realization of embodied agents (in particular mobile robots) that are able to accomplish complex tasks in real environments;
• Multi-robot and Multi-agent systems, i.e. the techniques for the design and implementation of Cognitive Agents that cooperate in the achievement of a common goal, in multi-robot and multi-agent systems;
• Constraint-based Architectures for Planning and Scheduling, i.e. the development of heuristics and suitable formalisms to realize flexible architectures for planning and scheduling.

Members of the group

Luigia Carlucci Aiello Giuseppe De Giacomo Luca Iocchi Paolo Liberatore

Thomas Lukasiewicz Daniele Nardi Fiora Pirri Riccardo Rosati Marco Schaerf

Collaborators

Shahram Bahadori Daniele Calisi Andrea Carbone Amedeo Cesta [CNR] Alessandro Farinelli Alberto Finzi Simone Fratini Giorgio Grisetti Riccardo Leone Toni Mancini

Angelo Oddi [CNR] Marcelo Oglietti Federico Pecora Fabio Patrizi Marco Pirrone Nicola Policella Massimo Romano Francesco Savelli Giorgio Ugazio Vittorio Amos Ziparo

Il suo grande valore scientifico, la sua passione, la sua dedizione, il suo sorriso, il suo coraggio ci mancheranno sempre. In memoria di Marco Cadoli

Selected papers

Paolo Liberatore. On polynomial sized MDP succinct policies. JAIR, 21:551-577, 2004.

A. Farinelli, L. Iocchi, and D. Nardi. Multi robot systems: A classification based on coordination. IEEE Transactions on System Man and Cybernetics (part B), 34(5):2015-2028, 2004.

Paolo Liberatore. Uncontroversial default logic. Journal of Logic and Computation, 14(5):747-765, 2004.

Paolo Liberatore and Marco Schaerf. The compactness of belief revision and update operators. Fundamenta Informaticae, 62:377-393, 2004.

Shahram Bahadori, Amedeo Cesta, Giorgio Grisetti, Luca Iocchi, Riccardo Leone, Daniele Nardi, Angelo Oddi, Federico Pecora, and Riccardo Rasconi. RoboCare: Pervasive Intelligence for the Domestic Care of the Elderly. Intelligenza Artificiale, 1(1):16-21, 2004.

Thomas Eiter and Thomas Lukasiewicz. Complexity results for explanations in the structural-model approach. Artificial Intelligence, 154(1-2):145-198, April 2004.

Gabriele Kern-Isberner and Thomas Lukasiewicz. Combining probabilistic logic programming with the power of maximum entropy. Artificial Intelligence, 157(1-2):139-202, August 2004.

Carlucci Aiello, Luigia and Dapor, Maurizio. Intelligenza Artificiale: i primi 50 anni. Mondo digitale, giugno 2004(2):3-20, 2004.

Sebastian Sardina, Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque. On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. Annals of Mathematics and Artificial Intelligence, Volume 41, n. 2-4, pp. 256-299, Kluwer Academic Publishers, 2004.

S. Bahadori, A. Cesta, L. Iocchi, G. R. Leone, D. Nardi, F. Pecora, R. Rasconi, and L. Scozzafava. Towards ambient intelligence for the domestic care of the elderly. In P. Remagnino, G. L. Foresti, and T. Ellis, editors, Ambient Intelligance: A Novel Paradigm. Springer, 2004.

A. Cesta, S. Fratini, and A. Oddi. Planning with Concurrency, Time and Resources: A CSP-Based Approach. In I. Vlahavas and D. Vrakas, editors, Intelligent Techniques for Planning, chapter 8, pages 259-295. Idea Group Publishing, 2004.

Marco Cadoli, Thomas Eiter and Georg Gottlob. Complexity of Nested Circumscription and Abnormality Theories, ACM Transactions on Computational Logic (TOCL), Volume 6, n. 2, pp. 232-272, 2005.

Marco Cadoli and Andrea Schaerf. Compiling problem specifications into SAT, Artificial Intelligence, pages 89-120, 2005.

Research Laboratories

SIED Laboratory. SIED Laboratory ("SIED" means "Intelligent Systems for Emercencies and civil Defense") is born from a collaboration between "Istituto Superiore Antincendi" and DIS with the goal to carry out activities to develop methodologies, techniques and tools to be used in rescue operations.
Person in charge: Daniele Nardi
Location: Via del Commercio, 13 (Istituto Superiore Antincendi), Roma.

Alcor Laboratory. The research in the ALCOR (Autoagents Laboratory for COgnitive Robotics) laboratory aims at explointing embodied agents able to interact with the environment with an intelligent fusion of learning, reasoning and active vision methodologies.
Person in charge: Fiora Pirri
Location: Via San Tarcisio, 77, Roma.

Ongoing Research Projects

"Implementazione dell'architettura di supervisione del Robot Antartico di Superficie (RAS)" (supported by ENEA)

"Sistemi di Simulazione e Robotici per l'Intervento in Scenari d'Emergenza" (partially supported by MIUR)

SPQR legged and wheeled robots