FRINK Linked Data Fragments server

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

• W1946372502 abstract "In this thesis we focus upon the problem of derivability of rules from Defeasible Logic. Derivability of rules, as defined here, comprises the concept of an extension from a defeasible theory as well as the classical notion of derivability of rules in logic. The idea of localness of reasoning, reasoning with a limited access to rules, is realized by the concept of relative derivability. Starting with the derivability of rules, we next touch upon the questions of the activation of rules and (in)consistency of rules in defeasible logic. We will discuss the problems of computing extensions of defeasible logic under different intuitions, with particular interest in ambiguity blocking, ambiguity propagation, well-founded semantics, and their combinations, and will present algorithms to these problems. In addition, we will also discuss the deficiency of the current inference process and will present a new theorem and an algorithm to enhance the process. Matters related to the implementations issues of the algorithms and experimental results will also be discussed in this thesis. Next we will discuss the problem of ambient intelligence: the imperfect nature of context, the dynamic nature of ambient environment, and special characteristics of the devices involved, which imposed new challenges in the field of distributed Artificial Intelligence. This thesis proposes a solution based on Multi-Context paradigm with non-monotonic features. We will model ambient agents as logic-based entities and present a framework based on the argumentation semantics of defeasible logic. We also extends the semantics of modal defeasible logic in handling violations and preferences, and can derive the conclusion with the avoidance of transformations. We also present an operational model in the form of distributed reasoning algorithm for query processing with iterative revision based on speculative computation. Issues such as inconsistent arguments handling and agents context preferences will also be discussed. Last but not least, a prototypical implementation showcasing the wealth of our approach will be presented at the end of the thesis." @default.
• W1946372502 created "2016-06-24" @default.
• W1946372502 creator A5059693211 @default.
• W1946372502 date "2012-05-01" @default.
• W1946372502 modified "2023-09-27" @default.
• W1946372502 title "On the Derivability of Defeasible Logic" @default.
• W1946372502 cites W100882334 @default.
• W1946372502 cites W105743391 @default.
• W1946372502 cites W140495063 @default.
• W1946372502 cites W146262510 @default.
• W1946372502 cites W1480651636 @default.
• W1946372502 cites W1480882349 @default.
• W1946372502 cites W148452912 @default.
• W1946372502 cites W1488300569 @default.
• W1946372502 cites W1491260230 @default.
• W1946372502 cites W1494707985 @default.
• W1946372502 cites W1496737465 @default.
• W1946372502 cites W1498264241 @default.
• W1946372502 cites W1498884154 @default.
• W1946372502 cites W1505695215 @default.
• W1946372502 cites W1506100301 @default.
• W1946372502 cites W1509149235 @default.
• W1946372502 cites W1509180139 @default.
• W1946372502 cites W1517798700 @default.
• W1946372502 cites W1519069519 @default.
• W1946372502 cites W1519180828 @default.
• W1946372502 cites W1519321178 @default.
• W1946372502 cites W1520902707 @default.
• W1946372502 cites W1523902149 @default.
• W1946372502 cites W1528171049 @default.
• W1946372502 cites W1534677344 @default.
• W1946372502 cites W154138418 @default.
• W1946372502 cites W1545652791 @default.
• W1946372502 cites W1546644035 @default.
• W1946372502 cites W1555476679 @default.
• W1946372502 cites W1556967393 @default.
• W1946372502 cites W1563464738 @default.
• W1946372502 cites W1565826771 @default.
• W1946372502 cites W1568119440 @default.
• W1946372502 cites W1568496597 @default.
• W1946372502 cites W1571255423 @default.
• W1946372502 cites W1573219638 @default.
• W1946372502 cites W1574662445 @default.
• W1946372502 cites W1575016153 @default.
• W1946372502 cites W1577783107 @default.
• W1946372502 cites W1584406589 @default.
• W1946372502 cites W1585614051 @default.
• W1946372502 cites W1586120230 @default.
• W1946372502 cites W1588231213 @default.
• W1946372502 cites W1589769424 @default.
• W1946372502 cites W1592016552 @default.
• W1946372502 cites W1592366243 @default.
• W1946372502 cites W1596758068 @default.
• W1946372502 cites W1621725029 @default.
• W1946372502 cites W1637985016 @default.
• W1946372502 cites W1642736128 @default.
• W1946372502 cites W1713752834 @default.
• W1946372502 cites W1738779996 @default.
• W1946372502 cites W1748411431 @default.
• W1946372502 cites W1791957198 @default.
• W1946372502 cites W1842259395 @default.
• W1946372502 cites W1903683453 @default.
• W1946372502 cites W1906394292 @default.
• W1946372502 cites W1957195499 @default.
• W1946372502 cites W1963594138 @default.
• W1946372502 cites W1965784613 @default.
• W1946372502 cites W1966873207 @default.
• W1946372502 cites W1967115134 @default.
• W1946372502 cites W1968513265 @default.
• W1946372502 cites W196968098 @default.
• W1946372502 cites W1973162402 @default.
• W1946372502 cites W1979170182 @default.
• W1946372502 cites W1981282887 @default.
• W1946372502 cites W1981719720 @default.
• W1946372502 cites W1984160984 @default.
• W1946372502 cites W1984715534 @default.
• W1946372502 cites W198607445 @default.
• W1946372502 cites W1990373305 @default.
• W1946372502 cites W1993557463 @default.
• W1946372502 cites W1994120178 @default.
• W1946372502 cites W1997189447 @default.
• W1946372502 cites W1997714358 @default.
• W1946372502 cites W2000368422 @default.
• W1946372502 cites W2006937397 @default.
• W1946372502 cites W2010104109 @default.
• W1946372502 cites W2010210638 @default.
• W1946372502 cites W2011992362 @default.
• W1946372502 cites W2013601303 @default.
• W1946372502 cites W2014343072 @default.
• W1946372502 cites W2019449346 @default.
• W1946372502 cites W2019968021 @default.
• W1946372502 cites W2021087477 @default.
• W1946372502 cites W2024374951 @default.
• W1946372502 cites W202606716 @default.
• W1946372502 cites W20278294 @default.
• W1946372502 cites W2028782479 @default.
• W1946372502 cites W2032206951 @default.
• W1946372502 cites W2036900631 @default.
• W1946372502 cites W2041545805 @default.
• W1946372502 cites W2045298652 @default.

• next