A Theorem Proving Approach to Formal Verification of a Cognitive Agent.
Alexander Birch JensenPublished in: DCAI (1) (2021)
Keyphrases
- theorem proving
- formal verification
- cognitive agents
- model checking
- first order logic
- automated deduction
- automated verification
- automated reasoning
- model checker
- symbolic model checking
- decision procedures
- inference rules
- theorem prover
- term rewriting
- parallel search
- bounded model checking
- mental states
- proof planning
- consequence finding
- geometry theorem proving
- multi agent systems
- complex domains
- multi agent
- proof procedure
- automated theorem proving
- bdi agents
- defeasible logic
- cooperative
- artificial intelligence
- proof search
- machine learning
- temporal logic
- domain knowledge
- bayesian networks