Sound Reasoning (Literally): Prospects and Challenges of Current Acoustic Logics.
Marc ChampagnePublished in: Logica Universalis (2015)
Keyphrases
- future trends
- knowledge base
- proof theory
- lessons learned
- modal logic
- key issues
- computational properties
- intuitionistic logic
- neural network
- audio signal
- qualitative reasoning
- knowledge representation and reasoning
- sound source
- open issues
- reasoning tasks
- expert systems
- source localization
- proof theoretic
- artificial intelligence