In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset ...In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.展开更多
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.展开更多
In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neit...In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.展开更多
Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in w...Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.展开更多
Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term...Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.展开更多
This paper proposes an algorithm applied in se mantic P2P network based on the description logics with the purpose for realizing the concepts distribution of resources, which makes the resources semantic locating easy...This paper proposes an algorithm applied in se mantic P2P network based on the description logics with the purpose for realizing the concepts distribution of resources, which makes the resources semantic locating easy. With the idea of the consistent hashing in the Chord, our algorithm stores the addresses and resources with the values of the same type to select instance. In addition, each peer has its own ontology, which will be completed by the knowledge distributed over the network during the exchange of CHGs （classification hierarchy graphs）. The hierarchy classification of concepts allows to find matching resource by querying to the upper level concept because the all concepts described in the CHG have the same root.展开更多
Logicians have worked with so many different logical systems that it is not possible even to esti-mate the number. Of these, many are best seen as extensions of classical logic, including both thoseof interest to math...Logicians have worked with so many different logical systems that it is not possible even to esti-mate the number. Of these, many are best seen as extensions of classical logic, including both thoseof interest to mathematics and those of interest to philosophy and computer science. (Henceforth Iwill use the term "intelligent systems theory" for the common ground of philosophical logic and展开更多
Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the t...Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the theorem provers of conventional nonmonotonic logics, but they can't represent and deal with prioritized nonmonotonic reasoning. This paper presented stratified truth maintenance systems which can represent and deal with prioritized justifications. It will be shown that the stratified ATMS can be used as a theorem prover of prioritized nonmonotonic logics.展开更多
Cells are open systems that exchange energy and molecules with their environment.As any material system,they perform all the complex activities required for homeostasis and reproduction,obeying the thermodynamic laws....Cells are open systems that exchange energy and molecules with their environment.As any material system,they perform all the complex activities required for homeostasis and reproduction,obeying the thermodynamic laws.This viewpoint will argue that the basic logic governing the energy flux required to preserve cell organization and function is simple:to decrease the activation energy(Ea)of specific processes.Almost none of the possible chemical reactions and energy transformations inside a cell occur at a measurable speed at room or body temperature.Enzymes or other macromolecular structures speed up particular transformations by decreasing the corresponding energetic barriers.However,to maintain the systems in a homeostatic state,capable of sophisticated functions based on this simple strategy requires an inconceivably complex solution.The conclusion will point to the challenging and intricate problems that cells have solved to carve the highly regulated channel through which the energy flows,fueling the work of these nanoscale machines.展开更多
As one of the oldest human civilizations,the Chinese nation once created brilliant ancient and classical culture.However,in transition to modernity,as China became a late comer of modernization,the Chinese nation has ...As one of the oldest human civilizations,the Chinese nation once created brilliant ancient and classical culture.However,in transition to modernity,as China became a late comer of modernization,the Chinese nation has chosen the Party as the leading force in constructing its modern culture.Guided by Marxism,the Communist Party of China(CPC)has advanced展开更多
We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoret...We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoretical analysis of our rules using the strand spaceformalism, and show the soundness of our idealization rules under strand spaces Some examples onusing the new rules to analyze security protocols are also concerned. Our idealization method ismore effective than Mao's method towards many protocol instances, and is supported by a formalmodel.展开更多
Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative ...Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative memory,image recognition and digital logical mapping. In this paper,robustness or tolerance is introduced and newly defined for this kind of neuron ac-cording to both their mathematical model and the perceptron neuron's definition of robustness. Also,the most robust design for basic digital logics of multiple variables is proposed based on these robust neurons. Our proof procedure shows that,in robust design each weight only takes the value of i or -i,while the value of threshold is with respect to the number of variables. The results demonstrate the validity and simplicity of using robust neurons for realizing arbitrary digital logical functions.展开更多
In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A m...In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A model involving a clear probabilistic interpretation from the very beginning is provided by the quantum logics with unique conditional probabilities. It includes the projection lattices in von Neumann algebras and here probability conditionalization becomes identical with the state transition of the Lueders-von Neumann measurement process. This motivates the definition of a hierarchy of five compatibility and comeasurability levels in the abstract setting of the quantum logics with unique conditional probabilities. Their meanings are： the absence of quantum interference or influence, the existence of a joint distribution, simultaneous measurability, and the independence of the final state after two successive measurements from the sequential order of these two measurements. A further level means that two elements of the quantum logic （events） belong to the same Boolean subalgebra. In the general case, the five compatibility and comeasurability levels appear to differ, but they all coincide in the common Hilbert space formalism of quantum mechanics, in von Neumann algebras, and in some other cases.展开更多
Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations o...Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.展开更多
Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although...Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for formal specification of real-time and complex systems, an up to date survey of these logics does not exist in the literature. In this paper we analyse various temporal formalisms introduced for specification, including propositional/first-order linear temporal logics, branching temporal logics, interval temporal logics, real-time temporal logics and probabilistic temporal logics. We give decidability, axiomatizability, expressiveness, model checking results for each logic analysed. We also provide a comparison of features of the temporal logics discussed.展开更多
This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke se...This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.展开更多
The purpose of this study was to describe and analyze how and why contradictions recurrently arise regarding how incoming emergency calls at dispatch centers should be assessed,sorted,and handled.The study is based on...The purpose of this study was to describe and analyze how and why contradictions recurrently arise regarding how incoming emergency calls at dispatch centers should be assessed,sorted,and handled.The study is based on data from documents,study visits,and interviews with representatives from dispatch operators in a Swedish context.The results identify competing alarm and healthcare logics that are incompatible,which leads to contradictions between the national and regional approaches and,consequently,makes collaboration more difficult and affects the precision of emergency call assessment.The study also shows that the assessments of emergency calls are governed more by which logic is applied than by the assessor's formal competence.The study highlights the importance of feedback and subsequent analysis from the health service to the initial call assessment stage,which can improve the alarm logic's weaknesses with over-triage,without extending the response time.We also focused on the mechanisms required to develop and maintain a long-term sustainable alarm function.展开更多
Ferroelectric materials hold great potential for modulating two-dimensional(2D)materials to achieve electrically tunable homojunction(ETH).However,ETH based on conventional ferroelectrics encounters significant challe...Ferroelectric materials hold great potential for modulating two-dimensional(2D)materials to achieve electrically tunable homojunction(ETH).However,ETH based on conventional ferroelectrics encounters significant challenges attributed to the surface with dangling bonds and the associated depolarization field.Here,we introduce a novel 2D ETH device based on the anomalous interfacial effect between 2D layered ferroelectric CuCrP_(2)S_(6) and ambipolar WSe_(2),creating a versatile platform for nonvolatile memory and high-performance optoelectronic applications.The device capitalizes on the realization of ETH through a localized doping strategy facilitated by ferroelectric polarizationassisted charge trapping.When modulated to a p–n junction diode,the device showcases superior rectifying characteristics and high-performance selfpowered photodetection,with a highest responsivity over 0.14 A·W^(-1).Moreover,the nonvolatile ETH device enables a single device to implement complex optoelectronic logics of exclusive OR(XOR),OR,and not implication(NIMP)that can be reconfigured by light illumination.Compared to the traditional CMOS-based logics,the ETH device significantly reduces the transistor number by 87.5%,83.3%,and 87.5%for XOR,OR,and NIMP,respectively.The successful demonstration of the ETH device based on 2D ferroelectric materials paves the way for the development of advanced and simplified photo-electric interconnected circuits.展开更多
The coordinated development of regional higher education has become a strategic foundation for building a leading country in education and advancing regional modernization.Promoting the coordinated development of regi...The coordinated development of regional higher education has become a strategic foundation for building a leading country in education and advancing regional modernization.Promoting the coordinated development of regional higher education is a complex and often contradictory process shaped by multiple institutional logics.The Chinese central government demonstrates a dual approach by promoting regional connectivity and cooperation while encouraging local competition.Local governments strive to maximize their own interests,oscillating between cooperation and competition.Public higher education institutions(HEls)are constrained by the centralized higher education governance system,lacking sufficient motivation to engage in regional cooperation.To achieve high-quality coordinated development of regional higher education,it is essential to address local government competition and reform government-HEl relations.This requires institutional innovation in governance at the central-local and state-society levels.Key pathways for promoting the coordinated development of regional higher education include incorporating such development into the performance assessment metrics for local governments,enhancing the coordination mechanisms of the central government for regional higher education cooperation,expanding the operational autonomy of public HEls to increase regional cooperation opportunities,and encouraging social entities to actively participate in the coordinated development of regional higher education.展开更多
基金supported by the National Social Science Fund of China(No.20CZX048)。
文摘In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.
基金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.
基金supported by the MOE Project of Humanities and Social Sciences of China(Grant No.21YJA72040001)。
文摘In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.
文摘Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.
基金National Natural Science Foundation ofChina(No.70 2 710 3 8)
文摘Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.
基金Supported by the National Natural Science Foun-dation of China (60403027)
文摘This paper proposes an algorithm applied in se mantic P2P network based on the description logics with the purpose for realizing the concepts distribution of resources, which makes the resources semantic locating easy. With the idea of the consistent hashing in the Chord, our algorithm stores the addresses and resources with the values of the same type to select instance. In addition, each peer has its own ontology, which will be completed by the knowledge distributed over the network during the exchange of CHGs （classification hierarchy graphs）. The hierarchy classification of concepts allows to find matching resource by querying to the upper level concept because the all concepts described in the CHG have the same root.
文摘Logicians have worked with so many different logical systems that it is not possible even to esti-mate the number. Of these, many are best seen as extensions of classical logic, including both thoseof interest to mathematics and those of interest to philosophy and computer science. (Henceforth Iwill use the term "intelligent systems theory" for the common ground of philosophical logic and
文摘Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the theorem provers of conventional nonmonotonic logics, but they can't represent and deal with prioritized nonmonotonic reasoning. This paper presented stratified truth maintenance systems which can represent and deal with prioritized justifications. It will be shown that the stratified ATMS can be used as a theorem prover of prioritized nonmonotonic logics.
文摘Cells are open systems that exchange energy and molecules with their environment.As any material system,they perform all the complex activities required for homeostasis and reproduction,obeying the thermodynamic laws.This viewpoint will argue that the basic logic governing the energy flux required to preserve cell organization and function is simple:to decrease the activation energy(Ea)of specific processes.Almost none of the possible chemical reactions and energy transformations inside a cell occur at a measurable speed at room or body temperature.Enzymes or other macromolecular structures speed up particular transformations by decreasing the corresponding energetic barriers.However,to maintain the systems in a homeostatic state,capable of sophisticated functions based on this simple strategy requires an inconceivably complex solution.The conclusion will point to the challenging and intricate problems that cells have solved to carve the highly regulated channel through which the energy flows,fueling the work of these nanoscale machines.
文摘As one of the oldest human civilizations,the Chinese nation once created brilliant ancient and classical culture.However,in transition to modernity,as China became a late comer of modernization,the Chinese nation has chosen the Party as the leading force in constructing its modern culture.Guided by Marxism,the Communist Party of China(CPC)has advanced
文摘We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoretical analysis of our rules using the strand spaceformalism, and show the soundness of our idealization rules under strand spaces Some examples onusing the new rules to analyze security protocols are also concerned. Our idealization method ismore effective than Mao's method towards many protocol instances, and is supported by a formalmodel.
文摘Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative memory,image recognition and digital logical mapping. In this paper,robustness or tolerance is introduced and newly defined for this kind of neuron ac-cording to both their mathematical model and the perceptron neuron's definition of robustness. Also,the most robust design for basic digital logics of multiple variables is proposed based on these robust neurons. Our proof procedure shows that,in robust design each weight only takes the value of i or -i,while the value of threshold is with respect to the number of variables. The results demonstrate the validity and simplicity of using robust neurons for realizing arbitrary digital logical functions.
文摘In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A model involving a clear probabilistic interpretation from the very beginning is provided by the quantum logics with unique conditional probabilities. It includes the projection lattices in von Neumann algebras and here probability conditionalization becomes identical with the state transition of the Lueders-von Neumann measurement process. This motivates the definition of a hierarchy of five compatibility and comeasurability levels in the abstract setting of the quantum logics with unique conditional probabilities. Their meanings are： the absence of quantum interference or influence, the existence of a joint distribution, simultaneous measurability, and the independence of the final state after two successive measurements from the sequential order of these two measurements. A further level means that two elements of the quantum logic （events） belong to the same Boolean subalgebra. In the general case, the five compatibility and comeasurability levels appear to differ, but they all coincide in the common Hilbert space formalism of quantum mechanics, in von Neumann algebras, and in some other cases.
文摘Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.
文摘Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for formal specification of real-time and complex systems, an up to date survey of these logics does not exist in the literature. In this paper we analyse various temporal formalisms introduced for specification, including propositional/first-order linear temporal logics, branching temporal logics, interval temporal logics, real-time temporal logics and probabilistic temporal logics. We give decidability, axiomatizability, expressiveness, model checking results for each logic analysed. We also provide a comparison of features of the temporal logics discussed.
基金supported by China Postdoctoral Science Foundation(2024M750225).
文摘This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.
文摘The purpose of this study was to describe and analyze how and why contradictions recurrently arise regarding how incoming emergency calls at dispatch centers should be assessed,sorted,and handled.The study is based on data from documents,study visits,and interviews with representatives from dispatch operators in a Swedish context.The results identify competing alarm and healthcare logics that are incompatible,which leads to contradictions between the national and regional approaches and,consequently,makes collaboration more difficult and affects the precision of emergency call assessment.The study also shows that the assessments of emergency calls are governed more by which logic is applied than by the assessor's formal competence.The study highlights the importance of feedback and subsequent analysis from the health service to the initial call assessment stage,which can improve the alarm logic's weaknesses with over-triage,without extending the response time.We also focused on the mechanisms required to develop and maintain a long-term sustainable alarm function.
基金Natural Science Foundation of China,Grant/Award Number:62274118Singapore National Research Foundation Investigatorship Program,Grant/Award Number:NRF NRFI08-2022-0009+2 种基金SUSTech-NUS Joint Research ProgramScience and Engineering Research Council of A*STAR(Agency for Science,Technology and Research)Singapore,Grant/Award Number:A20G9b0135Science and Technology Commission of Shanghai Municipality,the Shanghai Venus Sailing Program,Grant/Award Number:24YF2712800。
文摘Ferroelectric materials hold great potential for modulating two-dimensional(2D)materials to achieve electrically tunable homojunction(ETH).However,ETH based on conventional ferroelectrics encounters significant challenges attributed to the surface with dangling bonds and the associated depolarization field.Here,we introduce a novel 2D ETH device based on the anomalous interfacial effect between 2D layered ferroelectric CuCrP_(2)S_(6) and ambipolar WSe_(2),creating a versatile platform for nonvolatile memory and high-performance optoelectronic applications.The device capitalizes on the realization of ETH through a localized doping strategy facilitated by ferroelectric polarizationassisted charge trapping.When modulated to a p–n junction diode,the device showcases superior rectifying characteristics and high-performance selfpowered photodetection,with a highest responsivity over 0.14 A·W^(-1).Moreover,the nonvolatile ETH device enables a single device to implement complex optoelectronic logics of exclusive OR(XOR),OR,and not implication(NIMP)that can be reconfigured by light illumination.Compared to the traditional CMOS-based logics,the ETH device significantly reduces the transistor number by 87.5%,83.3%,and 87.5%for XOR,OR,and NIMP,respectively.The successful demonstration of the ETH device based on 2D ferroelectric materials paves the way for the development of advanced and simplified photo-electric interconnected circuits.
基金funded by the project of the Youth Fund for Humanities and Social Sciences of the Ministry of Education of the People's Republic of China,"Research on Strategies for Promoting High-Quality Integration of Higher Education in the Yangtze River Delta"(No.20YJC880062).
文摘The coordinated development of regional higher education has become a strategic foundation for building a leading country in education and advancing regional modernization.Promoting the coordinated development of regional higher education is a complex and often contradictory process shaped by multiple institutional logics.The Chinese central government demonstrates a dual approach by promoting regional connectivity and cooperation while encouraging local competition.Local governments strive to maximize their own interests,oscillating between cooperation and competition.Public higher education institutions(HEls)are constrained by the centralized higher education governance system,lacking sufficient motivation to engage in regional cooperation.To achieve high-quality coordinated development of regional higher education,it is essential to address local government competition and reform government-HEl relations.This requires institutional innovation in governance at the central-local and state-society levels.Key pathways for promoting the coordinated development of regional higher education include incorporating such development into the performance assessment metrics for local governments,enhancing the coordination mechanisms of the central government for regional higher education cooperation,expanding the operational autonomy of public HEls to increase regional cooperation opportunities,and encouraging social entities to actively participate in the coordinated development of regional higher education.
