A method of deductive learning is developed to control deductive inference Our goal is to im prove problem solving time by experience when that experience monotonically adds knowledge to the knowledge base In particular for deductive reasoning systems where partial results are saved dur ing a derivation and at least some partial results are themselves deduction rules we suggest ways of taking m...

A passive fault tolerant control scheme is proposed for the full reentry trajectory tracking of a hypersonic vehicle in presence modeling uncertainties, external disturbances, and actuator faults. To achieve this goal, attitude error dynamics with relative degree two formulated first by ignoring nonlinearities induced translational motions. Then, multivariable twisting controller developed as b...

One of the central issues in Arti cial Intelligence (AI) in general|and in the area of knowledge representation and reasoning in particular|is common sense reasoning. This includes logics of knowledge and belief, non-monotonic reasoning, truth-maintenance and belief revision. Within these elds the notion of a consistent belief state is the crucial one. Additionally, there is a growing interest ...