The model also avoids some important disadvantages of recent candidate middle-ground models based on dynamic epistemic logic or step logic, and it can subsume their most important advantages. Subject refers to the person or entity carrying out and responsible for an action, rather than the object which is being acted upon. As I explain, the model improves upon standard algorithmic models developed by Parikh, Halpern, Moses, Vardi, and Duc, among other ways, by integrating them into an impossible-worlds framework. Our logic, an extension of dynamic logic (22 and 12), subsumes most existing first-order logics of nondeterministic programs, including that developed. to take up into a more inclusive classification.
to bring (a case, instance, etc.) under a rule. to consider or include (an idea, term, proposition, etc.) as part of a more comprehensive one. verb (used with object), subsumed, subsuming. The model thereby captures the standard view that belief and knowledge ground are constitutively connected to dispositions to act. See synonyms for: subsume / subsumed on . Minimalism Subsumes Default Logic and Circumscription in Stratified Logic Programming (1987). In outline, the model entails that an agent believes (knows) $\phi $ just in case she can easily (and correctly) compute that $\phi $ is true and thus has the capacity to make her actions depend on whether $\phi $. Subsumption: B A Check if A subsumes B (if every. In this paper, I develop an algorithmic impossible-worlds model of belief and knowledge that provides a middle ground between models that entail that everyone is logically omniscient and those that are compatible with even the most egregious kinds of logical incompetence. It is the most expressive logic that one can adequately approach with automated theorem proving.
0 kommentar(er)
