منابع مشابه
A Modal Extension of Logic Programming
In this paper we present a modal extension of logic programming which provides reasoning capabilities in a multiagent situation The language con tains embedded implications modal operators ai to represent agent beliefs together with a kind of common knowledge operator In this language we can also de ne modules compose them in several ways and also we can perform hypothetical reasoning
متن کاملMProlog: An Extension of Prolog for Modal Logic Programming
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be used in MProlog programs. The system contains a number of built-in SLD-resolution calculi for modal logics, including calculi for useful multimodal logics of belief. Modal logics can be used to reason about knowledge, ...
متن کاملModal extension of Łukasiewicz logic for reasoning about coalitional power
Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling the dynamics of a game frame whose states may correspond to different game forms. The two classes of effectivity functions studied are the families of playable and truly playable effectivity fun...
متن کاملExtension of Logic regression to Longitudinal data: Transition Logic Regression
Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...
متن کاملPossibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic
In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Gödel Kripke Frames 〈W,π〉, where W is a non-empty set of worlds and π : W → [0, 1] is a normalized possibility distribution on W .
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1965
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093958154