Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Automating Signature Evolution in Logical Theories
Authors: Alan Bundy
Date:Jul 2008
Publication Title:Intelligent Computer Mathematics
Publisher:Springer Berlin / Heidelberg
Publication Type:Book Chapter Publication Status:Published
Volume No:5144/2008 Page Nos:333-338
DOI:10.1007/978-3-540-85110-3_29 ISBN/ISSN:978-3-540-85109-7
The automation of reasoning as deduction in logical theories is well established. Such logical theories are usually inherited from the literature or are built manually for a particular reasoning task. They are then regarded as fixed. We will argue that they should be regarded as fluid. 1 As Plya and others have argued, appropriate representation is the key to successful problem solving [Plya, 1945]. It follows that a successful problem solver must be able to choose or construct the representation best suited to solving the current problem. Some of the most seminal episodes in human problem solving required radical representational change. 2 Automated agents use logical theories called ontologies. For different agents to communicate they must align their ontologies. When a large, diverse and evolving community of autonomous agents are continually engaged in online negotiations, it is not practical to manually pre-align the ontologies of all agent pairs - it must be done dynamically and automatically. 3 Persistent agents must be able to cope with a changing world and changing goals. This requires evolving their ontologies as their problem solving task evolves. The W3C call this ontology evolution.
2008 by Springer Berlin/Heidelberg. All Rights Reserved
Non-exclusive electronic rights retained.
Links To Paper
1st Link
Bibtex format
author = { Alan Bundy },
title = {Automating Signature Evolution in Logical Theories},
book title = {Intelligent Computer Mathematics},
publisher = {Springer Berlin / Heidelberg},
year = 2008,
month = {Jul},
volume = {5144/2008},
pages = {333-338},
doi = {10.1007/978-3-540-85110-3_29},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh