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.