FORMAL SPECIFICATION USING PETRI NET OF AN ADAPTABLE REASONING AGENT

للكاتبين

Okba Kazar, M.L. Kerdoudi, B. Abdelli

Computer science department, Biskra University, BP 145 RP, 07000, Algeria,

Abstract

The conception of systems based on powerful agents require to be interested to the question "

How an agent, having varied knowledge, must act to adjust in order to solve a given problem

discerned under very variable shapes? . The data of a problem can be represented either in logic,

rule of production, frame or semantic net. So several types of reasoning influence an agent's

behavior [19]. The object of this paper is to model on the first step with tools such Petri net

adaptation mechanism, on the second step to use the analysis technics of Petri net to specify the

agent's adaptable reasoning.

اترك تعليقاً

لن يتم نشر عنوان بريدك الإلكتروني. الحقول الإلزامية مشار إليها بـ *