On using Theorem Proving for Cognitive Agent-oriented Programming.
Alexander Birch JensenKoen V. HindriksJørgen VilladsenPublished in: ICAART (1) (2021)
Keyphrases
- theorem proving
- agent oriented programming
- multi agent systems
- first order logic
- rapid prototyping
- theorem prover
- automated deduction
- automated reasoning
- automatic programming
- decision procedures
- inference rules
- predicate calculus
- parallel search
- term rewriting
- proof procedure
- proof planning
- automated theorem proving
- geometry theorem proving
- consequence finding
- logical inference
- ontology reasoning
- equational theories
- combinatorial search
- proof search
- propositional logic
- description logics
- domain knowledge
- expert systems