Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Centre for Intelligent Systems and their Applications About CISA Automated Ontology Evolution In CISA we investigate how knowledge can be formally represented and reasoning can be automated. This is part of the foundations for the computational fabric that supports modern industry and society. It is also a major driving force for change, in areas such as multi-agent systems and reasoning on the Web. There is a strong interaction between theory and application; CISA covers the spectrum from abstract research using logics and theorem proving methods through to systems oriented research. Ontologies contain structured formal knowledge to support automated reasoning and distributed agent interactions, and to infer new knowledge. Ontological domains and application goals change over time and ontologies must be maintained regularly. This work describes automated and semiautomated approaches to resolve ontological concept mis-matching, contradiction isolation, conflict resolution, theorem proving and proof repair, automated ontology repair. Relevant systems are Cynthia, HRL, ORS, Galileo; an example project is Wheelbarrow. The Research @ National eScience Centre is a new addition to AIAI CISA’s Artificial Intelligence Applications Institute is a world-leading knowledge transfer and research centre, specialising in intelligent systems, planning and workflow, intelligent virtual worlds, collaborative and bioinformatics systems. CISA. Our mission is to advance methods that harness distributed data and computation in collaborative environments. Our goal is to support the life cycle of data to information and to knowledge in a multidisciplinary and multi-organisational context. To achieve this, we pursue research in eScience and Informatics and apply our ideas in several scientific and industrial domains. www.openk.org Open Knowledge was funded by EU. It developes innovative peer-to-peer platform technologies for distributed systems. It provides standard agent wrappers and interaction protocols underpinned by formal process logics. These technologies are applied to many different application domains, e.g. proteomics, astrophysics, emergency response, clinical protocol systems, healthcare delivery and trading over grid services. Rapid is funded by EPSRC and JISC. It designs and delivers portal interfaces to enable application executions that use remote computational resources. It provides solutions for brain imaging, chemistry, seismology, microscopy and engineering. www.cisa.inf.ed.ac.uk