Connict resolution is an important issue in knowledge representation and reasoning. A common idea of solving connicts in reasoning is to introduce priorities in the underlying reasoning mechanism. This paper describes an implementation of prioritized logic programs (PLPs) proposed by Zhang and Foo recently 4]. PLPs is a non-trivial extension of Gelfond and Lifschitz's extended logic programs 3]...

This paper presents a method of resolving ambiguity by using a variant of circumscription, prioritized circumscription. In a disambiguation task, human seems to use various preferences which have various strength. In prioritized circumscription, we can express these preferences as defeasible constraints with various strength and we infer the most preferable logical models which satisfy stronger...

background given the rapid pace of changes in community health needs and the mission of healthcare organizations to provide and promote the community’s health, the growing need to increase health system responsiveness to people as a key element of observance and fulfillment of justice is felt more than ever. results confirmatory factor analysis, based on the results of the key informant survey ...

Yager et al. first introduce compensatory operators. This paper further introduces a kind of weighted compensatory operators, and a kind of prioritized compensatory operators. The difference between these similar classes of operators are identified. In addition, the paper introduces the concepts of ordered weighted/prioritized compensatory aggregation.