An intended KQML interpretation can be constructed by transforming an intended SQML interpretation by defining a domain function that returns, for each world, the set of individuals actual at that world
(as used in formal logic and artificial intelligence)
A way of understanding the meaning of statements in a formal logical language called KQML, which is designed to represent knowledge and questions in a structured way that computers can process.
SQML interpretation(as used in formal logic)
A way of understanding the meaning of statements in a simpler formal logical language called SQML; this is the starting point that gets transformed into KQML.
World (in modal logic)(as used in logic and metaphysics)
A possible way things could be—philosophers use 'worlds' to talk about different scenarios or possibilities when discussing what could be true.
actual(Parsons' theory of existent and non-existent objects)
Synonym for 'existent' as used in Parsons' framework
On the face of it, KQML provides the actualist with a powerful alternative to SQML. However, one might well question its actualist credentials. Specifically, despite the invalidity of the actualistically objectionable principles BF, CBF, and \(\Box\textbf{N},\) it is questionable whether KQML has escaped ontological commitment to possibilia, for the following reason. KQML provides us with a formal semantics for (constant-free) modal languages \(\scrL_\Box\) and, in particular, an account of how