Article ID: | iaor1998326 |
Country: | Netherlands |
Volume: | 11 |
Issue: | 2 |
Start Page Number: | 157 |
End Page Number: | 190 |
Publication Date: | Feb 1994 |
Journal: | Decision Support Systems |
Authors: | Geerts P., Vermeir D., Nute D. |
Keywords: | Logic modelling |
Our goal is to provide a theoretical foundation for knowledge based applications which support nonmonotonic or defeasible reasoning and which incorporate the knowledge of multiple experts in a principled way. We present a generalized proof theory for defeasible reasoning and briefly explain the relationship of this system to other nonmonotonic formalisms. Then we present a proof theory and semantics for a logic that allows us to explicitly model internal perspectives or multiple agents. This