Comments on "A Petri net model for temporal knowledge representation and reasoning"
نویسندگان
چکیده
Yao (1994) has presented a unified time Petri net model (TPN) for temporal knowledge representation and reasoning, where the TPN model presented has a good contribution to the aspect of temporal knowledge representation and reasoning. However, there are a number of errors which should be corrected. The purpose of the paper is to identify these errors, and the corrections provided permit the readers who have been confused by the errors to gain a better understanding of the good ideas presented.
منابع مشابه
A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets
In many application areas there is a need to represent human-like knowledge related to spatio-temporal relations among multiple moving objects. This type of knowledge is usually imprecise, vague and fuzzy, while the reasoning about spatio-temporal relations is intuitive. In this paper we present a model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri ne...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملRough Petri Net Model (RPNM) For knowledge Representation, Rules Generation and Reasoning
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowledge base through a set of reduction rules that preserve the properties of the RPNM is presented. In addition and based on the RPNM, an efficient algorithm is proposed to perform rough reasoning automatically. Keyword R...
متن کاملTemporal knowledge representation and reasoning techniques using time Petri nets
In this paper, we present temporal knowledge representation and reasoning techniques using time Petri nets. A method is also proposed to check the consistency of the temporal knowledge. The proposed method can overcome the drawback of the one presented in Yao (1994). It provides a useful way to check the consistency of the temporal knowledge.
متن کاملMapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)
CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society
دوره 27 1 شماره
صفحات -
تاریخ انتشار 1997