Description logics for fuzzy ontologies on semantic web

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.

An Extended Ontology Model and Ontology Checking Based on Description Logics

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.

Construction and Resource Locating of Semantic P2P Grid Based on Description Logics

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.

Some non-classical logics seen from a variety of perspectives

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

THE RELATIONS BETWEEN NONMONOTONIC TRUTH MAIN-TENANCE AND NONMONOTONIC LOGICS

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.

Cell bioenergetics:Simple logics,complex solut

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.

Logics of Constructing Chinese Form of Human Civilization Facing the Future:CPC and Development of Chinese Culture

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

Towards the Idealization Procedure of BAN-Like Logics

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.

A Hierarchy of Compatibility and Comeasurability Levels in Quantum Logics with Unique Conditional Probabilities

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.

A Comparison of Paraconsistent Description Logics

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.

A survey on temporal logics for specifying and verifying real-time systems

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.

Using coalgebras and the Giry monad for interpreting game logics a tutorial

The stochastic interpretation of Parikh＇s game logic should not follow the usual pattern of Kripke models, which in turn are based on the Kleisli morphisms for the Giry monad, rather, a specific and more general approach to proba- bilistic nondeterminism is required. We outline this approach together with its probabilistic and measure theoretic basis, in- troducing in a leisurely pace the Giry monad and its Kleisli morphisms together with important techniques for manipu- lating them. Proof establishing specific techniques are given, and pointers to the extant literature are provided. After working through this tutorial, the reader should find it easier to follow the original literature in this and related areas, and it should be possible for her or him to appreciate measure theoretic arguments for original work in the areas of Markov transition systems, and stochastic effectivity func- tions.

Digital signal acquisition system for complex nuclear reaction experiments

A digital data-acquisition system based on XIA LLC products was used in a complex nuclear reaction experiment using radioactive ion beams.A flexible trigger system based on a field-programmable gate array(FPGA)parametrization was developed to adapt to different experimental sizes.A user-friendly interface was implemented,which allows converting script language expressions into FPGA internal control parameters.The proposed digital system can be combined with a conventional analog data acquisition system to provide more flexibility.The performance of the combined system was veri-fied using experimental data.

A 16-bit 18-MSPS flash-assisted SAR ADC with hybrid synchronous and asynchronous control logic

This paper presents a 16-bit,18-MSPS(million samples per second)flash-assisted successive-approximation-register(SAR)analog-to-digital converter(ADC)utilizing hybrid synchronous and asynchronous(HYSAS)timing control logic based on an on-chip delay-locked loop(DLL).The HYSAS scheme can provide a longer settling time for the capacitive digital-to-analog converter(CDAC)than the synchronous and asynchronous SAR ADC.Therefore,the issue of incomplete settling or ringing in the DAC voltage for cases of either on-chip or off-chip reference voltage can be solved to a large extent.In addition,the fore-ground calibration of the CDAC’s mismatch is performed with a finite-impulse-response bandpass filter(FIR-BPF)based least-mean-square(LMS)algorithm in an off-chip FPGA(field programmable gate array).Fabricated in 40-nm CMOS process,the proto-type ADC achieves 94.02-dB spurious-free dynamic range(SFDR),and 75.98-dB signal-to-noise-and-distortion ratio(SNDR)for a 2.88-MHz input under 18-MSPS sampling rate.

Modeling habitat distribution of Cornus officinalis with Maxent modeling and fuzzy logics in China

Aims Predicting suitable habitat distribution is an effective way to protect rare or endangered medicinal plants.Cornus officinalis is a perennial tree growing in forest edge and its air-dried pericarp is one of the traditional Chinese medicines(TCM)with significant medicinal values.In recent years,C.officinalis has undergone severe degeneration of its natural habitat owing to growing market demands and unprecedented damage to the forests.Moreover,the degeneration of suitable habitat has threatened the supply of medicinal materials,and even led to the extinction of some engendered medicinal plant species.In this case,there is a great risk to introduce and cultivate medicinal plants if planners determine the suitable cultivation regions based on personal subjective experience alone.Therefore,predicting suitable potential habitat distribution of medicinal plants(e.g.C.officinalis)and revealing the environmental factors determining such distribution patterns are important to habitat conservation and environmental restoration.Methods In this article,we report the results of a study on the habitat distribution of C.officinalis using maximum entropy(Maxent)modeling and fuzzy logics together with loganin content and environmental variables.The localities of 106 C.officinalis in China were collected by our group and other researchers and used as occurrence data.The loganin content of 234 C.officinalis germplasm resources were tested by high-performance liquid chromatography(HPLC)and used as content data.79 environmental variables were selected and processed with multicollinearity test by using Pearson Correlation Coefficient(r)to determine a set of independent variables.The chosen variables were then processed in the fuzzy linear model according to the cell values(maximum,minimum)of localities with estimated loganin content.The SDMtoolbox was used to spatially rarefy occurrence data and prepare bias files.Furthermore,combined Maxent modeling and fuzzy logics were used to predict the suitable habitat of C.officinalis.The modeling result was validated using null-model method.Important Findings As a result,six environmental factors including tmin3,prec3,bio4,alt,bio12 and bio3 were determined as key influential factors that mostly affected both the habitat suitability and active ingredient of C.officinalis.The highly suitable regions of C.officinalis mainly distribute in a‘core distribution zone’of the east-central China.The statistically significant AUC value indicated that combined Maxent modeling and fuzzy logics could be used to predict the suitable habitat distribution of medicinal plants.Furthermore,our results confirm that ecological factors played critical roles in assessing suitable geographical regions as well as active ingredient of plants,highlighting the need for effective habitat rehabilitation and resource conservation.

Flexible planar micro supercapacitor diode

Supercapacitor diode is a novel ion device that performs both supercapacitor energy storage and ion diode rectification functions.However,previously reported devices are limited by their large size and complex processes.In this work,we demonstrate a screen-printed micro supercapacitor diode(MCAPode)that based on the insertion of a finger mode with spinel ZnCo_(2)O_(4) as cathode and activated carbon as anode for the first time,and featuring an excellent area specific capacitance(1.21 mF cm^(-2)at 10 mV s^(-1))and high rectification characteristics(rectification ratioⅠof 11.99 at 40 mV s^(-1)).Taking advantage of the ionic gel electrolyte,which provides excellent stability during repeated flexing and at high temperatures.In addition,MCAPode exhibits excellent electrochemical performance and rectification capability in"AND"and"OR"logic gates.These findings provide practical solutions for future expansion of micro supercapacitor diode applications.

A Survey on Type-3 Fuzzy Logic Systems and Their Control Applications

In this paper,we offer a review of type-3 fuzzy logic systems and their applications in control.The main objective of this work is to observe and analyze in detail the applications in the control area using type-3 fuzzy logic systems.In this case,we review their most important applications in control and other related topics with type-3 fuzzy systems.Intelligent algorithms have been receiving increasing attention in control and for this reason a review in this area is important.This paper reviews the main applications that make use of Intelligent Computing methods.Specifically,type-3 fuzzy logic systems.The aim of this research is to be able to appreciate,in detail,the applications in control systems and to point out the scientific trends in the use of Intelligent Computing techniques.This is done with the construction and visualization of bibliometric networks,developed with VosViewer Software,which it is a free Java-based program,mainly intended to be used for analyzing and visualizing bibliometric networks.With this tool,we can create maps of publications,authors,or journals based on a co-citation network or construct maps of keywords,countries based on a co-occurrence networks,research groups,etc.

Fuzzy inference system using genetic algorithm and pattern search for predicting roof fall rate in underground coal mines

One of the most dangerous safety hazard in underground coal mines is roof falls during retreat mining.Roof falls may cause life-threatening and non-fatal injuries to miners and impede mining and transportation operations.As a result,a reliable roof fall prediction model is essential to tackle such challenges.Different parameters that substantially impact roof falls are ill-defined and intangible,making this an uncertain and challenging research issue.The National Institute for Occupational Safety and Health assembled a national database of roof performance from 37 coal mines to explore the factors contributing to roof falls.Data acquired for 37 mines is limited due to several restrictions,which increased the likelihood of incompleteness.Fuzzy logic is a technique for coping with ambiguity,incompleteness,and uncertainty.Therefore,In this paper,the fuzzy inference method is presented,which employs a genetic algorithm to create fuzzy rules based on 109 records of roof fall data and pattern search to refine the membership functions of parameters.The performance of the deployed model is evaluated using statistical measures such as the Root-Mean-Square Error,Mean-Absolute-Error,and coefficient of determination(R_(2)).Based on these criteria,the suggested model outperforms the existing models to precisely predict roof fall rates using fewer fuzzy rules.

A Formal Model for Analyzing Fair Exchange Protocols Based on Event Logic

Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.