Related Experiment Video
Updated: Jul 30, 2025

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
Published on: June 13, 2025
Legal linguistic templates and the tension between legal knowledge representation and reasoning
1Department of Computer Science, University of Luxembourg, Luxembourg, Luxembourg.
Abstract:
There is an inherent tension between knowledge representation and reasoning. For an optimal representation and validation, an expressive language should be used. For an optimal automated reasoning, a simple one is preferred. Which language should we choose for our legal knowledge representation if our goal is to apply automated legal reasoning? In this paper, we investigate the properties and requirements of each of these two applications. We suggest that by using Legal Linguistic Templates, one can solve the above tension in some practical situations.
More Related Videos
Related Concept Videos
Reasoning
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
Reason and Intuition
Inductive Reasoning
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
Models, Theories, and Laws
Legal Guidelines for Documentation
Deductive Reasoning
For example, a researcher can deduce specific predictions...

