img

تفاصيل البطاقة الفهرسية

Amodel based formal specification of a medical expert system

الأطروحات و الكتابات الأكاديمية من تأليف: Azni, Mohamed ; Mezhoud, Belkacem ; نشر في: 1994

ملخص: In this thesis, the problem of the specification of the reasoning processes that are used in the development of expert systems is investigated, and a specification model of a medical expert system is proposed. Traditionally, expert systems are developed by following an exploratory programming model of the software life-cycle. In this model of software development, the developer progresses towards the desired system by building an initial implementation, and, gradually, refining it into workingprototypes, until a satisfactory system is obtained. The successive prototypes that are developed through the development process serve, actually, to explore the knowledge domaine, and, hence, the user requirements of the system. In this model, there is thus, no specification of the system before it is actually built. The reason for choosing such an approach for the development of expert systems is that the human reasoning processes are very difficult to specify. This makes expert systems sublect to frequent changes...


طبعة: Boumerdes: National Institute of Electricity and Electronics
لغة: إنجليزية
الوصف المادي: 109 p. ill. ;30 cm
الشهادة: Magister
مؤسسة مناقشة الرسالة: National Institute of Electricity and Electronics

ملاحظة: Bibliogr.pp.86-93