Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases

There is extensive theoretical work on measures of inconsistency for arbitrary formulae in knowledge bases. Many of these are defined in terms of the set of minimal inconsistent subsets (MISes) of the base. However, few have been implemented or experimentally evaluated to support their viability, since computing all MISes is intractable in the worst case. Fortunately, recent work on a related problem of minimal unsatisfiable sets of clauses (MUSes) offers a viable solution in many cases. In this paper, we begin by drawing connections between MISes and MUSes through algorithms based on a MUS generalization approach and a new optimized MUS transformation approach to finding MISes. We implement these algorithms, along with a selection of existing measures for flat and stratified knowledge bases, in a tool called mimus. We then carry out an extensive experimental evaluation of mimus using randomly generated arbitrary knowledge bases. We conclude that these measures are viable for many large and complex random instances. Moreover, they represent a practical and intuitive tool for inconsistency handling.

A Characteristic Function Approach to Inconsistency Measures for Knowledge Bases.

Knowledge is an important component in many intelligent systems.
Since items of knowledge in a knowledge base can be conflicting, especially if
there are multiple sources contributing to the knowledge in this base, significant
research efforts have been made on developing inconsistency measures for
knowledge bases and on developing merging approaches. Most of these efforts
start with flat knowledge bases. However, in many real-world applications, items
of knowledge are not perceived with equal importance, rather, weights (which
can be used to indicate the importance or priority) are associated with items of
knowledge. Therefore, measuring the inconsistency of a knowledge base with
weighted formulae as well as their merging is an important but difficult task. In
this paper, we derive a numerical characteristic function from each knowledge
base with weighted formulae, based on the Dempster-Shafer theory of evidence.
Using these functions, we are able to measure the inconsistency of the knowledge
base in a convenient and rational way, and are able to merge multiple knowledge
bases with weighted formulae, even if knowledge in these bases may be
inconsistent. Furthermore, by examining whether multiple knowledge bases are
dependent or independent, they can be combined in different ways using their
characteristic functions, which cannot be handled (or at least have never been
considered) in classic knowledge based merging approaches in the literature.

The effects of consistency and inconsistency between attentional focus and task objective in learning a golf putting task

Converging evidence has demonstrated learning advantages when an individual is instructed to focus their attention externally. However, many of the motor tasks utilized in past research had clear external objectives (i.e., putting accuracy), creating a compatible relationship between an external focus of attention (i.e., outcome) and an external task objective (i.e., putting accuracy). The present study examined whether or not the consistency of instructions and task objective would differentially impact the acquisition of a golf putting task. Participants performed a putting task in a control condition or in one of four experimental conditions resulting from the factorial interaction of task instructions (internal or external) and task objective (internal or external). The retention and transfer data revealed that participants who received an external task objective demonstrated superior outcome scores. Participants who received technique information paired with outcome information demonstrated superior technique scores.

Positional inconsistency: a new concept in social stratification

Includes bibliography

Did Impending War in Europe Help Destroy the Gold Bloc in 1936? An Internal Inconsistency Hypothesis

This paper investigates the gold bloc operated between France, the Netherlands, Switzerland and Belgium, especially over the period after the USA left the gold standard in March 1933 to its end in September 1936. It enquires into the effect of military-political developments in Germany and Italy on the sustainability of the gold bloc between its members. Juxtaposed is the view of leading political scientists, such as Henry Kissinger, who see impending war in Europe as deeply and adversely affecting psychology in Europe, and what may be called the standard "economists' view" that sees the demise of the gold bloc as being caused almost exclusively by economic factors. Developing concepts of external and internal inconsistency of the gold bloc, this investigation concludes that both economic and military-political developments played important roles in destroying the last vestiges of the gold standard.

Arguments proving the inconsistency and impolicy of granting to foreigners the right of voting; abstracted from a pamphlet published in the year 1810, by a disciple of the Washington School, and one who is personally a warm friend of the Irish.

Mode of access: Internet.