A design for reasoning with policies, precedents, and rationales
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Karma: knowledge-based active representations for metaphor and aspect
Karma: knowledge-based active representations for metaphor and aspect
Prepositional attitudes: Fregean representation and simulative reasoning
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Uncertainty and Conflict Handling in the ATT-Meta Context-Based System for Metaphorical Reasoning
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Hi-index | 0.00 |
An implemented context-based reasoning system called ATT-Meta is sketched. The system can perform both reasoning about beliefs of agents and metaphor-based reasoning. In particular, it can perform metaphor-based reasoning about beliefs and reasoning acts. The metaphor-based reasoning and belief reasoning facilities are fully integrated into a general framework for uncertain reasoning. This framework allows for uncertain reasoning and conflict resolution within individual contexts, uncertainty in individual inter-context bridging rules, conflict resolution between the effects of different bridging rules, and conflict-resolution across context boundaries when argumentation inside a context conflicts with argumentation outside.