A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems.
Tolety Siva PerrajuGarimella UmaBandreddi E. PrasadPublished in: ICTAI (1994)
Keyphrases
- production system
- knowledge representation
- real time
- production rules
- expert systems
- automated reasoning
- multistage
- knowledge base
- production process
- asynchronous circuits
- certainty factor
- knowledge based systems
- semantic web
- representing knowledge
- knowledge representation and reasoning
- rule based reasoning
- low cost
- artificial intelligence
- knowledge engineering
- multiprocessor architecture
- natural language
- control structure
- knowledge representation formalisms
- machine learning
- inference engine
- first order logic
- logic programming
- description logics
- control system
- probabilistic reasoning
- approximate reasoning
- quality of service
- formal representation
- knowledge acquisition
- high speed
- markov decision
- special case
- knowledge structures
- model checking