A Unified Framework for Nonmonotonic Reasoning with Vagueness and Uncertainty
An interval-valued fuzzy answer set programming paradigm is proposed for nonmonotonic reasoning with vague and uncertain information. The set of sub-intervals of $[0,1]$ is considered as truth-space. The intervals are ordered using preorder-based truth and knowledge ordering. The preorder based ordering is an enhanced version of bilattice-based ordering. The system can represent and reason with prioritized rules, rules with exceptions. An iterative method for answer set computation is proposed. The sufficient conditions for termination of iterations are identified for a class of logic programs using the notion of difference equations.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Modeling Uncertainty and Imprecision in Nonmonotonic Reasoning using Fuzzy Numbers
To deal with uncertainty in reasoning, interval-valued logic has been developed. But uniform intervals cannot capture the difference in degrees of belief for different values in the interval. To salvage the problem trian…
Fuzzy Logic in Narrow Sense with Hedges
Classical logic has a serious limitation in that it cannot cope with the issues of vagueness and uncertainty into which fall most modes of human reasoning. In order to provide a foundation for human knowledge representat…
Probability Logic
This chapter presents probability logic as a rationality framework for human reasoning under uncertainty. Selected formal-normative aspects of probability logic are discussed in the light of experimental evidence. Specif…
DescriptiveNonmonotonic Reasoning via Possibility Theory
We introduce the operation of possibility qualification and show how. this modal-like operator can be used to represent "typical" or default knowledge in a theory of nonmonotonic reasoning. We investigate the representat…
RelationUncertainty and Incompleteness
Two major difficulties in using default logics are their intractability and the problem of selecting among multiple extensions. We propose an approach to these problems based on integrating nommonotonic reasoning with pl…