An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases.
Laura GiordanoDaniele Theseider DupréPublished in: CoRR (2022)
Keyphrases
- knowledge base
- neural network
- open world
- logic programming
- answer set programming
- reasoning tasks
- cp nets
- knowledge representation systems
- conditional logic
- description logics
- knowledge representation
- reasoning process
- reasoning services
- knowledge representation and reasoning
- proof theory
- logic programs
- knowledge representation languages
- possibilistic logic
- reasoning mechanisms
- closed world
- artificial neural networks
- fuzzy logic
- reasoning about actions
- computing least common subsumers
- default reasoning
- expert systems
- logical framework
- dl lite
- knowledge acquisition
- stable model semantics
- computational properties
- abductive logic programming
- answer sets
- data exchange
- modal logic
- uncertain information
- abstract argumentation
- knowledge based systems
- logical formulas
- belief revision
- truth maintenance systems
- query answering
- default rules
- model theoretic
- semantics for logic programs
- deductive databases
- web applications
- bayesian networks
- probabilistic knowledge
- owl dl
- truth values
- rule base
- default logic
- nonmonotonic reasoning