Intuitionistic multi-agent subatomic natural deduction for belief and knowledge.
Bartosz WieckowskiPublished in: J. Log. Comput. (2021)
Keyphrases
- natural deduction
- multi agent
- theorem prover
- cut elimination
- knowledge representation
- inference rules
- knowledge management
- knowledge sharing
- intuitionistic logic
- sequent calculus
- linear logic
- domain knowledge
- cooperative
- belief revision
- knowledge acquisition
- theorem proving
- expert systems
- multi agent systems
- knowledge base
- machine learning
- model checking
- cognitive agents