This article focuses on explanation-based knowledge about system limitations (SLs) under conditional driving automation (society of automotive engineers level 3) and aims to reveal how this influences driver intervention. By illustrating the relationships between environment, system, mental model, in dynamic decision-making processing for responding an issued request intervene (RtI), occurrence...

Abstract The utilisation of information technology to facilitate “smartness” is considered as a promising approach improve the rural economy. However, explanation how adoption smartness in areas can lead an improvement citizen’s economic welfare still lacking current studies. This paper aims formulate theoretical model that explains causal mechanism contribute welfare. To achieve this, we condu...

The question, “Which modal logic is the right one for logical necessity?,” divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argum...

Abstract Well‐functioning agents ordinarily have an excellent epistemic relationship to their intentional actions. This phenomenon is often characterized as knowledge of what one doing and labeled “practical knowledge”. But when we examine it carefully, seems require a particular kind understanding ‐ the normative structure one's action. Three lines argument are offered support this Necessity U...

In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for DLs, where research has focused on the explanation of both TBox reasoning and, more recently, query answering. Besides explaining the presence of a tuple in a query answer, it is important to explain also why a given tuple is missing. We address the l...