About this document

Wer 123 by Nikithakrish is a document available to read on EtoBox.

K-STRIPS introduces a modal operator K that constructs more complex logical formulas in a similar way that connectives like AND (∧) and OR (V) combine simpler formulas. The modal operator K is used to reason about knowledge and knowability. K-STRIPS builds on previous work using modal logics to represent and reason about knowledge.

Author

Nikithakrish

Language

EN