Logic programming for finding models in the logics of knowledge and its applications: A case study
Logic programming for finding models in the logics of knowledge and its applications: A case study
The logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational frameworks for dealing with computation of models and useful transformations in logics of knowledge (e.g., to support multi-agent planning with knowledge actions and degrees …