Possible Worlds in Production Systems: an Assumption-Based Framework for Nonmonotonic Reasoning.
Marcos CavalcantiPublished in: WOCFAI (1995)
Keyphrases
- production system
- nonmonotonic reasoning
- extended logic programs
- abductive reasoning
- logic programming
- multistage
- artificial intelligence
- default logic
- default reasoning
- production process
- belief revision
- markov decision
- nonmonotonic inference
- defeasible reasoning
- conditional logic
- defeasible logic
- fixed point
- sufficient conditions