Glossary

Situation calculus in AI provides a logical framework aimed at handling dynamic worlds. Introduced by John McCarthy, it defines situations or states through related actions, enhancing reasoning efficiency.

SLD resolution, a refinement of standard linear definite clause resolution, enhances efficiency in automated theorem proving and logic programming, especially in Prolog. This method decreases search space complexity with its linearity and selectivity benefits.

Sliding Window Attention is a method in transformer models that restricts each token’s attention span to a certain window size, decreasing computational burden and boosting model performance.