A development calculus for specifications

Li, Wei

doi:10.1360/02ye0122

Cited by 21 publications

(27 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Li [14] introduces a transformation system to deduce maximally consistent subsets, called R-calculus. It is hard to be implemented by a computer program.…”

Section: Related Workmentioning

confidence: 99%

“…It is more feasible to introduce efficient revision algorithms for an extended logic program since it has the declarative semantics [4] and efficient theorem prover [5] . Compared with the approaches to revising a general knowledge base [6][7][8][9][10][11][12][13][14][15][16][17][18][19] , the algorithms [20][21][22] for revising the above two kinds of knowledge bases are more feasible and efficient. However, these revision algorithms use search technique, so combinative exploration may occur in the process of revision.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An algebraic approach to revising propositional rule-based knowledge bases

Luan

Dai

2008

Sci. China Ser. F-Inf. Sci.

View full text Add to dashboard Cite

One of the important topics in knowledge base revision is to introduce an efficient implementation algorithm. Algebraic approaches have good characteristics and implementation method; they may be a choice to solve the problem. An algebraic approach is presented to revise propositional rule-based knowledge bases in this paper. A way is firstly introduced to transform a propositional rule-based knowledge base into a Petri net. A knowledge base is represented by a Petri net, and facts are represented by the initial marking. Thus, the consistency check of a knowledge base is equivalent to the reachability problem of Petri nets. The reachability of Petri nets can be decided by whether the state equation has a solution; hence the consistency check can also be implemented by algebraic approach. Furthermore, algorithms are introduced to revise a propositional rule-based knowledge base, as well as extended logic programming. Compared with related works, the algorithms presented in the paper are efficient, and the time complexities of these algorithms are polynomial.knowledge base revision, consistency check, rule-based knowledge base, Petri net

show abstract

“…Li [14] introduces a transformation system to deduce maximally consistent subsets, called R-calculus. It is hard to be implemented by a computer program.…”

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

An algebraic approach to revising propositional rule-based knowledge bases

Luan

Dai

2008

Sci. China Ser. F-Inf. Sci.

View full text Add to dashboard Cite

show abstract

“…The genus contains only three known species to date: Togepsylla matsumurana Kuwayama, 1949, T. takahashii Kuwayama, 1931 (type species), and T. tibetana (Yang & Li, 1981). The few known species develop exclusively on Lauraceae plants, often inducing pit galls or leaf-rolling galls (Takahashi 1936; Miyatake 1970; Li 2011), in contrast to their spine-lacking Neotropical relative Syncoptozus Enderlein, which develops on plants of Magnoliaceae. The two genera compose the small taxon Togepsyllinae/-ini with valid monophyly.…”

Section: Introductionmentioning

confidence: 99%

Half-jumping plant lice – a taxonomic revision of the distinctive psyllid genus Togepsylla Kuwayama with a reassessment of morphology (Hemiptera, Psylloidea)

Luo

Cai²,

Qiao

2017

View full text Add to dashboard Cite

Togepsyllinae is a distinctive group within Psylloidea, with its systematic status treated variously by different authors. Of the only two known genera, Togepsylla is better known and distributed in temperate and tropical East Asia. In this study, the taxonomy and morphology of Togepsylla was studied in detail. Keys to adults and fifth instar immatures of the genus are provided. Togepsylla glutinosae sp. n. is described, and T. matsumurana, T. takahashii, and T. tibetana are redescribed. Syncoptozus is compared with Togepsylla for differences in morphology. Modern psyllids have evolved their jumping hind legs via the elongation of the dorsal edge of coxa, the broadening of coxal wall, the thickening of meron, the backward twisting of the plane of trochanter, femur, and tibia, and the enlargement of trochanteral tendon. However, in Togepsylla, this modification has progressed halfway. The metapleuron of Togepsylla is arranged in a different way than other psyllids. The pleural sulcus is short, and the metepisternum and trochantin are not divided. Wax-secreting fields on abdominal sternites, resembling those of whiteflies, are found on all Togepsylla species, and described for the first time. Other distinctive characters of the genus are also revealed, e.g. frons completely fused with gena, a pair of extra sclerites present behind the base of thoracic furca, one-segmented aedeagus, and absence of a flag lobe on valvula dorsalis of ovipositor. Based on various similarities in morphology, Togepsyllinae may have a close relationship with Aphalaridae-Rhinocolinae and is possibly related to Homotomidae, Liviidae-Liviinae and Atmetocranium (Calophyidae). All the distinctive characters of Togepsyllinae suggest that the current placement of the group is doubtful, and the phylogeny of Aphalaridae needs to be resolved.

show abstract

“…In 2003, Wei Li proposed the rules of R-calculus, and proved the reachability and completeness of R-calculus [6]. In 2007, the soundness of Rcalculus has also been proved [7].…”

Section: Introductionmentioning

confidence: 99%

A Revision System Based on Delegate Model for Propositional Logic

Jiang

Lou

Jin

2009

2009 International Conference on Information Engineering and Computer Science

View full text Add to dashboard Cite

Problem of belief revision and specification evolution has been studied for years. Researchers have proposed ACM theory and R-calculus to solve the problem. This paper concerns with the revision of proposition logic and proposes a revision algorithm which can automatically find out a revision of given sets. The correctness of the algorithm is proved and concepts such as basic proposition, assignment equivalence relation and delegate model are introduced. Tactics are used to improve the efficiency of the revision algorithm. A revision system is realized based on the improved algorithm. And an example is run to illustrate the syntax and the property of the system.

show abstract

A development calculus for specifications

Cited by 21 publications

References 8 publications

An algebraic approach to revising propositional rule-based knowledge bases

An algebraic approach to revising propositional rule-based knowledge bases

Half-jumping plant lice – a taxonomic revision of the distinctive psyllid genus Togepsylla Kuwayama with a reassessment of morphology (Hemiptera, Psylloidea)

A Revision System Based on Delegate Model for Propositional Logic

Contact Info

Product

Resources

About