Perlis, D., "Logic for a lifetime", CS-TR-3278, Computer Science Dept., University of Maryland, 1994. (http://www.cs.umd.edu/TRs/TRumiacs-no-abs.html) Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Modelling Rational Inquiry in Non-Ideal Agents - Moreno (Correct)
....so simple that complexity of internal reasoning can be neglected. Logical omniscience and perfect reasoning are also accepted in the classical puzzles of the literature of reasoning about knowledge, such as the muddy children, the wise men or the cheating wives ( FHMV95] As Perlis points out in [Perl94], omniscient formalisms have the major advantage of being simpler and easier to study, and can be taken as modelling ideal reasoners against which real (human or artificial) reasoners can be measured as approximations. Obviously there are many circumstances in which these conditions are ....
....an internal view of knowledge, as something that is acquired after a computation. It is clearly not a realistic model of either human agents (who are not logically omniscient) or computational agents (which have resource limitations that can prevent them from being perfect reasoners) In summary ([Perl94]) omniscience is irreparably out of line with the needs of any real reasoning agent. A number of reasons may be given ( Moli91] in order to justify the study of non ideal agents: ffl Ideal agents are physically impossible ( Denn84] ffl The agents that we can construct are necessarily ....
[Article contains additional citation context not shown here]
Perlis, D., "Logic for a lifetime", CS-TR-3278, Computer Science Dept., University of Maryland, 1994. (http://www.cs.umd.edu/TRs/TRumiacs-no-abs.html)
How to Avoid Knowing It All - Moreno (1997) (Correct)
....so simple that complexity of internal reasoning can be neglected. Logical omniscience and perfect reasoning are also accepted in the classical puzzles of the literature of reasoning about knowledge, such as the muddy children, the wise men or the cheating wives ( FHMV95] As Perlis points out in [Perl94], omniscient formalisms have the major advantage of being simpler and easier to study, and can be taken as modelling ideal reasoners against which real (human or artificial) reasoners can be measured as approximations. Obviously there are many circumstances in which these conditions are ....
....knowledge is obtained when axiom T holds. that is acquired after a computation. It is clearly not a realistic model of either human agents (who are not logically omniscient) or computational agents (which have resource limitations that can prevent them from being perfect reasoners) In summary ([Perl94]) omniscience is irreparably out of line with the needs of any real reasoning agent. A number of reasons may be given ( Moli91] in order to justify the study of non ideal agents: ffl Ideal agents are physically impossible ( Denn84] ffl The agents that we can construct are necessarily ....
Perlis, D., "Logic for a lifetime", CS-TR-3278, Computer Science Dept., University of Maryland, 1994. (http://www.cs.umd.edu/TRs/TRumiacs-no-abs.html)
Modelling Rational Inquiry in Non-Ideal Agents - Moreno (1997) (Correct)
....an internal view of knowledge, as something that is acquired after a computation. It is clearly not a realistic model of either human agents (who are not logically omniscient) or computational agents (which have resource limitations that can prevent them from being perfect reasoners) In summary ([Perl94]) omniscience is irreparably out of line with the needs of any real reasoning agent. We may now state a more refined version of the aim of this work: to develop a way to model the process of rational inquiry (the evolution of a rational agent s set of beliefs over time as a consequence of its ....
Perlis, D., "Logic for a lifetime", CS-TR-3278, Computer Sci. Dept., Univ. of Maryland, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC