A definitional approach to the construction of knowledge-based systems is presented. The notions of a knowledge base and the logical interface of a knowledge base are discussed.

the respected author believes that true faith is actually a logical assertion of faith [within] or entrenched certainty towards the objects of faith. naturally this logical assertion can only be considered as faith while it doesn’t accompany denial of the objects of faith. he believes that the freedom to choose faith is related to the freedom to choose when faith first comes about and whether i...

Model-based diagnosis (MBD) uses an abstraction of system to diagnose possible faulty functions of an underlying system. To improve the solution efficiency for multi-fault diagnosis problems, especially for large scale systems, this paper proposes a method to induce reasonable diagnosis solutions, under coarse diagnosis, by using the relationships between system outputs and components. Compared...

the present study attempts to define the meaning of faith according to the views of morjeeh since this definition distinguishes this sect from the other sects of the era and the belief in this definition of faith is the common point among all the branches of morjeeh. finally, this study criticizes their view on the basis of the quran and the traditions (hadiths) of the shiite imams (peace be up...

In case of a plan failure, plan-repair is a more promising solution than replanning from scratch. The effectiveness of plan-repair depends on knowledge of which plan action failed and why. Therefore, in this paper, we propose an Extended Spectrum Based Diagnosis approach that efficiently pinpoints failed actions. UnlikeModel Based Diagnosis (MBD), it does not require the fault models and behavi...

This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framework, we first define a test of minimal size that can isolate multiple simultaneous faults of an arbitrary nature. Second, we prove complexity results for multiplefault tests of minimal size in propositional system model...