نتایج جستجو برای: akbari ganji method agm
تعداد نتایج: 1631153 فیلتر نتایج به سال:
Theories of dynamic reasoning invariably are more elegant on paper than they are in an implementation. A major criticism of the AGM belief revision logic [Gärdenfors 1988] is that it relies on calculations using infinite belief sets to satisfy its postulates for rational belief revision. This has stopped it from being used in any practical systems for reasoning. [Williams 1993] proposes a theor...
In the past few years, several approaches for revision (and update) of logic programs have been studied. None of these however matched the generality and elegance of the original AGM approach to revision in classical logic. One particular obstacle is the underlying nonmonotonicity of the semantics of logic programs. Recently however, specific revision operators based on the monotonic concept of...
While the circumstances surrounding the origin and spread of HIV are becoming clearer, the particulars of the origin of simian immunodeficiency virus (SIV) are still unknown. Specifically, the age of SIV, whether it is an ancient or recent infection, has not been resolved. Although many instances of cross-species transmission of SIV have been documented, the similarity between the African green...
There is controversy as to whether murine definitive hematopoiesis originates from yolk sac (YS) or the intraembryonic region. This study reports the generation of definitive hematopoietic stem cells (HSCs) from both early YS and intraembryonic paraaortic splanchnopleures (P-Sp) on AGM-S3 stromal cells derived from the aorta-gonad-mesonephros (AGM) region at 10.5 days post coitum (dpc). YS and ...
Revising and updating beliefs and knowledge bases is an important topic in knowledge representation and reasoning that requires a solid theoretical basis. As a result, various researchers have proposed Answer Set Programming as one of their key components to set up their approaches. In the need to satisfy more general principles, this paper presents a new characterisation of a semantics. It con...
Refinement is an operation of theory change where new or old beliefs (norms) are restricted by some specific condition, instead of being fully accepted or rejected. We present constructions, based on AGM partial meet contraction and revision, for operators of external, internal and global refinement and show that they satisfy reasonable AGM-like postulates. Then we apply these operators to a ha...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید