Verification of Procedural Reasoning System (PRS) Programs Using Coloured Petri Nets (CPN).
Ricardo Wagner De AraújoAdelardo A. D. MedeirosPublished in: AIAI (2004)
Keyphrases
- coloured petri nets
- formal verification
- model checking
- hardware designs
- declarative knowledge
- agent programming
- knowledge base
- finite state machines
- approximate reasoning
- reasoning systems
- model based diagnosis
- knowledge representation
- mental states
- automated reasoning
- fixpoint
- operational semantics
- procedural knowledge
- model based reasoning
- functional verification
- reasoning process
- conceptual knowledge
- face verification
- computer programs
- domain knowledge
- expert systems