Circumscription and implicit definability
Journal of Automated Reasoning
The mathematics of inheritance systems
The mathematics of inheritance systems
Constructive belief and rational representation
Computational Intelligence
Impediments to universal preference-based default theories
Artificial Intelligence - Special issue on knowledge representation
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Relations between the logic of theory change and nonmonotonic logic
Proceedings of the Workshop on The Logic of Theory Change
AMORD explicit control of reasoning
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Micro-Planner Reference Manual
Micro-Planner Reference Manual
A Model for Deliberation, Action, And Introspection
A Model for Deliberation, Action, And Introspection
Epistemological problems of artificial intelligence
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
A society of mind: multiple perspectives, reasoned assumptions, and virtual copies
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Logical epistemology unduly sways theories of thinking that formulate problems of nonmonotonic reasoning as issues of nondeductive operations on logically phrased beliefs, because the fundamental concepts underlying such reasoning have little to do with logic or belief. These formulations make the resulting theories inappropriately special and hide the characteristic structures of nonmonotonic reasoning amid many unrelated structures. We present a more direct mathematical development of nonmonotonic reasoning free of extraneous logical and epistemological assumptions, and argue that the insights gained in this way exemplify the benefits obtained by approaching psychology as a subject for mathematical investigation through the discipline of rational psychology.