Over the past five years the Artificial Intelligence Center at SRI has been developing a new technology to address the problem of automated information management within real- world contexts. The result of this work is a body of techniques for automated reasoning from evidence that we call evidential reasoning. The techniques are based upon the mathematics of belief functions developed by Dempster and Shafer and have been successfully applied to a variety of problems including computer vision, multisensor integration, and intelligence analysis.
We have developed both a formal basis and a framework for implementating automated reasoning systems based upon these techniques. Both the formal and practical approach can be divided into four parts: (1) specifying a set of distinct propositional spaces, (2) specifying the interrelationships among these spaces, (3) representing bodies of evidence as belief distributions, and (4) establishing paths of the bodies for evidence to move through these spaces by means of evidential operations, eventually converging on spaces where the target questions can be answered. These steps specify a means for arguing from multiple bodies of evidence toward a particular (probabilistic) conclusion. Argument construction is the process by which such evidential analyses are constructed and is the analogue of constructing proof trees in a logical context.
This technology features the ability to reason from uncertain, incomplete, and occasionally inaccurate information based upon seven evidential operations: fusion, discounting, translation, projection, summarization, interpretation, and gisting. These operation are theoretically sound but have intuitive appeal as well.
In implementing this formal approach, we have found that evidential arguments can be represented as graphs. To support the construction, modification, and interrogation of evidential arguments, we have developed Gister. Gister provides an interactive, menu-driven, graphical interface that allows these graphical structures to be easily manipulated.
Our goal is to provide effective automated aids to domain experts for argument construction. Gister represents our first attempt at such an aid. 相似文献
ABSTRACTIntimate partner violence (IPV) is currently recognized as a critical public health concern and a human rights issue. Not surprisingly, Muslims – a religiously and socio-culturally diverse faith-based populace – are not an exception. To address this complex area of criminal justice and social policy, some scholars advocate implementing restorative justice (RJ) approaches. While RJ approaches have been traditionally used in Islamic cultures for conflict resolutions, to date, few studies have investigated how RJ operates in dealing with IPV in Muslim countries and communities. This article explores how RJ approaches towards IPV operate in some Muslim countries/communities, and offers insights into developing culturally and religiously appropriate ways of implementing RJ in IPV situations among Muslims. Given the prevalence of IPV among Muslims, the question is particularly important and timely. Taking exclusively limited examples of RJ approaches that have been used to mediate IPV cases in Muslim countries and communities, this paper found one significant challenge in the RJ approaches among Muslims: community acceptance of IPV. To reduce IPV in Muslim society, it is necessary to develop treatment models and techniques that meet cultural and religious needs. This paper found that since RJ is not alien to Islamic teachings, RJ approaches can be implemented effectively in dealing with IPV among Muslims by ensuring justice and equity of the abused woman. The findings of this paper will assist policymakers, practitioners, and service providers in providing religiously and culturally appropriate care when addressing IPV issues among Muslims. 相似文献