Logics Based on Open-world Assumption - A kind of logics for cognition
The institute of logic and cognition,
The center of language of cognition,
This lecture will analyze the logical characters of open-ended classes, and then introduce our work about the logical systems based on Open-world assumption (OWA).
REFERENCES:
Levi, I., Decisions and Revisions,
Lukasiewize, W., Non-Monotonic Reasoning. Ellis Horwood, 1990
Quine, W. V., Ontological Relativity and Other Essays,
Rescher, N., Many - Valued Logic, McGrraw - Hill Book Company 1969.
Reiter, R., “ On Closed World Data Bases”, In Herve Gallaire and Jack Minker, editors, Logic and Data Bases. Plenum Press,
Shackle, G., Decision, Order and Time In Human Affairs,
Shackle, G., Expectation in Economics,
Shier J., “Negation and the Closeness of the Classes of Possible Worlds,” in Studies in Dialectics of Nature, No. 11, 1997
Shier J., “A Three-valued Sentential Calculus Based on the Open-world Assumption,” in J. of Sun Yatsen University, No.5, 1997(b)
Shier J.,The Studies on Inductive logic of Non-Pascal Probability, Zhejiang Publishing House, 1993
Smets, P., “Belief Functions” in Non-Standard Logics for Automated Reasoning, ed. P. Smets, E.H. Mamdani, D.Dubois and H. Prade, Academic Press. 1988
Wittgenstein, L., Philosophical Investigations.