Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Artificial Intelligence
Exploiting constraints in design synthesis
Exploiting constraints in design synthesis
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Epistemological problems of artificial intelligence
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
In this paper, we propose a solution to McCarthy's qualification problem (1O] based on the notion of possible worlds [3, 6]. We begin by noting that existing formal solutions to qualification seem to us to suffer from serious epistemological and computational difficulties. We present a formalization of action based on the notion of possible worlds, and show that our solution to the qualification problem avoids the difficulties encountered by earlier ones by associating to each action a set of domain constraints that can potentially block it. We also compare the computational resources needed by our approach with those required by other formulations.