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: Theory Pract. Log. Program. (2022)
Keyphrases
- knowledge base
- neural network
- open world
- logic programming
- answer set programming
- reasoning tasks
- conditional logic
- cp nets
- description logics
- reasoning process
- knowledge representation systems
- knowledge representation
- modal logic
- reasoning services
- knowledge representation and reasoning
- belief revision
- default reasoning
- closed world
- logical framework
- fuzzy logic
- possibilistic logic
- inference engine
- logic programs
- computational properties
- semantics for logic programs
- proof theory
- knowledge acquisition
- default rules
- expert systems
- reasoning mechanisms
- abstract argumentation
- knowledge representation languages
- artificial neural networks
- knowledge based systems
- default reasoning from conditional knowledge bases
- answer sets
- default theories
- stable model semantics
- abductive logic programming
- probabilistic knowledge
- truth values
- dl lite
- owl dl
- graphical representation
- truth maintenance systems
- formal semantics
- logical formulas
- reasoning about actions
- programming language
- inconsistent knowledge
- computing least common subsumers
- epistemic states
- model theoretic
- uncertain information
- nonmonotonic reasoning
- probabilistic reasoning
- production rules
- inference rules
- deductive databases