论文信息 - A Logic of Inequalities

A Logic of Inequalities

A logical system is presented that tolerates partial or total contradictions or incomplete information. Every set of formulas in such a system has a model. Other theoretical properties were also investigated concerning the generalization of the notion of contradiction from classical logic. Applications to knowledge representation were considered and a way was proposed to represent generic and explicit information while providing monotonic inference.

Nikolai G. Nikolov | N. Nikolov

[1] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..

[2] Randy Goebel,et al. The ECO family , 1992 .

[3] Lotfi A. Zadeh,et al. A New Direction in AI: Toward a Computational Theory of Perceptions , 2001, AI Mag..

[4] Franz Baader,et al. Description Logics with Symbolic Number Restrictions , 1996, ECAI.

[5] Didier Dubois,et al. Timed possibilistic logic , 1991, Fundam. Informaticae.

[6] Matthew L. Ginsberg. Bilattices and Modal Operators , 1990, J. Log. Comput..

[7] H. Prade,et al. Possibilistic logic , 1994 .

[8] Krassimir T. Atanassov,et al. Intuitionistic fuzzy sets , 1986 .

[9] D. Faust. The concept of evidence , 2000 .

[10] R. Sikorski,et al. The mathematics of metamathematics , 1963 .

[11] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .

[12] Philippe Fortemps,et al. A Graded Quadrivalent Logic for Ordinal Preference Modelling: Loyola–Like Approach , 2002, Fuzzy Optim. Decis. Mak..