PLANSERVE – An Intelligent Problem Solving Grid Lee McCluskey and Ron Simpson Artform Research Group, Department of Computing And Mathematical Sciences.

Slides:



Advertisements
Similar presentations
Ontology-Based Computing Kenneth Baclawski Northeastern University and Jarg.
Advertisements

CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
Semantic Web Thanks to folks at LAIT lab Sources include :
The Semantic Web – WEEK 4: RDF
CS570 Artificial Intelligence Semantic Web & Ontology 2
By Ahmet Can Babaoğlu Abdurrahman Beşinci.  Suppose you want to buy a Star wars DVD having such properties;  wide-screen ( not full-screen )  the extra.
SIG2: Ontology Language Standards WebOnt Briefing Ian Horrocks University of Manchester, UK.
Using the Semantic Web to Construct an Ontology- Based Repository for Software Patterns Scott Henninger Computer Science and Engineering University of.
ICKEP International Competition for Knowledge Engineering in Planning - A PROPOSAL Lee McCluskey KE TCU.
The Semantic Web: Implications for Future Intelligent Systems Lee McCluskey, Artform Research Group, Department of Computing And Mathematical Sciences,
Knowledge and Systems Research Group, University of Huddersfield B vs OCL: Comparing Specification Languages for Planning Domains Diane Kitchin, Lee McCluskey,
The Semantic Web Week 13 Module Website: Lecture: Knowledge Acquisition / Engineering Practical: Getting to know.
Semantic Web Tools for Authoring and Using Analysis Results Richard Fikes Robert McCool Deborah McGuinness Sheila McIlraith Jessica Jenkins Knowledge Systems.
The Semantic Web – WEEK 5: RDF Schema + Ontologies The “Layer Cake” Model – [From Rector & Horrocks Semantic Web cuurse]
Lee McCluskey, University of Huddersfield - EKAW'04 Knowledge Formulation for AI Planning Lee McCluskey Ron Simpson Artform research group Department of.
PDDL: A Language with a Purpose? Lee McCluskey Department of Computing and Mathematical Sciences, The University of Huddersfield.
Modelling Conceptual Knowledge using Logic - Week 6 Lee McCluskey Department of Computing and Mathematical Sciences University of Huddersfield.
School of Computing and Mathematics, University of Huddersfield Knowledge Engineering: Issues for the Planning Community Lee McCluskey Department of Computing.
The Semantic Web Week 1 Module Content + Assessment Lee McCluskey, room 2/07 Department of Computing And Mathematical Sciences Module.
Semantic Web Mobile Internet Technical Architecture Omair Javed Institute of Software Systems Tampere University of Technology.
The Semantic Web Week 12 Term 1 Recap Lee McCluskey, room 2/07 Department of Computing And Mathematical Sciences Module Website:
ICKEP International Competition for Knowledge Engineering in Planning Lee McCluskey PLANET Knowledge Engineering.
School of Computing and Mathematics, University of Huddersfield PDDL and other languages.. Lee McCluskey Department of Computing and Mathematical Sciences,
Department of Computer Science, University of Maryland, College Park 1 Sharath Srinivas - CMSC 818Z, Spring 2007 Semantic Web and Knowledge Representation.
PLANSERVE – The State of Play – June ‘03 Lee McCluskey The University of Huddersfield, UK.
1 Semantic Web Mining Presented by: Chittampally Vasanth Raja 10IT05F M.Tech (Information Technology)
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
Knowledge Management in Geodise Geodise Knowledge Management Team Liming Chen, Barry Tao, Colin Puleston, Paul Smart University of Southampton University.
RDF (Resource Description Framework) Why?. XML XML is a metalanguage that allows users to define markup XML separates content and structure from formatting.
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
Semantic Web outlook and trends May The Past 24 Odd Years 1984 Lenat’s Cyc vision 1989 TBL’s Web vision 1991 DARPA Knowledge Sharing Effort 1996.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Towards Translating between XML and WSML based on mappings between.
EXCS Sept Knowledge Engineering Meets Software Engineering Hele-Mai Haav Institute of Cybernetics at TUT Software department.
Knowledge representation
Clément Troprès - Damien Coppéré1 Semantic Web Based on: -The semantic web -Ontologies Come of Age.
The Semantic Web Service Shuying Wang Outline Semantic Web vision Core technologies XML, RDF, Ontology, Agent… Web services DAML-S.
Of 39 lecture 2: ontology - basics. of 39 ontology a branch of metaphysics relating to the nature and relations of being a particular theory about the.
INF 384 C, Spring 2009 Ontologies Knowledge representation to support computer reasoning.
RDF and OWL Developing Semantic Web Services by H. Peter Alesso and Craig F. Smith CMPT 455/826 - Week 6, Day Sept-Dec 2009 – w6d21.
PLANSERVE - overview of an EU proposal for the “Future and Emerging Technologies” Program Lee McCluskey Artform Research.
February 20, AgentCities - Agents and Grids Prof Mark Baker ACET, University of Reading Tel:
Teranode Tools and Platform for Pathway Analysis Michael Kellen, Solution Manager June 16, 2006.
EU Project proposal. Andrei S. Lopatenko 1 EU Project Proposal CERIF-SW Andrei S. Lopatenko Vienna University of Technology
© DATAMAT S.p.A. – Giuseppe Avellino, Stefano Beco, Barbara Cantalupo, Andrea Cavallini A Semantic Workflow Authoring Tool for Programming Grids.
Semantic Web - an introduction By Daniel Wu (danielwujr)
©Ferenc Vajda 1 Semantic Grid Ferenc Vajda Computer and Automation Research Institute Hungarian Academy of Sciences.
A Context Model based on Ontological Languages: a Proposal for Information Visualization School of Informatics Castilla-La Mancha University Ramón Hervás.
Lifecycle Metadata for Digital Objects November 1, 2004 Descriptive Metadata: “Modeling the World”
Grid Computing & Semantic Web. Grid Computing Proposed with the idea of electric power grid; Aims at integrating large-scale (global scale) computing.
NA-MIC National Alliance for Medical Image Computing UCSD: Engineering Core 2 Portal and Grid Infrastructure.
EEL 5937 Ontologies EEL 5937 Multi Agent Systems Lecture 5, Jan 23 th, 2003 Lotzi Bölöni.
Ontology-Based Computing Kenneth Baclawski Northeastern University and Jarg.
Christoph F. Eick University of Houston Organization 1. What are Ontologies? 2. What are they good for? 3. Ontologies and.
Metadata Schema for CERIF Andrei Lopatenko Vienna University of Technology
Artificial Intelligence 2004 Ontology
User Profiling using Semantic Web Group members: Ashwin Somaiah Asha Stephen Charlie Sudharshan Reddy.
Of 33 lecture 1: introduction. of 33 the semantic web vision today’s web (1) web content – for human consumption (no structural information) people search.
1 Class exercise II: Use Case Implementation Deborah McGuinness and Peter Fox CSCI Week 8, October 20, 2008.
The Semantic Web. What is the Semantic Web? The Semantic Web is an extension of the current Web in which information is given well-defined meaning, enabling.
A Portrait of the Semantic Web in Action Jeff Heflin and James Hendler IEEE Intelligent Systems December 6, 2010 Hyewon Lim.
WonderWeb. Ontology Infrastructure for the Semantic Web. IST Project Review Meeting, 11 th March, WP2: Tools Raphael Volz Universität.
Enable Semantic Interoperability for Decision Support and Risk Management Presented by Dr. David Li Key Contributors: Dr. Ruixin Yang and Dr. John Qu.
Cyberinfrastructure Overview of Demos Townsville, AU 28 – 31 March 2006 CREON/GLEON.
XML and Distributed Applications By Quddus Chong Presentation for CS551 – Fall 2001.
The Semantic Web By: Maulik Parikh.
Building the Semantic Web
ece 627 intelligent web: ontology and beyond
Multi-agent system for web services
Semantic Web - Ontologies
RDF For Semantic Web Dhaval Patel 2nd Year Student School of IT
Presentation transcript:

PLANSERVE – An Intelligent Problem Solving Grid Lee McCluskey and Ron Simpson Artform Research Group, Department of Computing And Mathematical Sciences

Artform Research Group CONTENTS + RESOURCES 1. Background to PLANSERVE - a EU project at the proposal stage conceived + led at Huddersfield 2. PLANSERVE overview 3. Feasibility & related technologies 4. Summary Resources for today’s subject: n Click “Recent Talks” in my home page – slides from seminars on the Semantic Web (Oct 2002) and Ontologies (March 2001) as well as this one!

Artform Research Group BACKGROUND There have been some high profile, very successful applications involving “intelligent software” recently. Best known – NASA’s Remote Agent Experiment, where a spacecraft was input: high level mission goals each day And reasoning with knowledge of its environment, and sensor information, the software synthesised: instructions to control the spacecraft’s operations

Artform Research Group BACKGROUND There have been great technological advances in intelligent reasoning algorithms in the last 10 years – eg planning algorithms that can handle many forms of reasoning to do with eg time, resources, uncertainty, can solve problems orders of magnitude larger than previously.

Artform Research Group BACKGROUND But there are STILL few software applications that embody some kind of high level intelligent behaviour such as learning, planning and problem solving EG there are lots of “mundane” applications that could benefit – - Workflow management - Resource scheduling - Travel planning WHY?

Artform Research Group BACKGROUND major reasons: -- knowledge acquisition bottleneck: ‘intelligent’ reasoning requires an application ‘knowledge base’, and the area of (autonomous) knowleck dge acquisition is still poor! New forms of reasoning / intelligent process have had to have new hand-crafted knowledge bases built for them for each application area in which they are need to work. -- ‘General’ reasoning systems don’t scale up: The high profile successes tend to be in very narrow applications such as in Chess or Expert Systems NASA (intelligent space applications) and SRI (military applications) use teams of very bright knowledge engineers to craft knowledge bases

Artform Research Group 2. The Answer: PLANSERVE Is an EU Framework 6 project proposal conceived by the authors to solve all these problems!! We aim to bring intelligent reasoning services [for solving problems that involve reasoning about time, actions, events, goals, activities, and resources] to the desktop of any scientist or engineer, and make them available as web services to intelligent agents.

Artform Research Group PLANSERVE INTERFACE SOLVER - 2 SOLVER - 1 SOLVER - N APPICATION ONTOLOGIES UPPER ONTOLOGIES SOLVER AGENT MODEL BUILDER -IDENTIFY PROBLEM TYPE -BUILD UP DOMAIN MODEL -GENERATE A PROBLEM-SOLVING SERVICE USER – SCIENTIST, SOFTWARE ENGINEER WEB AGENTS …….

Artform Research Group 3. Feasibility: related technologies The PLANSERVE idea is only feasible because of the continued development in: n 3.1 Semantic Web n 3.2 Ontologies n 3.3 The KBS ‘bottleneck’ solution: n 3.4 Grid Computing n Advances in reasoning technology + support from a large European group of establishments!

Artform Research Group 3.1 Semantic Web n The Semantic Web is the Vision of an internet with resources that are machine understandable or accessible to automated processes - machines should do much more than present the information visually or do human- consumable IR. n Already very high level languages are being designed for a semantic web with very rich web languages (with XML as “machine code”) n The SW will be a bit like an enormous distributed OODB with SW services acting like operations n The Semantic Web’s dynamic, boundless aspects coupled with structured descriptions of info and processes will present great opportunities for research and developers of AI technology (as well as much else!)

Artform Research Group SW Base Level - the Resource Description Framework RDF is a convention for describing meta-data. It’s a ‘lightweight’ model in data terms - and one that can be encoded in XML. It is based on n everything having a URI = Universal Resource Identifier n Properties - resources with a ‘name’ such as slots in an object frame n An RDF document is a series of Statements - (Resource, Property, Value)

Artform Research Group RDF example RDF ~ set of (Resource, Property, Value) "The Author of is Lee McCluskey.” IN RDF: Lee McCluskey Resource, Property, Values can all have URI’s

Artform Research Group RDFS, DAML RDF Schema = RDF + classes, properties of properties, etc - gives more structure to RDF This would make the Semantic Web look like one enormous distributed OODB… DAML = Darpa Agent markup language ~ RDFS + some logic

Artform Research Group Hierarchy of Languages DAML RDFS RDF XML

Artform Research Group Semantic Web for Services + PLANSERVE Currently web services don’t formally advertise their semantics eg as pre and post conditions. SW languages will allow an expressive and standard way of doing this. The I/O of Planserve will be also require a rich knowledge-based language encoded in a suitable SW language such as DAML. This will make it easily accessible over the internet.

Artform Research Group 3.2 Ontologies n RDF/RDFS allows anyone to write their own name-space document (a ‘schema’). This defines properties and classes in some application domain. These form vocabularies which can be used globally for sharing the meaning of tags An ‘Ontology’ is an agreed upon, shared, common understanding of a ‘conceptual domain’ written as an explicit, formal specification. It can be implemented as an RDFS vocabulary.

Artform Research Group Ontologies - background n First used for Knowledge-Sharing in KBS, it seems that many scientific areas are creating their own Ontologies (even Genomics!!) They can be as simple as a ‘concept hierarchy’ or as complex as an axiomatic theory of sets. n There are various kinds of ontology: u ‘upper’ ontology representing common sense knowledge; u representation ontology - axiomatization of basic operations used in many applications u application ontology representing shared knowledge of an application domain. Shared Understanding - Expressive - Formal - Focussed

Artform Research Group Oil ( Ontology Infrastructure Language) Oil is a web-integrated prototype standard for specifying Ontologies OIL Frame- based (OO) language Based on Web Standards XML and RDF(S) Description-logic- based semantics and reasoning Tool Support e.g. Oiled

Artform Research Group DAML+Oil example Define a "product number"'s domain and range.. Product Number <rdfs:range rdf:resource= " ”Availability" is a sort of enumerated type.. In stock Back ordered Special order

Artform Research Group Ontologies + PLANSERVE The growth of the Ontology area should facilitate the access and usability of application domain models...as the creation of application ontologies becomes more common in science, one might think of an application ontology as being an input to Planserve.

Artform Research Group 3.3 The KBS ‘bottleneck’ n The KBS ‘bottleneck’ was the problem of acquiring, validating and engineering enough specific (expert) knowledge to make a KBS useful. n Apparently the solutions are : u knowledge base and problem solver connectivity via language and interface conventions (eg KB API’s such as OKBC, PDDL and their XML equivalents) u knowledge re-use and knowledge sharing via F ontologies F the use of generic problem solving methods and components.

Artform Research Group 3.4 Grid Computing Grid computing is the deployment of huge amounts of distributed computing power to the solution of scientific tasks that demand such resources. n PLANSERVE will require a great deal of distributed computing power. Hence we will need to derive a grid architecture to support the distribution and flow of knowledge acquisition, knowledge revision, and knowledge- based problem solving. n In using Grid Computing to solve major scientific tasks, a major process is to generate a workflow - an ordered configuration of computational components to achieve the task. An application of the PLANSERVE itself would be to automate this process of Workflow Generation.

Artform Research Group 3.5 The Consortium: n Universities: Huddersfield, Ulm, Open, Salford, Madrid, Granada, Troyes, Prague, Brescia, Perugia, Macedonia, Ankara, Porto, Marseilles, Cyprus n Research Institutes + Companies: Atos-origin Netherlands, NCR Rome, Institute of Graphics Darmstadt, DAI Laboratory Berlin, IKERLAN Spain, National Aerospace Laboratory Netherlands, LabAge Belgium, COSYTEC France

Artform Research Group 4. Summary We are hoping to embark on a VERY ambitious project in prototyping PLANSERVE involving n The Semantic Web n Ontologies n KBS technologies and language standards n Grid Computing and Infrastructure n Intelligent reasoning technology Everyone is welcome to get involved!