Logic Agent: Enhancing Validity with Logic Rule Invocation.
Hanmeng LiuZhiyang TengChaoli ZhangYue ZhangPublished in: CoRR (2024)
Keyphrases
- dynamic logic
- classical logic
- multi agent systems
- modal logic
- logic programming
- artificial intelligence
- multi agent
- multi valued
- computational properties
- logical rules
- neural network
- reasoning engine
- agent programming
- epistemic logic
- predicate logic
- digital circuits
- inference rules
- rule base
- intelligent agents
- reinforcement learning
- web services