-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning.
Mintong KangBo LiPublished in: CoRR (2024)
Keyphrases
- logical reasoning
- knowledge representation
- knowledge base
- formal semantics
- knowledge processing
- commonsense knowledge
- model based reasoning
- reasoning process
- domain experts
- production rules
- databases
- reasoning mechanism
- knowledge sharing
- knowledge acquisition
- knowledge discovery
- causal knowledge
- diagnostic systems
- cognitive maps
- knowledge about the world
- human reasoning
- incomplete knowledge
- uncertain information
- knowledge structures
- expert systems
- artificial intelligence