Abstract | ||
---|---|---|
We examine modal logical systems, with generalized operators, for the precise treatment of vague notions such as 'often', 'a meaningful subset of a whole', 'most', 'generally' etc. The intuition of 'most' as "all but for a 'negligible' set of exceptions" is made precise by means of filters. We examine a modal logic, with a new modality for a local version of 'most' and present a sound and complete axiom system. We also discuss some variants of this modal logic. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-28645-5_1 | ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2004 |
Keywords | Field | DocType |
modal logic,vague notions,most,filter,knowledge representation | Modalities,Knowledge representation and reasoning,Logical connective,Normal modal logic,Axiom,Computer science,Modal logic,Artificial intelligence,Operator (computer programming),Machine learning,Modal | Conference |
Volume | ISSN | Citations |
3171 | 0302-9743 | 3 |
PageRank | References | Authors |
0.53 | 4 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mario R. F. Benevides | 1 | 143 | 23.75 |
Carla A. D. M. Delgado | 2 | 22 | 3.85 |
Renata P. de Freitas | 3 | 38 | 5.53 |
Paulo A. S. Veloso | 4 | 226 | 183.55 |
Sheila R. M. Veloso | 5 | 74 | 14.47 |