FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2237745239> ?p ?o ?g. }

• W2237745239 abstract "Interaction among autonomous agents in Multi-Agent Systems (MASs) is the key aspect for solving complex problems that an individual agent cannot handle alone. In this context, social approaches, as opposed to the mental approaches, have recently received a considerable attention in the area of agent communication. They exploit observable socialcommitments to develop a verifiable formal semantics by which communication protocols can be specified. However, existing approaches for defining social commitments tend toassume an absolute guarantee of correctness so that systems run in a certain manner. That is, social commitments have always been modeled with the assumption of certainty. Moreover, the widespread use of MASs increases the interest to explore the interactions between different aspects of the participating agents such as the interaction between agents’ knowledge and social commitments in the presence of uncertainty. This results in having a gap, in the literature of agent communication, on modeling and verifying social commitments in probabilistic settings.In this thesis, we aim to address the above-mentioned problems by presenting a practical formal framework that is capable of handling the problem of uncertainty in socialcommitments. First, we develop an approach for representing, reasoning about, and verifyingprobabilistic social commitments in MASs. This includes defining a new logic called the probabilistic logic of commitments (PCTLC), and a reduction-based model checkingprocedure for verifying the proposed logic. In the reduction technique, the problem of model checking PCTLC is transformed into the problem of model checking PCTL so thatthe use of the PRISM (Probabilistic Symbolic Model Checker) is made possible. Formulae of PCTLC are interpreted over an extended version of the probabilistic interpreted systemsformalism. Second, we extend the work we proposed for probabilistic social commitments to be able to capture and verify the interactions between knowledge and commitments.Properties representing the interactions between the two aspects are expressed in a new developed logic called the probabilistic logic of knowledge and commitment (PCTLkc).Third, we develop an adequate semantics for the group social commitments, for the first time in the literature, and integrate it into the framework. We then introduce an improved version of PCTLkc and extend it with operators for the group knowledge and group social commitments. The new refined logic is called PCTLkc+. In each of the latter stages, we respectively develop a new version of the probabilistic interpreted systems over which thepresented logic is interpreted, and introduce a new reduction-based verification technique to verify the proposed logic. To evaluate our proposed work, we implement the proposed verification techniques on top of the PRISM model checker and apply them on several case studies. The results demonstrate the usefulness and effectiveness of our proposed work." @default.
• W2237745239 created "2016-06-24" @default.
• W2237745239 creator A5027056339 @default.
• W2237745239 date "2015-01-01" @default.
• W2237745239 modified "2023-10-16" @default.
• W2237745239 title "Modeling and Verifying Probabilistic Social Commitments in Multi-Agent Systems" @default.
• W2237745239 cites W116450752 @default.
• W2237745239 cites W1266757872 @default.
• W2237745239 cites W1450304033 @default.
• W2237745239 cites W1485990531 @default.
• W2237745239 cites W1487932317 @default.
• W2237745239 cites W1489391022 @default.
• W2237745239 cites W1494976167 @default.
• W2237745239 cites W1498432697 @default.
• W2237745239 cites W1503983812 @default.
• W2237745239 cites W1504728428 @default.
• W2237745239 cites W1507793072 @default.
• W2237745239 cites W1510940010 @default.
• W2237745239 cites W1516256348 @default.
• W2237745239 cites W1517173520 @default.
• W2237745239 cites W1526328753 @default.
• W2237745239 cites W1534114040 @default.
• W2237745239 cites W1539708367 @default.
• W2237745239 cites W1547222483 @default.
• W2237745239 cites W1551048086 @default.
• W2237745239 cites W1585051026 @default.
• W2237745239 cites W1596929852 @default.
• W2237745239 cites W1612453857 @default.
• W2237745239 cites W1809182522 @default.
• W2237745239 cites W1828110622 @default.
• W2237745239 cites W1874424006 @default.
• W2237745239 cites W1882581446 @default.
• W2237745239 cites W1884747325 @default.
• W2237745239 cites W1943502734 @default.
• W2237745239 cites W1970756228 @default.
• W2237745239 cites W1971102445 @default.
• W2237745239 cites W1978566417 @default.
• W2237745239 cites W1980171857 @default.
• W2237745239 cites W1987574788 @default.
• W2237745239 cites W1988297676 @default.
• W2237745239 cites W1992454348 @default.
• W2237745239 cites W1993389173 @default.
• W2237745239 cites W1997518979 @default.
• W2237745239 cites W1998559974 @default.
• W2237745239 cites W1999272838 @default.
• W2237745239 cites W2000449445 @default.
• W2237745239 cites W2002323259 @default.
• W2237745239 cites W200254007 @default.
• W2237745239 cites W2004306067 @default.
• W2237745239 cites W2004537989 @default.
• W2237745239 cites W2005998857 @default.
• W2237745239 cites W2007779276 @default.
• W2237745239 cites W2010868097 @default.
• W2237745239 cites W2012696692 @default.
• W2237745239 cites W2019497043 @default.
• W2237745239 cites W2020273103 @default.
• W2237745239 cites W2023332909 @default.
• W2237745239 cites W2023808162 @default.
• W2237745239 cites W2024664992 @default.
• W2237745239 cites W2024944096 @default.
• W2237745239 cites W2029586423 @default.
• W2237745239 cites W2035702632 @default.
• W2237745239 cites W2036426733 @default.
• W2237745239 cites W2038584697 @default.
• W2237745239 cites W2042164691 @default.
• W2237745239 cites W2047987805 @default.
• W2237745239 cites W2050687203 @default.
• W2237745239 cites W2054737921 @default.
• W2237745239 cites W2058172711 @default.
• W2237745239 cites W2060551079 @default.
• W2237745239 cites W2062444173 @default.
• W2237745239 cites W2063502165 @default.
• W2237745239 cites W2065001763 @default.
• W2237745239 cites W2065831027 @default.
• W2237745239 cites W2070453546 @default.
• W2237745239 cites W2076233166 @default.
• W2237745239 cites W2078356773 @default.
• W2237745239 cites W2085299005 @default.
• W2237745239 cites W2092139396 @default.
• W2237745239 cites W2095156325 @default.
• W2237745239 cites W2098543914 @default.
• W2237745239 cites W2110303520 @default.
• W2237745239 cites W2112666698 @default.
• W2237745239 cites W2114981390 @default.
• W2237745239 cites W2115279934 @default.
• W2237745239 cites W2115288182 @default.
• W2237745239 cites W2115309705 @default.
• W2237745239 cites W2116366046 @default.
• W2237745239 cites W2117272332 @default.
• W2237745239 cites W2117300676 @default.
• W2237745239 cites W2117798332 @default.
• W2237745239 cites W2117939701 @default.
• W2237745239 cites W2120918988 @default.
• W2237745239 cites W2123796356 @default.
• W2237745239 cites W2124344619 @default.
• W2237745239 cites W2125500714 @default.
• W2237745239 cites W2130914035 @default.
• W2237745239 cites W2133956684 @default.
• W2237745239 cites W2134753436 @default.
• W2237745239 cites W2134991157 @default.

• next