KMi Publications

Tech Reports

Tech Report kmi-95-09 Abstract


Solving VT in VITAL: A Study in Model Construction and Knowledge Reuse
Techreport ID: kmi-95-09
Date: 1995
Author(s): Enrico Motta, *Kieron O'Hara, *Nigel Shadbolt, Arthur Stutt and Zdenek Zdrahal
Download Postscript

In this paper we discuss a solution to the Sisyphus II elevator design problem developed using the VITAL approach to structured knowledge-based system development. In particular we illustrate in detail the process by which an initial model of Propose&Revise problem solving was constructed using a generative grammar of model fragments and then refined and operationalised in the VITAL operational conceptual modelling language (OCML). In the paper we also discuss in detail the properties of a particular Propose&Revise architecture, called 'Complete-Model-then-Revise', and we show that it compares favourably in terms of competence with alternative Propose&Revise models. Moreover, using as an example the VT domain ontology provided as part of the Sisyphus II task, we critically examine the issues affecting the development of reusable ontologies. Finally, we discuss the performance of our problem solver and we show how we can use machine learning techniques to uncover additional strategic knowledge not present in the VT domain. *Artificial Intelligence Group, Dept. of Psychology, University of Nottingham University Park, Nottingham, NG7 2RD. U.K. nrs@psychology.nottingham.ac.uk The VITAL project is a 4.5 year research and development enterprise involving seven organisations drawn from four countries. The total effort invested is about 80 man-years. VITAL is partially funded by the ESPRIT Program of the Commision of the European Communities, as project number 5365. The partners in the VITAL project are the following: Syseca Temps Reel (F), Bull Cediag (F), Onera (F), The Open University (UK), University of Nottingham (UK), University of Helsinki (SF), and Andersen Consulting (E).

Publication(s):

International Journal of Human-Computer Studies, Special Issue on the VT Elevator Design Problem. Vol. 44 (3-4). March-April 1996.
 
KMi Publications Event | SSSW 2013, The 10th Summer School on Ontology Engineering and the Semantic Web Journal | 25 years of knowledge acquisition
 

Future Internet is...


Future Internet
With over a billion users, today's Internet is arguably the most successful human artifact ever created. The Internet's physical infrastructure, software, and content now play an integral part of the lives of everyone on the planet, whether they interact with it directly or not. Now nearing its fifth decade, the Internet has shown remarkable resilience and flexibility in the face of ever increasing numbers of users, data volume, and changing usage patterns, but faces growing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scientific research, physical infrastructure investment, better education, and better utilisation of the Internet. Within Japan, USA and Europe major new initiatives have begun in the area.

To succeed the Future Internet will need to address a number of cross-cutting challenges including:

  • Scalability in the face of peer-to-peer traffic, decentralisation, and increased openness

  • Trust when government, medical, financial, personal data are increasingly trusted to the cloud, and middleware will increasingly use dynamic service selection

  • Interoperability of semantic data and metadata, and of services which will be dynamically orchestrated

  • Pervasive usability for users of mobile devices, different languages, cultures and physical abilities

  • Mobility for users who expect a seamless experience across spaces, devices, and velocities