Advanced Search Results For "EPISTEMIC logic"

Publication Type: Academic Journal

Source(s): Applied Sciences (2076-3417). Dec2022, Vol. 12 Issue 23, p12359. 9p.

Abstract: The advance of knowledge graphs can bring tangible benefits to the fault detection of industrial robots. However, the construction of the KG for industrial robot fault detection is still in its infancy. In this paper, we propose a top-down approach to ...

Publication Type: Academic Journal

Source(s): Studia Linguistica Universitatis Iagellonicae Cracoviensis. 2022, Vol. 139 Issue 4, p391-403. 13p.

Abstract: Every dialogue is constrained by a rigid framework, which manifests itself in its linear character (an initial-continuation-counter move structure or a question-answer relationship and dismissal-argumentation order of dialogue), and which illustrates t...

Publication Type: Academic Journal

Source(s): Journal of Philosophical Logic. Oct2023, Vol. 52 Issue 5, p1269-1294. 26p.

Abstract: Stephen Read presented harmonious inference rules for identity in classical predicate logic. I demonstrate here how this approach can be generalised to a setting where predicate logic has been extended with epistemic modals. In such a setting, identity...

Publication Type: Academic Journal

Source(s): Journal of Philosophical Logic. Oct2023, Vol. 52 Issue 5, p1445-1473. 29p.

Abstract: We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents...

Publication Type: Academic Journal

Source(s): Axioms (2075-1680). Aug2022, Vol. 11 Issue 8, pN.PAG-N.PAG. 20p.

Abstract: Although the idea of evaluating students' mathematical knowledge with fuzzy logic is not new in the literature, few studies have explored the possibility of assessing students' mathematical knowledge by combining teacher-assigned grades (i.e., school g...

Publication Type: Academic Journal

Source(s): Journal of Artificial Intelligence Research. 2022, Vol. 75, p489-539. 51p.

Abstract: In this paper, we present a novel approach to epistemic planning called planning with perspectives (PWP) that is both more expressive and computationally more efficient than existing state-of-the-art epistemic planning tools. Epistemic planning -- plan...

Publication Type: Academic Journal

Source(s): Bulletin of the Polish Academy of Sciences: Technical Sciences. Aug2022, Vol. 70 Issue 4, p1-12. 12p.

Abstract: Large sets of articles are evaluated by predefined measures such as the article numbers and h-indexes. All of these indicators are scalars and refer rather to one discipline or the comprehensive science. Thus, according to disciplinary categories in sc...

Publication Type: Academic Journal

Source(s): Education Sciences. Apr2022, Vol. 12 Issue 4, p266-266. 17p.

Abstract: Assessing student mathematical knowledge is an important factor in the mathematics learning process because students obtain important feedback to improve their knowledge and learning. Despite the importance of student assessment, several researchers ha...

Publication Type: Academic Journal

Source(s): Philosophy of Science / Filozofia Nauki. 2022, Vol. 30 Issue 2, p125-132. 8p.

Abstract: This is a review of the book Jedność i wielość logik modalnych (The Unity and Diversity of Modal Logics) edited by Marcin Tkaczyk. The book contains discussions of the most recent results of contemporary modal logic, focusing on regular modal logics, e...

Publication Type: Academic Journal

Source(s): Journal of Philosophical Logic. Aug2023, Vol. 52 Issue 4, p1053-1080. 28p.

Abstract: In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as "lack of knowledge". This received view has - as we point out - some problems, in particular we will highlig...