Results 281 to 290 of about 1,497,677 (335)
Some of the next articles are maybe not open access.
The Logic of Scientific Knowledge
1970The notion of logic as a ‘logic of scientific knowledge’, a ‘logic of investigation’ [17], or a ‘logic of science’ [18] is a comparatively recent phenomenon.
Tavanets, P. V., Shvyrev, V. S.
openaire +2 more sources
Theory, Culture & Society, 2006
10.1017/S0022112072001090 ; Theory, Culture and Society ; 23 ; 2-3 ; 97 ...
openaire +1 more source
10.1017/S0022112072001090 ; Theory, Culture and Society ; 23 ; 2-3 ; 97 ...
openaire +1 more source
A Map of Common Knowledge Logics
Studia Logica, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kaneko, Mamoru +3 more
openaire +2 more sources
Logical Structure of Common Knowledge
Journal of Economic Theory, 1993zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
The Logic of Knowledge Based Obligation
Synthese, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pacuit, E.J., Parikh, R., Cogan, E.
openaire +2 more sources
2017
Intensional epistemic logics are not apt for handling properly the specification of communication and reasoning of resource-bounded agents in a multi-agent system. They oscillate between two unrealistic extremes: either the explicit knowledge of an ‘idiot’ agent, deprived of any inferential capabilities, or the implicit knowledge of
Duží Marie +1 more
openaire +1 more source
Intensional epistemic logics are not apt for handling properly the specification of communication and reasoning of resource-bounded agents in a multi-agent system. They oscillate between two unrealistic extremes: either the explicit knowledge of an ‘idiot’ agent, deprived of any inferential capabilities, or the implicit knowledge of
Duží Marie +1 more
openaire +1 more source
The logical compilation of knowledge bases
1991Forward chaining cannot compute the two-valued consequence literals of a knowledge base (i.e. set of rules) with negations. If the user wants to compute them, he must use a particular algorithm which often takes a lot of time. We propose a compilation system of knowledge bases what we call logical compilation, which allows us to compute the two-valued ...
Mathieu, Philippe, Delahaye, Jean-Paul
openaire +2 more sources
Logic of Discovery and Knowledge: Decision Algorithm
Intelligent Decision Technologies, 2008The logic of Chance Discovery (CD) as well as mathematical models for CD, by the nature of the term chance, are hard to formalize, which poses challenging problems for mathematization of the area. It does not completely prevent us though from studying the logical laws which chance discovery and related notions should abide, especially in a carefully ...
Babenyshev, Sergey, Rybakov, Vladimir V.
openaire +2 more sources
Logical Knowledge vs Knowledge of Logical Form
2018This chapter spells out some major epistemological implications of the truth-conditional view, which concern the relation between logical knowledge and knowledge of logical form. The interesting fact that will emerge is that the truth-conditional view provides a perspective on such relation that radically differs from the approach traditionally ...
openaire +1 more source