A model for Extracting a Class of Knowledge Operators, Logic Disjunctions and Logic Alternatives from BDI Agents

Private knowledge structures of the intentional agent are presented. It is pointed out in what way these structures are used to generate a class of basic knowledge formulas with logic disjunctions and alternatives as their arguments. A knowledge formula is treated as a proper logic-based and externally oriented representation of agent’s knowledge if and only if it is true for the overall state of encapsulated knowledge bases. Although the presented solution is based on the idea of possible worlds semantics, it applies an alternative approach to defining truth-values for knowledge operators. In particular, it takes into account the intensional nature of knowledge operators and strictly private nature of possible worlds. The proposed semantics gives a theoretical support for autonomous algorithms that mine disjunctions and alternatives from internal agent’s representations of states of ontologically independent and self-contained atom objects.