If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The mathematics of inheritance systems
The mathematics of inheritance systems
Knowledge representation from Newton to Minsky and beyond
Applied Artificial Intelligence
Fuzzy Petri nets for rule-based decisionmaking
IEEE Transactions on Systems, Man and Cybernetics
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Perspectives in knowledge representation
Applied Artificial Intelligence - Artificial Intelligence: Future, Impacts, Challenges—Part 1
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Semantic Networks: An Evidential Formalization and Its Connectionist Realization
Semantic Networks: An Evidential Formalization and Its Connectionist Realization
Knowledge Representation Using Fuzzy Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Weighted Fuzzy Reasoning Using Weighted Fuzzy Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Human Problem Solving
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
Modeling uncertainty reasoning with possibilistic Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Knowledge Representation Using High-Level Fuzzy Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A reasoning algorithm for high-level fuzzy Petri nets
IEEE Transactions on Fuzzy Systems
Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
| Hi-index | 0.00 |
This article presents a formal model of the knowledge representation scheme based on the fuzzy Petri net (FPN) theory. The model is represented as a 13-tuple consisting of the components of the FPN, two functions that give semantic meanings to the scheme and a set of contradictions. For the scheme, called the knowledge representation scheme based on the fuzzy Petri nets theory (KRFPN) the fuzzy inheritance and fuzzy recognition-inference procedures based on the dynamical properties of the FPN, are described in detail. The upper-time complexity of both the proposed inference algorithms is O(nm), where n is the number of places (concepts) and m is the number of transitions (relations) in the scheme. Illustrative examples of the fuzzy inheritance and the fuzzy recognition algorithms for the knowledge base, designed by the KRFPN, are given.