An atomic first-order formula is a relation applied to terms, or a logical equality of two terms when logical equality is included in the logic. It contains no logical connective or quantifier. Its truth is preserved and reflected by an embedding of first-order structures.
An atomic formula containing no variables. In STRIPS, a state records true ground atoms, and the closed-world assumption treats unlisted ground atoms as false. Object names may occur as arguments: is a ground atom when are object constants.
Articles by others on the same topic
An atomic formula, in the context of formal logic and mathematical logic, is a basic type of formula that expresses a simple statement or proposition about a specific relation or property without any logical connectives (such as AND, OR, NOT, etc.). An atomic formula typically consists of: 1. **Predicate Symbols**: These are symbols that represent properties or relations.