PLANSERVE Planning and Scheduling Techniques for the Intelligent Problem Solving Grid Planning and Scheduling Team ISTC-CNR National Research Council of.

Slides:



Advertisements
Similar presentations
Objectives to improve citizens awareness and comfort industrial competitiveness efficiency of public administrations by enhancing and supporting the use,
Advertisements

The e-Framework Bill Olivier Director Development, Systems and Technology JISC.
Digital inclusion – a CS perspective Alex Poulovassilis ESRC TLRP-TEL Inclusion and Impact conference, June 2010.
Map of Human Computer Interaction
A SharePoint site is a Web site that provides a central storage and collaboration space for documents, information, and ideas. A SharePoint site is a tool.
CS540 Software Design Lecture 1 1 Lecture 1: Introduction to Software Design Anita S. Malik Adapted from Budgen (2003) Chapters 1.
0 General information Rate of acceptance 37% Papers from 15 Countries and 5 Geographical Areas –North America 5 –South America 2 –Europe 20 –Asia 2 –Australia.
Effective Coordination of Multiple Intelligent Agents for Command and Control The Robotics Institute Carnegie Mellon University PI: Katia Sycara
Internet Reasoning Service: Progress Report Wenjin Lu and Enrico Motta Knowledge Media Institute Monica Crubézy Stanford Medical Informatics.
Introduction to HCC and HCM. Human Centered Computing Philosophical-humanistic position regarding the ethics and aesthetics of a workplace Any system.
R R R CSE870: Advanced Software Engineering (Cheng): Intro to Software Engineering1 Advanced Software Engineering Dr. Cheng Overview of Software Engineering.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
Susanne Biundo, Karen Myers, Kanna Rajan How is Planning & Scheduling Changing the World?
PLANSERVE Knowledge acquisition & Ontological engineering for AI Planning applications.
European Network of Excellence in AI Planning Technical Coordination Unit on Planning and Scheduling for the Web. Alfredo Milani.
Provisional draft 1 ICT Work Programme Challenge 2 Cognition, Interaction, Robotics NCP meeting 19 October 2006, Brussels Colette Maloney, PhD.
School of Computing and Mathematics, University of Huddersfield Knowledge Engineering: Issues for the Planning Community Lee McCluskey Department of Computing.
4. Interaction Design Overview 4.1. Ergonomics 4.2. Designing complex interactive systems Situated design Collaborative design: a multidisciplinary.
& CLP Group at Charles Uni. Roman Barták Charles University, Prague PLANSERVE.
Slide 1 Sterling Software Peter Sharer Sterling Software.
Pertemuan Matakuliah: A0214/Audit Sistem Informasi Tahun: 2007.
Systems Engineering Foundations of Software Systems Integration Peter Denno, Allison Barnard Feeney Manufacturing Engineering Laboratory National Institute.
Semantic Web for E-Science and Education Enrico Motta Knowledge Media Institute The Open University, UK.
GL12 Conf. Dec. 6-7, 2010NTL, Prague, Czech Republic Extending the “Facets” concept by applying NLP tools to catalog records of scientific literature *E.
Module 3: Business Information Systems
European Network of Excellence in AI Planning Project Overview Recent Developments & Future Work Susanne Biundo University of.
An Intelligent Broker Architecture for Context-Aware Systems A PhD. Dissertation Proposal in Computer Science at the University of Maryland Baltimore County.
New Task Group CRIS Architecture & Development Maximilian Stempfhuber RWTH Aachen University Library
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 18 Slide 1 Software Reuse.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.
FP OntoGrid: Paving the way for Knowledgeable Grid Services and Systems WP8: Use case 1: Quality Analysis for Satellite Missions.
S/W Project Management Software Process Models. Objectives To understand  Software process and process models, including the main characteristics of.
Beyond Intelligent Interfaces: Exploring, Analyzing, and Creating Success Models of Cooperative Problem Solving Gerhard Fischer & Brent Reeves.
Automatic Subject Classification and Topic Specific Search Engines -- Research at KnowLib Anders Ardö and Koraljka Golub DELOS Workshop, Lund, 23 June.
1 CS 456 Software Engineering. 2 Contents 3 Chapter 1: Introduction.
European Network of Excellence in AI Planning Intelligent Planning & Scheduling An Innovative Software Technology Susanne Biundo.
EIDA Project ( Proposal ) Research and Technical Background Emergency Intelligent Decision Assistant: Emergency Intelligent Decision Assistant: Toolkit.
Second Generation ES1 Second Generation Expert Systems Ahme Rafea CS Dept., AUC.
Deploying RAXEM2 Planning Improvements in Daily Work Practice Giulio Bernardi, Amedeo Cesta & Gabriella Cortellessa ISTC-CNR [PST] Institute for Cognitive.
Chapter 4 Realtime Widely Distributed Instrumention System.
Automated Assistant for Crisis Management Reflective Agent with Distributed Adaptive Reasoning RADAR.
The roots of innovation Future and Emerging Technologies (FET) Future and Emerging Technologies (FET) The roots of innovation Proactive initiative on:
Issues in (Financial) High Performance Computing John Darlington Director Imperial College Internet Centre Fast Financial Algorithms and Computing 4th.
Carnegie Mellon Interactive Resource Management in the COMIREM Planner Stephen F. Smith, David Hildum, David Crimm Intelligent Coordination and Logistics.
1 Introduction to Software Engineering Lecture 1.
Knowledge Representation of Statistic Domain For CBR Application Supervisor : Dr. Aslina Saad Dr. Mashitoh Hashim PM Dr. Nor Hasbiah Ubaidullah.
Tutoring & Help System CSE-435 Nicolas Frantzen CSE-435 Nicolas Frantzen.
Intelligent Robot Architecture (1-3)  Background of research  Research objectives  By recognizing and analyzing user’s utterances and actions, an intelligent.
APPLY FUNCTIONAL MODELING TO CONSEQUENCE ANALYSIS IN SUPERVISION SYSTEMS Present by Xinxin Zhang 1 Morten Lind 1, Giulio Gola 2,
COMM89 Knowledge-Based Systems Engineering Lecture 8 Life-cycles and Methodologies
Chapter 4 Decision Support System & Artificial Intelligence.
Intelligent Agent Framework1 From Chapter 7 of Constructing Intelligent Agents with Java.
1 Centre for Intelligent Systems and their Applications Division of Informatics, University of Edinburgh Draft for AKT July Workshop Jessica Chen-Burger.
Issues in Ontology-based Information integration By Zhan Cui, Dean Jones and Paul O’Brien.
Human-Centred Knowledge-Based Model Access Service for Engineers Peter Katranuschkov & Alexander Gehre TU Dresden, Germany CIB W78 Conference Aarhus.
Stages of design  High level design  High level data structure  Architecture  Low level design-code design  Algorithms  Low level data structures.
Introduction Complex and large SW. SW crises Expensive HW. Custom SW. Batch execution Structured programming Product SW.
Module Road Safety Program Management Identify strategies for establishing and sustaining effective multidisciplinary collaborative relationships.
From Use Cases to Implementation 1. Structural and Behavioral Aspects of Collaborations  Two aspects of Collaborations Structural – specifies the static.
EMEA Beat Schwegler Architect Microsoft EMEA HQ Ingo Rammer Principal Consultant thinktecture
Automated Assistant for Crisis Management (Reflective Agent with Distributed Adaptive Reasoning) RADAR.
Choosing a Formal Method Mike Weissert COSC 481. Outline Introduction Reasons For Choosing Formality Application Characteristics Criteria For A Successful.
Jessica Chen-Burger Aberdeen/Edinburgh AKT TIE Distributed Knowledge-based Manipulation and Collaboration Jessica Chen-Burger AIAI, University of Edinburgh.
From Use Cases to Implementation 1. Mapping Requirements Directly to Design and Code  For many, if not most, of our requirements it is relatively easy.
Effective Coordination of Multiple Intelligent Agents for Command and Control The Robotics Institute Carnegie Mellon University PI: Katia Sycara
Planetary Data Archiving Activities at the Italian Space Agency (ASI) Maria Teresa Capria INAF – IAPS, Rome, Italy Paolo Giommi ASI, Rome, Italy International.
Visualizing Complex Software Systems
Software Agents are Software Components
Toward a Reliable Evaluation of Mixed-Initiative Systems
Map of Human Computer Interaction
Presentation transcript:

PLANSERVE Planning and Scheduling Techniques for the Intelligent Problem Solving Grid Planning and Scheduling Team ISTC-CNR National Research Council of Italy Viale Marx 15, I Rome, Italy

Planning and ISTC-CNR Different aspects of research and development –Algorithms for Planning and Scheduling (P&S) integration of P&S algorithms Constraint-based reasoning –temporal and resource reasoning –Interactive Problem Solving how to include the user in the loop –Space applications OOSCAR project (ASI - Italian Space Agency) MEXAR Interactive Support for Mission Planning in MARS EXPRESS (ESA project ended in July 2002) Collaborations: –University of Rome “La Sapienza” –Robotics Institute, Carnegie Mellon University, Pittsburgh, USA

Present Projects ASI (Italian Space Agency) -- Basic research funds –SACSO: SAfety Critical Software for robotics (JERRY) –Contraint-Based Continuous Planning (O-OSCAR and beyond) DOVES ARISCOM MIUR (Italian Ministry for Education University and Research) –Multi-agent systems with software and robotic agents for “socially relevant” applications

PST Members CNR Research Scientists –Amedeo Cesta –Angelo Oddi PhD Students –Gabriella Cortellessa –Nicola Policella –Simone Fratini Research Assistants –Federico Pecora –Riccardo Rasconi

IPSG Prototype: our role Problem Solver 1 Problem Solver 2 Problem Solver N Domain Analyser 1 Domain Analyser 2 Domain Analyser N Application Ontology 1 Application Ontology 2 Application Ontology N IPSG Interface Knowledge Acquisition Agent Solver Agent CLIENT

Potential Contributions Definition of the class of Planning and Scheduling (P&S) problems involved. –A particular case is the integration of planning and scheduling algorithms Solver Agent –Representation of the solver configurations –Domain analysis and mapping problems in to solver configurations –Selection and integration of the software modules Software infrastructure

Planning and Scheduling Problems A first problem is the definition of the class of scheduling and planning problems that we can solve. A selection from the current literature of the best planning and scheduling algorithms. This selection must be consider the availability of free and robust implementation of the algorithms.

Planning and Scheduling Solvers A particular case is the integration of planning and scheduling algorithms. We have some experience on component integration for scheduling architectures and are doing right now some research for understanding different ways for integrating a generic planner with one or more scheduling algorithms. –Classical Planners + OOSCAR –Graph Plan-based planners + OOSCAR

Domain Analysers A Domain Analyser should bridge the gap between problems and solver configurations. Several issues are involved: –Classification of the set of possible P&S domain problems (e.g, with respect to the type of temporal and resource constraints, the level of temporal flexibility, the degree of parallelism of the actions, etc.) –A representation of the solver configurations –A mechanism for mapping problems in to solvers

Software Infrastructure A fundamental problem is how "put" together all the modules in a way that they can communicate each other, refer to a common representation of the problems and be combined in different ways. Several issues are involved in this phase, one is the choice of a software infrastructure for the communication: –For example, ACE (the Adaptive Communication Environment)

Comments and Conclusions Integration of P&S algorithms should have an important role We still lack of some strong examples: –the role of the P&S technologies in the SMEs –with and without KE services HCI techniques should have a greater role Advanced features: –mixed-initiative tool for the generation of solver configurations; –dynamic and adaptive mapping between problems and solvers.