Theory formation by abduction : initial results of a case study based on the chemical revolution

Abduction is the process of constructing explanations. This chapter suggests that automated abduction is a key to advancing beyond the "routine theory revision" methods developed in early AI research towards automated reasoning systems capable of "world model revision" — dramatic changes in systems of beliefs such as occur in children's cognitive development and in scientific revolutions. The chapter describes a general approach to automating theory revision based upon computational methods for theory formation by abduction. The approach is based on the idea that, when an anomaly is encountered, the best course is often simply to suppress parts of the original theory thrown into question by the contradiction and to derive an explanation of the anomalous observation based on relatively solid, basic principles. This process of looking for explanations of unexpected new phenomena can lead by abductive inference to new hypotheses that can form crucial parts of a revised theory. As an illustration, the chapter shows how some of Lavoisier's key insights during the Chemical Revolution can be viewed as examples of theory formation by abduction

Theory formation by abduction : a case study based on the chemical revolution

Abduction is the process of constructing explanations. This chapter suggests that automated abduction is a key to advancing beyond the "routine theory revision" methods developed in early AI research towards automated reasoning systems capable of "world model revision" - dramatic changes in systems of beliefs such as occur in children's cognitive development and in scientific revolutions. The chapter describes a general approach to automating theory revision based upon computational methods for theory formation by abduction. The approach is based on the idea that, when an anomaly is encountered, the best course is often simply to suppress parts of the original theory thrown into question by the contradiction and to derive an explanation of the anomalous observation based on relatively solid, basic principles. This process of looking for explanations of unexpected new phenomena can lead by abductive inference to new hypotheses that can form crucial parts of a revised theory. As an illustration, the chapter shows how some of Lavoisier's key insights during the Chemical Revolution can be viewed as examples of theory formation by abduction

Advanced Architectures for Transactional Workflows or Advanced Transactions in Workflow Architectures

In this short paper, we outline the workflow management systems research in the Information Systems division at the University of Twente. We discuss the two main themes in this research: architecture design and advanced transaction management. Attention is paid to the coverage of these themes in the context of the completed Mercurius and WIDE projects and in the new CrossFlow project. In the latter project, contracts are introduced as a new theme to support electronic commerce aspects in workflow management

John Lilburne and the Long Parliament

This piece reinterprets the career of the Leveller, John Lilburne, during the English Civil War, by re-examining the official sources pertaining to him, and the multitude of pamphlets written by himself and his enemies. The article recovers the chronology of Lilburne's story, by stripping away the layers of propaganda with which he later surrounded himself. It shows that he had powerful friends at Westminster, and that his tribulations were caused by political rivalries within Westminster rather than his development of a radical political theory. He is shown to have formed part of the Independent alliance during the mid-1640s, although his protected position was eventually imperilled by the fracturing of this group after the end of the first Civil War. The aim is to improve not just our understanding of Lilburne, but the complexity of parliamentarian politics during the 1640s

Order and disorder in Europe: Parliamentary agents and Royalist thugs 1649-1650

After the execution of Charles I in 1649 a series of daring and desperate attempts were made on the lives of agents and ambassadors dispatched to continental Europe by the fledgling republic. This essay explores the evidence relating to these plots, and to the murders of Isaac Dorislaus and Anthony Ascham, in an attempt to show that the royalists responsible were not merely desperadoes seeking revenge for the murder of their king, but the employees and emissaries of prominent exiled courtiers. The complicity of Montrose, Cottington and Hyde in such conspiracy can be both documented and explained, in the context of the struggle for diplomatic recognition and financial assistance in the months of shock, outrage and uncertainty after the regicide. The concerns of diplomacy and high politics which lay behind these plots also helped to determine the reaction of European leaders, as it gradually became clear on whose side fortune smiled in Britain

Authors Losing Control: The European Transformations of Henry Neville’s 'The Isle of Pines' (1668)

Henry Neville’s utopian travel narrative The Isle of Pines, first published in London in June 1668, became an instant bestseller on the European market. Within a few months more than twenty foreign editions were printed in five western European languages, and numerous responses, commentaries, and adaptations followed over the years, leaving the reader wondering whether the story was fact, fiction, or something else entirely. This essay traces the complex transformations of this successful pamphlet as it traveled across the Continent in an attempt to shed new light on its contemporary impact and significance outside of England. In an attempt to shed new light on its contemporary impact and significance outside of England