Inconsistency and semantic unification

Fuzzy Sets and Systems

Volumn 157, Issue 18, 2006, Pages 2513-2539

  Patching, R S ^a   Hinde, C J ^a   McCoy, S A ^b  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

^b Hazid Technologies Ltd   (United Kingdom)

Author keywords

Inconsistency; Mass assignment; Non classical logics; Semantic unification; Truth valuation

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; FUNCTION EVALUATION; SEMANTICS;

INCONSISTENCY; MASS ASSIGNMENT; NON-CLASSICAL LOGICS; SEMANTIC UNIFICATION; TRUTH VALUATION;

FUZZY SETS;

EID: 33746818278     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2006.05.006     Document Type: Article

References (18)

1. Baldwin J. A theory of mass assignments for artificial intelligence. Fuzzy Logic and Fuzzy Control, IJCAI'91 Workshops on Fuzzy Logic and Fuzzy Control (1991), Springer, Sydney, Australia 22-34
2. Baldwin J. A calculus for mass assignments in evidential reasoning. In: Yager R., Fedrizzi M., and Kapcprzyk J. (Eds). Advances in the Dempster-Shafer Theory of Evidence (1994), Wiley, New York 513-531
3. Baldwin J., Martin T., and Pilsworth B. Fril-fuzzy and evidential reasoning. Artificial Intelligence (1995), Research Studies Press Ltd, Taunton, UK
4. Belnap A. A useful four-valued logic. In: Epstein G., and Dunn J. (Eds). Modern Uses of Multiple-Valued Logic (1977), Reidel Publishing Company, Boston 7-37
5. L. Bertossi, A. Hunter, T. Schaub (Eds.), Inconsistency Tolerance, Lecture Notes in Computer Science, vol. 3300, Springer, Berlin, Heidelberg, 2004.
6. de Kleer J. Problem solving with the ATMS. Artificial Intelligence J. 28 (1986) 197-224
7. Dempster A. Upper and lower probabilities induced by a multivalued mapping. Ann. Math. Statist. 38 (1967) 325-339 further developed by Shafer Shafer (1976)
8. Dubois D., and Prade H. Possibility theory, probability theory and multiple valued logics: a clarification. Ann. Math. Artificial Intelligence 32 (2001) 35-66
9. Garey M., and Johnson D. Computers and Intractability a Guide to the Theory of NP-completeness (1979), W.H. Freeman, San Francisco
10. Hinde C., and Bray A. Concurrent engineering using collaborating truth maintanence systems. In: Bramer M. (Ed). Research and Development in Expert Systems (1992), Cambridge University Press, Cambridge 265-272
11. Patching R., Hinde C., and McCoy S. Generating the limits of truth-space mass assignment operators. In: Rossiter J., and Lawry J. (Eds). Proc. 2003 UK Workshop on Computational Intelligence (2003) 123-130
12. Popplestone R., Smithers T., Corney J., Koutsou A., Millington K., and Sahar G. Engineering design support systems. Proc. First Internat. Conf. on Applications of Artificial Intelligence (1986), Computational Mechanics Publications, Southampton
13. G. Provan, Efficiency analysis of multiple-context TMSs in scene representation, Technical Report OU-RRG-87-9, Robotics Research Group, Oxford University, 1988.
14. Scott D. Continuous lattices. Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics vol. 274 (1972), Springer, Berlin 97-136
15. Scott D. Some ordered sets in computer science. In: Rival I. (Ed). Ordered Sets (1982), Reidel Publishing Company, Boston 677-718
16. Shafer G. A Mathematical Theory of Evidence (1976), Princeton University Press, Princeton, NJ
17. Smets P., and Kennes R. The transferable belief model. Artificial Intelligence 66 (1994) 191-234
18. Zadeh L. Calculus of fuzzy restrictions. Fuzzy Sets and Their Application to Cognitive and Decision Processes (1975), Academic Press, New York 1-40