This paper presents eight (previously unpublished) adaptive logics for belief revision, each of which define a belief revision operation in the sense of the AGM framework. All these revision operations are shown to satisfy the six basic AGM postulates for belief revision, and Parikh’s axiom of Relevance. Using one of these logics as an example, we show how their proof theory gives a more dynami...

Proof. Base case: The messages in the path w1 → w2 are correct. This is trivially true since all the incoming messages to w1 and to the nodes in the path M(w1 → w2) have been correctly evaluated during initialization. Therefore, after we absorb the measurement in the potential of Xw1 , propagating from w1 → w2 will give us the correct messages. Induction step: We will assume now that the messag...

the error of inertial navigation systems increase versus time, therefore for achieving higher accuracy specially in long time navigations we have to use an aiding system. global positioning system is the best aiding system in this case. in this paper we first simulate a gps and ins; then simulate tightly integration and finally review adaptation method of kalman filtering a fuzzy adaptive kalma...

The application of probabilistic reasoning to fault diagnosis in linear lightwave networks (LLNs) is investigated. The LLN inference model is represented by a Bayesian network (or causal network). An inference algorithm is proposed that is capable of conducting fault diagnosis (inference) with incomplete evidence and on an interactive basis. Two belief updating algorithms are presented which ar...

control of well drilling operations poses a challenging issue to be tackled. the loss of well control could lead to the occurrence of blowout as a severe threat, involving the risk of human lives and environmental and economic consequences. conventional proportional-integral (pi) controller is a common practice in the well control operation. the small existing margin between pore pressure and f...

this paper presents a new observer-based control scheme for a class of nonlinear systems. in the proposed method, nonlinear observer and twisting algorithm controller are employed to realize a sensor-less control strategy for complex systems which makes use of non measurable process information instead of installing as many sensors as possible. due to lack of availability of the complex system ...

this paper presents a novel indirect adaptive power system stabilizer (pss) via a developed synergetic control methodology and fuzzy systems. fuzzy system is utilized in an adaptive scheme to estimate the system using a nonlinear model. the synergetic control guarantees robustness of the controller and makes the controller easy to implement because of using a chatter free continuous control law...

in recent years, underactuated nonlinear dynamic systems trajectory tracking, such as space robots and manipulators with structural flexibility, has become a major field of interest due to the complexity and high computational load of these systems. hierarchical sliding mode control has been investigated recently for these systems; however, the instability phenomena will possibly occur, especia...