Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Contradiction and confirmation

Daniel Poulin1, Pierre St-Vincent2 and Paul Bratley2

(1)  Centre de recherche en droit public, Université de Montréal, C.P. 6128, Succursale A, H3C 3J7 Montréal, Québec, Canada
(2)  Département d'informatique et de r.o., Université de Montréal, C.P. 6128, Succursale A, H3C 3J7 Montréal, Québec, Canada
Abstract
In most expert systems, efforts are made to keep the rules in the knowledge base free from contradictions., because a logical system that generates even a single contradiction may collapse. We argue that not only can contradictions be tolerated, but in fact they are useful. An excellent test of an argument is to compare it with the best argument for the opposing view. Accordingly, we propose a multilevel architecture, where the object level may include contradictory rules, and the metalevels resolve these conflicts. Once such an architecture exists, there are advantages to allowing contradictions in wider contexts. In a legal context we may want to examine both sides of an argument. In administrative applications, we may need systems that lsquolook over a clerk's shoulderrsquo to check that he is following one of several plausible, but not necessarily compatible, approaches. We are currently implementing these ideas.
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.114 • Server: mpweb18
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)