Now showing items 51-60 of 728
An Alternative Approach For Quasi-truth
(Oxford University Press, 2014)
Uma nota sobre a lógica formal de Kant
(UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência, 2012-06-01)
The paper presents a problem arising from Kant's theory of analytic judgments in conjunction with his official allegiance to the syllogistic. It is then argued that this problem can only be solved by the acknowledgement ...
The abstraction effect on logic rules application
(Georgian Technical University, 2013-06)
The aim of this study is to analyze the relationship between training on abstraction and the comprehension of logic rules. In order to evaluate the possibility of improvement on logic performance we have selected the ...
Fibring In The Leibniz Hierarchy
A logic-based agent that plans for extended reachability goals
Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for ...