In this paper, I will focus on the debate between descriptivism and anti-descriptivism theory about proper names. In the introduction, l will propose an historical reconstruction of the debate, and focus in particular...In this paper, I will focus on the debate between descriptivism and anti-descriptivism theory about proper names. In the introduction, l will propose an historical reconstruction of the debate, and focus in particular on Russell and Kripke＇s treatments of proper names. Strong criticisms will be advanced against Kripke＇s hypothesis of rigid-designator and, more deafly, against the consequent distinction between the epistemic and metaphysical level that Kripke proposes to explain identity assertions between proper names. Furthermore, I will argue, that, pace Kripke, Russellian treatment of proper names allows to capture all our semantic intuitions, and also those semantic interpretations which concern context-belief sentences. I will close the introduction by focusing on a criticism that Kripke rightly points out against an example that Russell proposes in his On Denoting. Section 2 will be devoted to Russellian solution： I will show that not only Russell＇s logical treatment of proper names allows to answer to Kripke＇s criticism to Russell＇s example, but also that such treatment can disambiguate and express all our semantic intuitions about Frege＇s puzzle sentence ＂Hesperus is Phosphorus.＂ ! will then show that, contrarily, Quinian solution （discussed in section 3） and Kripkian one （see section 4） are not satisfactory to capture our semantic knowledge about Frege＇s sentence. Furthermore, in section 5, I will focus on Kripke＇s distinction between epistemic and metaphysical level to deal with identity assertions between proper names, and I will logically show that such distinction is not plausible. In section 5, then, I will show that Russellian solution allows to explain context-belief sentences, contrarily to what Kripke thinks. In Conclusions, I will summarize what 1 have argued in the text.展开更多
To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressi...To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph （AG）, which is directed labeled graph, is defined and a new AG-based retrieval method is put forward...To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph （AG）, which is directed labeled graph, is defined and a new AG-based retrieval method is put forward. This method converts the knowledge base and query clause into knowledge AG and query AG by making use of the given rules and then makes use of graph traversal to carry out knowledge base retrieval. The experiment indicates that the efficiency of this method exceeds, respectively, the popular RACER and KAON2 system by 0.4% and 3.3%. This method can obviously promote the efficiency of knowledge base retrieval.展开更多
To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is present...To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewri...Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.展开更多
Thomas S. Kuhn is one of the leading philosophers and historians of science that investigated in-depth cases of simultaneous discoveries in science. Although his analysis of the discovery of energy conservation and ox...Thomas S. Kuhn is one of the leading philosophers and historians of science that investigated in-depth cases of simultaneous discoveries in science. Although his analysis of the discovery of energy conservation and oxygen did not focus sharply on the priority disputes involved, it is within such contexts that controversy about which scientist was the first to make a discovery takes place. Evidently, Kuhn＇s recourse to historical case studies is a clear departure from the standpoint of traditional mainstream philosophies of science （namely, logical positivism and falsificationism）, which cavalierly dismissed such concerns as irrelevant to philosophical reconstructions of science Challenges to orthodox logistic approaches were prompted by the realisation that the two dominant traditions mentioned above, in their excessive preoccupation with ＂the logical skeleton of science＂, have lost contact with real science. As a contribution to what Michael Polanyi referred to as post-critical philosophy, the present study reanalyses the tension-generating potentials of bipolar values shared by members of scientific communities. It traces the origins of the rebellion against logic-dominated philosophies of science, and identifies different post-positivist approaches that have eme^rged over the years which legitimise broadening the frontiers of the philosophy of science. Consequent upon that, some conflicting values or norms shared by members of scientific communities and how they affect the quest for scientific knowledge are underscored. Using as a case study the acrimonious priority dispute between Isaac Newton and Gottfried Leibniz concerning the discovery of calculus, the paper demonstrates that excessive concern for recognition which sometimes leads to protracted priority disputes tends to bring out the worst kind of behaviours towards colleagues even from the greatest scientists. We submit, by way of conclusion, that despite the heroic （almost god-like） reputation of such scientists, they are human and, therefore, subject to the vicissitudes of emotional turbulence just like everyone else.展开更多
Compared with the skills of listening and speaking, reading is commonly considered to be one of the most difficult skills to be improved for the middle school students. The slow progression results from various obstac...Compared with the skills of listening and speaking, reading is commonly considered to be one of the most difficult skills to be improved for the middle school students. The slow progression results from various obstacles the students might confront in their reading. This essay makes a summary of various difficulties that hinder the students＇ successful reading comprehension, from the aspects of vocabulary, sentence and grammar, understanding of a passage, habits of reading, logic thinking, meanings of language and culture background.展开更多
Automatic Question Answer System(QAS)is a kind of high-powered software system based on Internet.Its key technology is the interrelated technology based on natural language understanding,including the construction of ...Automatic Question Answer System(QAS)is a kind of high-powered software system based on Internet.Its key technology is the interrelated technology based on natural language understanding,including the construction of knowledge base and corpus,the Word Segmentation and POS Tagging of text,the Grammatical Analysis and Semantic Analysis of sentences etc.This thesis dissertated mainly the denotation of knowledge-information based on semantic network in QAS,the stochastic syntax-parse model named LSF of knowledge-information in QAS,the structure and constitution of QAS.And the LSF model's parameters were exercised,which proved that they were feasible.At the same time,through "the limited-domain QAS" which was exploited for banks by us,these technologies were proved effective and propagable.展开更多
Given that preaching is the primary mode of public theological discourse for most Christian ministers, an intellectual virtue of verbal restraint is required when practicing public theology and it is wise to address t...Given that preaching is the primary mode of public theological discourse for most Christian ministers, an intellectual virtue of verbal restraint is required when practicing public theology and it is wise to address the ways that homilies can shepherd public discourse practices. A theology of rhetoric includes the homilist＇s moral purpose. Homilies either enhance public discourse or pervert it. This essay sketches a pattern of sermon movement that respects the logic operative in public theology, given the social context of America. Homilies can help cultivate the pastoral care of public rhetoric by modeling discourse that nurtures the politics of accountability. While many call for a public ethos where divergent moral voices engage each other in highly contested arenas, a precondition to practicing effective public theology requires that one exercises discourse in a way that respects the social limits on the free exercise of religion. It is important that a public theology of rhetoric clarifies the original social agreement for acceptable religious discourse in the public arena. Homiletics, as a dimension of practical theology, can teach preachers methods of pastoral care for public discourse. The social agreement in liberal democracies to contain the combative nature of religious discourse assumes a logic that is circumscribed by commitments to （1） religious pluralism, （2） theological agnosticism, and （3） epistemological pragmatism. Here we propose that a sermon＇s form, which implicitly touches upon these commitments, can tap into the basic modes of persuasion in secular liberal societies. This respects the moral purposes previously agreed upon and expected of partisans during highly contestable times. This calls for incarnational humility on the part of the Christian public theologian and it guides her/his practice.展开更多
文摘In this paper, I will focus on the debate between descriptivism and anti-descriptivism theory about proper names. In the introduction, l will propose an historical reconstruction of the debate, and focus in particular on Russell and Kripke＇s treatments of proper names. Strong criticisms will be advanced against Kripke＇s hypothesis of rigid-designator and, more deafly, against the consequent distinction between the epistemic and metaphysical level that Kripke proposes to explain identity assertions between proper names. Furthermore, I will argue, that, pace Kripke, Russellian treatment of proper names allows to capture all our semantic intuitions, and also those semantic interpretations which concern context-belief sentences. I will close the introduction by focusing on a criticism that Kripke rightly points out against an example that Russell proposes in his On Denoting. Section 2 will be devoted to Russellian solution： I will show that not only Russell＇s logical treatment of proper names allows to answer to Kripke＇s criticism to Russell＇s example, but also that such treatment can disambiguate and express all our semantic intuitions about Frege＇s puzzle sentence ＂Hesperus is Phosphorus.＂ ! will then show that, contrarily, Quinian solution （discussed in section 3） and Kripkian one （see section 4） are not satisfactory to capture our semantic knowledge about Frege＇s sentence. Furthermore, in section 5, I will focus on Kripke＇s distinction between epistemic and metaphysical level to deal with identity assertions between proper names, and I will logically show that such distinction is not plausible. In section 5, then, I will show that Russellian solution allows to explain context-belief sentences, contrarily to what Kripke thinks. In Conclusions, I will summarize what 1 have argued in the text.
基金The National Natural Science Foundation of China(No.60373066,60425206,90412003),the National Basic Research Pro-gram of China (973Program)(No.2002CB312000),the Innovation Plan for Jiangsu High School Graduate Student, the High TechnologyResearch Project of Jiangsu Province (No.BG2005032), and the Weap-onry Equipment Foundation of PLA Equipment Ministry ( No.51406020105JB8103).
文摘To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金The National Natural Science Foundation of China(No.69975010,60374054),the National Research Foundation for the Doctoral Program of Higher Education of China (No.20050007023).
文摘To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph （AG）, which is directed labeled graph, is defined and a new AG-based retrieval method is put forward. This method converts the knowledge base and query clause into knowledge AG and query AG by making use of the given rules and then makes use of graph traversal to carry out knowledge base retrieval. The experiment indicates that the efficiency of this method exceeds, respectively, the popular RACER and KAON2 system by 0.4% and 3.3%. This method can obviously promote the efficiency of knowledge base retrieval.
基金Program for New Century Excellent Talents in Uni-versity (NoNCET-05-0288)
文摘To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金National Natural Science Foundation ofChina (No. 60173033) and 973 Project( No. 2002CB312002 ) of China, andGrand Project of the Science and Tech-nology Commission of Shanghai Munici-pality ( No. 03dz15027 and No.03dz15028)
文摘Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.
文摘Thomas S. Kuhn is one of the leading philosophers and historians of science that investigated in-depth cases of simultaneous discoveries in science. Although his analysis of the discovery of energy conservation and oxygen did not focus sharply on the priority disputes involved, it is within such contexts that controversy about which scientist was the first to make a discovery takes place. Evidently, Kuhn＇s recourse to historical case studies is a clear departure from the standpoint of traditional mainstream philosophies of science （namely, logical positivism and falsificationism）, which cavalierly dismissed such concerns as irrelevant to philosophical reconstructions of science Challenges to orthodox logistic approaches were prompted by the realisation that the two dominant traditions mentioned above, in their excessive preoccupation with ＂the logical skeleton of science＂, have lost contact with real science. As a contribution to what Michael Polanyi referred to as post-critical philosophy, the present study reanalyses the tension-generating potentials of bipolar values shared by members of scientific communities. It traces the origins of the rebellion against logic-dominated philosophies of science, and identifies different post-positivist approaches that have eme^rged over the years which legitimise broadening the frontiers of the philosophy of science. Consequent upon that, some conflicting values or norms shared by members of scientific communities and how they affect the quest for scientific knowledge are underscored. Using as a case study the acrimonious priority dispute between Isaac Newton and Gottfried Leibniz concerning the discovery of calculus, the paper demonstrates that excessive concern for recognition which sometimes leads to protracted priority disputes tends to bring out the worst kind of behaviours towards colleagues even from the greatest scientists. We submit, by way of conclusion, that despite the heroic （almost god-like） reputation of such scientists, they are human and, therefore, subject to the vicissitudes of emotional turbulence just like everyone else.
文摘Compared with the skills of listening and speaking, reading is commonly considered to be one of the most difficult skills to be improved for the middle school students. The slow progression results from various obstacles the students might confront in their reading. This essay makes a summary of various difficulties that hinder the students＇ successful reading comprehension, from the aspects of vocabulary, sentence and grammar, understanding of a passage, habits of reading, logic thinking, meanings of language and culture background.
基金Sponsored by the National Natural Science Foundation of China(Grant No.60305009)the Ph.D Degree Teacher Foundation of North China Electric Power University(Grant No.H0585).
文摘Automatic Question Answer System(QAS)is a kind of high-powered software system based on Internet.Its key technology is the interrelated technology based on natural language understanding,including the construction of knowledge base and corpus,the Word Segmentation and POS Tagging of text,the Grammatical Analysis and Semantic Analysis of sentences etc.This thesis dissertated mainly the denotation of knowledge-information based on semantic network in QAS,the stochastic syntax-parse model named LSF of knowledge-information in QAS,the structure and constitution of QAS.And the LSF model's parameters were exercised,which proved that they were feasible.At the same time,through "the limited-domain QAS" which was exploited for banks by us,these technologies were proved effective and propagable.
文摘Given that preaching is the primary mode of public theological discourse for most Christian ministers, an intellectual virtue of verbal restraint is required when practicing public theology and it is wise to address the ways that homilies can shepherd public discourse practices. A theology of rhetoric includes the homilist＇s moral purpose. Homilies either enhance public discourse or pervert it. This essay sketches a pattern of sermon movement that respects the logic operative in public theology, given the social context of America. Homilies can help cultivate the pastoral care of public rhetoric by modeling discourse that nurtures the politics of accountability. While many call for a public ethos where divergent moral voices engage each other in highly contested arenas, a precondition to practicing effective public theology requires that one exercises discourse in a way that respects the social limits on the free exercise of religion. It is important that a public theology of rhetoric clarifies the original social agreement for acceptable religious discourse in the public arena. Homiletics, as a dimension of practical theology, can teach preachers methods of pastoral care for public discourse. The social agreement in liberal democracies to contain the combative nature of religious discourse assumes a logic that is circumscribed by commitments to （1） religious pluralism, （2） theological agnosticism, and （3） epistemological pragmatism. Here we propose that a sermon＇s form, which implicitly touches upon these commitments, can tap into the basic modes of persuasion in secular liberal societies. This respects the moral purposes previously agreed upon and expected of partisans during highly contestable times. This calls for incarnational humility on the part of the Christian public theologian and it guides her/his practice.
