Results 21 to 30 of about 11,095,469 (278)
Method of marks for propositional linear temporal logic
Lietuvos Matematikos Rinkinys, 2014 It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj +1 more source
Belief Change without Compactness
CLEI Electronic Journal, 2021 Dealing with dynamics is a vital problem in Artificial Intelligence (AI). An intelligent system should be able to perceive and interact with its environment to perform its tasks satisfactorily.
Jandson S Ribeiro
doaj +1 more source
A specialization of definitions in common knowledge logic
Lietuvos Matematikos Rinkinys, 2011 It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys +1 more
doaj +1 more source
Logic as a Puzzle-Solving Activity
Análisis Filosófico, 2021 Some authors have recently argued in favor of anti-exceptionalism about logic. The general idea is that logic is not different from the other sciences, and its principles are as revisable as scientific principles. This paper has three sections.
Diego Tajer
doaj +1 more source
Complexity results for modal logic with recursion via translations and tableaux [PDF]
Logical Methods in Computer ScienceThis paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular, we show several complexity results for multi-agent logics via translations
Luca Aceto +4 more
doaj +1 more source
To teach logic to prospective mathematics teachers (Part III) [PDF]
Известия Саратовского университета. Новая серия: Серия Философия. Психология. Педагогика, 2022 Introduction. The article is the third part of the author’s article under the same title published in previous issues of this journal. It discusses the problem of forming the logical competencies of future mathematics teachers both at the undergraduate ...
Igoshin, Vladimir Ivanovich
doaj +1 more source
A Non-Classical Logic for Information Retrieval [PDF]
The Computer Journal, 1986 Implicit in many information retrieval models is a logic. These logics are hardly ever formalized. This paper formalizes a non-classical logic underlying information retrieval. It shows how a particular conditional logic is the `right' logic to do Information Retrieval. Its relationship to existing retrieval mechanisms is investigated. The semantics of
openaire +2 more sources
The empirical study of norms is just what we are missing
Frontiers in Psychology, 2014 This paper argues that the goals people have when reasoning determine their own norms of reasoning. A radical descriptivism which avoids norms never worked for any science; nor can it work for the psychology of reasoning. Norms as we understand them are
Theodora eAchourioti +2 more
doaj +1 more source
Non-monotonic bounded reasoners
The ReasonerWe put forward a proposal for logics handling both non-monotonic reasoning and boundedly rational agents. We propose a hierarchy of depth-bounded non-monotonic logics.
Paolo Baldi, Fabio Aurelio D'Asaro
doaj +1 more source
Computer Sciences & Mathematics Forum, 2023 The purpose of this paper is to revisit the concepts of a third in logic and philosophy that have existed since antiquity, widely separated in time and space, but expressing what we consider a higher level of understanding, without going outside the ...
Joseph Brenner, Zhensong Wang
doaj +1 more source