Reduction of Knowledge Representation Using Logic Minimization Techniques.
Grzegorz BorowikTadeusz LubaDawid ZydekPublished in: ICSEng (2011)
Keyphrases
- knowledge representation
- logic programming
- automated reasoning
- knowledge representation formalisms
- commonsense reasoning
- knowledge base
- artificial intelligence
- knowledge acquisition
- knowledge engineering
- classical logic
- description logics
- machine learning
- natural language understanding
- semantic web
- knowledge based systems
- natural language processing
- modal logic
- logic programs
- representing knowledge
- multi valued
- objective function
- reduction method
- neural network
- general knowledge
- computational properties
- probabilistic logic
- nonmonotonic reasoning
- probabilistic reasoning
- knowledge structures
- default logic
- data model
- knowledge representation and reasoning
- defeasible logic
- nonmonotonic logics
- digital circuits
- predicate logic
- truth values
- epistemic logic
- learning algorithm
- asynchronous circuits