Computer Science ›› 2025, Vol. 52 ›› Issue (6A): 240700139-5.doi: 10.11896/jsjkx.240700139
• Big Data & Data Science • Previous Articles Next Articles
ZHU Fuxi1, ZHU Lida2
CLC Number:
| [1]DA COSTA N.Automated Theorem Proving in Paraconsistent Logic[J].Journal of Automated Reasoning,1992,9(1):170-210. [2]DA COSTA N,RONDE D C.The Paraconsistent Logic ofQuantum Superpositions[J].Foundation of Physics,2013,43:845-858. [3]DA COSTA N C A,RONDE D C.Non-Reflexive Logical Foundation for Quantum Mechanics[J],Foundation of Physics,2014,44:1369-1380. [4]KIFER M, LOZINSKII E L.A Logic for Reasoning with In-consistency[J].Journal of Automated Reasoning,1992,9(2):179-215. [5]KIFER M,SUBRAHMANIAN V S.Theory of Generalized Annotated Logic Programming and its Applications[J].Journal of Logic Programming,1992,12(4):335-368. [6]ARIELI O,AVRON A.Logical Bilattices and inconsistent data[C]//Proceedings 9th IEEE Annual Symp.On Logic in Computer Science,Piscataway,N.J:IEEE Press,1994:468-476. [7]ARENAS M,BERTOSSI L,CHOMICKI J.Consistent QueryAnswers in Inconsistent Databases[C]//Proceedings ACM Symposium on Principles of Database Systems.Philadelphia:ACM PODS’99,1999:68-79. [8]ARENAS M,BERTOSSI L,KIFER M.Application of Annotated Predicate Calculus to Querying Inconsistent Databases[C]//6th International Conference on Rule and Objects in Databases(DOOD’2000).Berlin:Springer,2000:926-941. [9]BIRNBAUM E,LOZINSKII E L.Consistent Subsets of Inconsistent Systems.[EB/OL].[2002-06-09].http://citeseer.nj.nec.com/birnbaum02consistent.html. [10]MEHEUS J.Do We Need Paraconsistency in CommonsenseReasoning? Logic and Philosophy of Science[R].Belgium:Ghent University,2003. [11]MARE DARC DENECKER A.Circumscriptive Approaches to Paraconsistent Reasoning.[EB/OL].[2001-03-06].http://www.cs.kuleuven.ac.be. [12]BLAIR H.Paraconsistent Logic Programming [J].Theoretical Computer Science,1989(68):340-360. [13]GINSBERG M L.Multivalued Logics:A Uniform Approach to Reasoning in Artificial Intelligence[J].Computational Intelligence,1988(4):265-316. [14]GUI Q Q.What is Paraconsistent Logic[J].Logic and Lan-guage Learning,1988,4:20-23. [15]GUI Q Q.Paraconsistent Formal Systems:The Logic of SeekingCoordination in Contradictions[J].Journal of Wuhan University,1989(6) :34-38. [16]WANG WC,GUI QQ.Non-classical Logical Interpretations of Quantum Superposition State and Quantum Identity[J].Journal of Dialectics of Nature,September 2017,39(5):38-44. [17]GUI Q Q.On Complementary Logic,Dialectical Logic and Paraconsistent Logic[J].Henan Social Sciences,March 2010,18(2):57-60. [18]ZHANG Q Y.Paraconsistent Logic[M].Beijing:China Social Sciences Press,2003. [19]JU S E,LIU H.A Three-valued Logic Based on the Presupposition of an Open World[C]//863 Program Intelligent Computer Theme Academic Conference.2001:507-514. [20]ZHANG G Q.An Introduction to David Bohm’s Philosophy of Nature[M]//Jointly Published by the Management Committee of China Development Foundation in Taiwan and Hongye Culture Enterprise Co.,Ltd.,2002:85-116. [21]GUI Q Q,CHEN Z L,ZHU F X.Paraconsistent Logic and Artificial Intelligence (Academic Series of Wuhan University) [M]//Wuhan:Wuhan University Press,2002:176-180. [22]REN X M,GUI Q Q.A Phylogenesis Study of Non-Classical Logic Systems:Also on the Central Issue of the Philosophy of Logic[M]//Tianjin:Nankai University Press,2011:190-198. [23]LIN Z Q,LI W.Inconsistent Logic [J].Computer Science,1994(5) :190-198. [24]CHEN Z L,SHI Z Z.New Axiom RF of Paraconsistent Logic[C]//Proceedings of the Artificial Intelligence Academic Conference.1993:147-151. [25]ZHU F X,GONG C S,YU Z K.Paraconsistent Reasoning Based on XML[J].Journal of Wuhan University,2006,52(1):1023-1028. |
| [1] | . Rete Algorithm;Current Issues and Future Challenge [J]. Computer Science, 2012, 39(11): 8-12. |
|
||
Home