I have a quick question about modeling and have a vague understanding of it but I'm not quite sure if I'm right or how to handle it.
Say I'm trying to model something like cars and I have a make and model. It might seem reasonable to model a model (Camery) as a class and my particular car an instance of a Camery. That's nice because I can infer a bunch of properties of my car given it's model
<myCar> a :Camery but say I change the wheels. I can't really say that it's a Camery anymore, either that or I can't infer anything based on the model of car.
I think the problem I'm having it's it's non-monotomic and what I'm looking for is a defeasible reasoner. I've also seen some papers on epistemic reasoning, although I'm not sure what the difference between defeasible and epistemic reasoning is if any.
Is my intuition about the reasoning correct? If it is are there best practices for handling this with monotonic reasoning. It seems like heavy use of punning could get you part of the way there but it doesn't quite seem right. Do I fall back on a probabilistic approach?
It seems to come up often and it would be nice to be able to either steer people away from this, warn them, or offer a way to handle it. Right now I'm not quite sure what to do.
Most of the information that I've found on defeasable reasoning is somewhat old. Is this something people are still working on?