The Role of Abductive Reasoning within the Process of Belief Revision

295 Pages·2012·1.1 MB·English

SIDERE·M M·MUTATO
ENS·EADE
The Role of Abductive Reasoning
within the Process of
Belief Revision
by
Maurice Pagnucco
A thesis submitted in fulfilment
of the requirements for the degree of
Doctor of Philosophy
Basser Department of Computer Science
University of Sydney
Australia
February 1996
Copyright (cid:0)c 1996byMauricePagnucco
Allrightsreserved
i
Statement
Apart from standard techniques and results, the use of the work of other authors has been
indicatedby referencesin the text. Parts of chapters4, 5 and 6 have beenpublishedunder
joint authorship with my supervisor Professor Norman Y. Foo and associate supervisor
DoctorAbhayaC.Nayakasindicated. InconformitywiththeregulationsoftheUniversity
ofSydneyitis claimedthattheworkpresentedaspartofthisdissertationis myown.
ii
iii
Abstract
An inquiring agent is concerned with obtaining as much new, error-free, information as
possible. One way of doing this is to simply incorporate information presented to an
agent as is. This strategy is adopted by many belief revision frameworks including the
popular AGM framework. A more natural strategy would be for the agent to first seek an
explanationorjustificationforthenewinformation. Afterdoingso,itcouldincorporatethe
explanationintoitsepistemicstatetogetherwiththenewinformation. Suchastrategywould
beparticularlyeffectiveiftheagent’ssituationdoesnotallowit toobtainnewinformation
easily. We model this strategy through the use of abductive reasoning. This allows us to
theninvestigatetheroleofabductiveinferencewithinabeliefrevisionframeworkbasedon
theAGM.Wenotonlylookattheincorporationofnewinformationbutalsoattheremoval
ofinformation.
Webeginbylookingatsomelogicalaspectsofabductionandtocontrastit,inapragmatic
sense,withtheprocessofinductionasperformedbyinverseresolution. Weproceedtode-
velopanaccountofanabductiveexpansionoperatorintheveinoftheAGMframework. A
definition,postulatesandseveralconstructions,reminiscentoftheAGM,aredevelopedto-
getherwithanumberofrepresentationtheorems. Itisalsoshownhowabductiveexpansion
is relatedto nonmonotonicinference, in particular, default reasoning. The processof con-
tractionistheninvestigatedandwenotehowabductioncanalreadybeviewedasanactive
part of this operation. However,abductiveexpansionand AGM contractiondo not exhibit
the dual behaviour one might expect. This leads us into an investigation of an alternate
operation known as Levi-contraction. We suggest a Grove style semantic modelling and
provideadditionalpostulatesinordertoobtaina completecharacterisation. Ouremphasis
onexpansionandcontractionisguidedtoalargeextentbyLevi’scommensurabilitythesis
whichstatesthatanyrevisioncanbeachievedthroughaseriesofexpansionandcontraction
operations. However,using our work on expansionand contraction,we brieflyinvestigate
the repercussionsfor an abductive revision operator determined through the Levi identity.
Itturnsoutthatthisproblemreliesheavilyonthatofiteratedrevision.
iv
v
Acknowledgements
TherearemanypeopleI shouldthankin regardtothis endeavourand nodoubtI willomit
some. TotheseIcanbutbegforgiveness.
I owe an enormous debt of gratitude to my supervisor Norman Foo for his guidance,
patience,encouragement,enthusiasmandgenerosity. Heprovided,intermsoftheKnowl-
edge Systems Group, a research environment second to none and an infectious thirst for
knowledge which was to be obtained not at any cost but as the result of serious thought
and rigorous investigation. Above all, I thank him for teaching me how one should do
Computer Science. I also owe an enormous debt to Abhaya Nayak for numerous discus-
sions and suggestions way beyond the call of duty and which have left their mark on the
contents of this dissertation. His impressive knowledge of belief revision and logic have
beenindispensable. WithouttheirhelpthisdissertationwouldbemuchlessthanitisandI
would like to thank them dearly for their help and friendship. I hope that, at least in part,
thisdissertationcanreflectwhatIhavelearntfromthem.
I would also like to thank Pavlos Peppas who was always ready to listen to new ideas and
to offer indispensable advice and suggestions. In this regard too, Mary-Anne Williams
deservesmysincerestgratitude. IamverygratefultoRexKwokforhishelpintypingand
proofreading and to Aditya Ghose and Tyrone O’Neill for excellent proofreading. Their
readiness to aid a colleague has exemplified the spirit of scientific endeavour. This spirit
has also been echoed to a large extent by the other members of the Knowledge Systems
Group over the years. In particular, I would like to thank Simon Dixon, Boon Toh Low,
JosephThurbon,KyleDean,WayneWobckeandYan Zhang. Manythanksarealsodueto
the staff and postgraduate students of the Basser Department of Computer Science at the
University of Sydney for providing an excellent atmosphere in which to do research and
learnaboutComputerScience.
I would like to thank the many professional colleagues that I have had the pleasure to
interactwith. Inparticular,AbdulSattar, PeterEklundand RandyGoebelfor theiradvice,
supportand encouragementand toPeterGa¨rdenfors,PeterJackson,Hans RottandKrister
Segerberg who were more than generous with their time — listening to my ideas and
vi
proffering insights, suggestions and encouragement. I would also like to thank Michael
Ranney for supplying me with a bundle of papers after I had simply requested one! I
wouldliketoacknowledgethesupportofan AustralianPostgraduateResearchAwardand
a University of Sydney Postgraduate Students’ Conference Travel Grant. An Automated
ReasoningProjectLogicSummerSchoolFellowshipduringJanuary1993toattendaLogic
SummerSchoolattheAustralianNationalUniversitywasalsoofgreathelp.
Onamorepersonalnote,Iwouldliketothankmanyfriendswhohaveprovidedinvaluable
support and encouragement. Thank you to those who shared the student’s lot: Nadima El
Hassan(forknowingwheretofindthebesttiramisu`),MatthewFarrow,MichaelFlanagan,
Dean Kuo, MichaelMitchelland Paul Tyler. Thanks to those that alleviatedthe tediumof
train travel over the years, Juli Flaherty, Lisa Kramer and Peter Payne in particular. And
manythankstootherpersonalfriends: PierreandJoannAbrahamse,MariaBeukers,Bruno
and Zoe Bianchi, Michael Jamieson, Robert and Maree Page, Michael Pennycook, Daniel
andReginaRossetto,GregoryandMadeleineSheehyandSureshViswasam.
Last and by no means least, I would like to thank my parents, my sister Lorena and her
family(Maurice,Paolo,MarissaandAlberto)andmy relatives. Their numeroussacrifices
andendlessencouragementisappreciatedasmuchasitisnotpossibletorepay;evenmore!
Ionlyhopethattheworkhereincan,atleastinsomelittleway,dojusticetotheirloveand
devotionthroughouttheyears.
Contents
Contents vii
ListofFigures xi
ListofTables xiii
Prologue xvii
1 Introduction 1
1.1 RelatedWork 7
(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
1.1.1 Levi’sRoutineandDeliberateExpansion 7
(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)
1.1.2 AbductionviaBeliefRevision 8
(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
1.1.3 AbductioninDatabaseUpdates 11
(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
1.2 Overview 13
(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)
1.3 TechnicalPreliminaries 14
(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)
2 BeliefRevision 19
2.1 FoundationalismVersusCoherentism 19
(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)
2.2 TheAGMFrameworkforBeliefRevision 24
(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)
vii
viii CONTENTS
2.2.1 Postulates 26
(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)
2.2.2 Constructions 31
(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)
2.3 Spohn—OrdinalConditionalFunctions 45
(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)
2.4 SummaryandDiscussion 47
(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
3 Abductive Reasoning 49
3.1 Peirce’s ConceptionofAbduction 50
(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
3.2 Set-CoverBasedApproachestoAbduction 51
(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)
3.2.1 ParsimoniousCoveringTheory 52
(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)
3.3 LogicBasedAbduction 56
(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
3.3.1 AbductionandDefaultLogic 65
(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
3.3.2 AbductionandNegationasFailure 67
(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)
3.3.3 AbductionandTruthMaintenance 68
(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)
3.3.4 KnowledgeLevelApproachtoAbduction 70
(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
3.3.5 ComputingAbduction 71
(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)
3.4 SummaryandDiscussion 73
(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
3.4.1 Why(Logical)Abduction? 74
(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)
4 ALogicalExpositionoftheNotionofAbduction 77
4.1 DefiningAbduction 77
(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)
4.2 Minimality 80
(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)
4.3 Triviality 82
(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)
4.4 Specificity 83
(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:2)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:2)(cid:0)(cid:3)(cid:0)(cid:1)(cid:0)(cid:3)(cid:0)