Scroll
first-order logic
A formal system used in AI to represent and reason about relationships between objects and their properties, supporting more complex reasoning than basic Boolean logic.
A formal system used in AI to represent and reason about relationships between objects and their properties, supporting more complex reasoning than basic Boolean logic.