Results 51 to 60 of about 76,636 (151)
Relational Version of the Multi-agent Computation Tree Logic $\mathcal{CTLK}$
Известия Иркутского государственного университета: Серия "Математика"This paper deals with multi-agent computation tree logic --- $\mathcal{CTLK}$ (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the initial problem, and new branches of possible computational routes spawn new ...
S. I. Bashmakov, K. A. Smelykh
doaj +1 more source
Ibn Khaldun’s Theories of Perception, Logic and Knowledge
American Journal of Islam and Society, 1985 Ibn Khaldun’s theories about perception, logic and knowledge are clearly influenced by Aristotelian thought; however being somewhat ecclectic, he adds, synthesizes and arrives at his own perspective.
Aliah Schleifer
doaj
Dynamic Logic of Knowledge DKpr: its Metalogical Properties
RUDN Journal of Philosophy, 2009 The paper shows that the author's first order modal logic of knowledge DKpr is consistent and complete, that compactness theorem, Lewenheim-Skolem theorem and Craig interpolation theorem may be true of it.
E E Lednikov
doaj
Iranian Journal of Information Processing & Management, 2015 Purpose: This paper distinguishes between “methodology” and “method” and discusses methodological levels of abductive logic as related to the knowledge classification systems.
Mohammad Khandan +2 more
doaj
Logica dei sensi. Estetica e teoria della conoscenza in Benedetto Croce
Aisthesis, 2017 This essay offers a general interpretation of Benedetto Croce’s aesthetics as a theory of knowledge. It takes its title from Croce’s famous work in the 1931, Le Due Scienze Mondane; l’Estetica e l’Economica, in which Croce describes the process of ...
Rosalia Peluso
doaj
Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes
MathematicsIn traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common.
Jinjin Zhang +3 more
doaj +1 more source
Logic as a Key to Interdisciplinary Integration for Students in the Mathematical Sciences [PDF]
Journal of Systemics, Cybernetics and Informatics, 2017 We describe the creation and development of a course on mathematical logic and its extensions and limitations, in which coverage of technical material is interleaved with and related to discussion of relevant historical, linguistic, philosophical, and ...
Thomas Marlowe, Fr. Joseph R. Laracy
doaj
Compact Representation of Knowledge Bases in Inductive Logic Programming [PDF]
, 2004 Jan Struyf +4 more
openalex +1 more source
Topological Reasoning and the Logic of Knowledge
Annals of Pure and Applied Logic, 1996 Andrew Dabrowski, L. Moss, R. Parikh
semanticscholar +1 more source
Conhecimento simbólico na álgebra da lógica de Venn
Principia: An International Journal of Epistemology, 2012 This paper reconstructs Venn’s algebraic logic and identifies some of the philosophical notions concerning the nature of symbolic knowledge underlying his work.
Bruno Ramos Mendonça
doaj