First-order parallel and pointwise circumscription theory calculation method with priority

A theoretical calculation and prioritization technology, applied in the direction of calculation, electrical digital data processing, special data processing applications, etc., can solve problems such as inability to deal with quantifiers, lack of effective solvers for first-order limited theory, and lack of effective solvers. Achieve the effect of reducing scale growth, reducing quantity, and improving computing efficiency

Inactive Publication Date: 2015-07-01
SUN YAT SEN UNIV
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] In order to overcome the current problems of only being able to solve propositional limitation theory, being unable to deal with the existence of quantifiers, and lacking an effective solver, the present invention proposes a first-order parallel, priority-based and point-by-point limitation theory effic

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • First-order parallel and pointwise circumscription theory calculation method with priority
  • First-order parallel and pointwise circumscription theory calculation method with priority
  • First-order parallel and pointwise circumscription theory calculation method with priority

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] The present invention will be further described below in conjunction with the accompanying drawings, but the embodiments of the present invention are not limited thereto.

[0044] Such as Figure 5 , a first-order parallel, priority-based, and point-by-point constraint theory calculation method, characterized in that it is used to translate the problem described by the parallel, priority, and point-by-point constraint theory into a first-order theory under a stable model , eliminate the existential quantifier in the first-order stable model theory under the general structure, and call the answer set logic program solver for the optimized first-order answer set logic program to calculate; specifically, the following steps are included:

[0045] (1) Translate any first-order limited theory into another first-order theory with stable semantics that is logically equivalent to it in any structure in linear time, including four main translations based on the grammatical level...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a first-order parallel and pointwise circumscription theory calculation method with priority. The method includes the steps of firstly, translating any first-order circumscription theory into another first-order theory under the stable semantics within the linear time, wherein the first-order circumscription theory and the first-order theory are equivalent in logic on any structure, and four main translations based on the grammatical level are involved; secondly, putting forward an optimized translation algorithm used for eliminating existential quantifiers for the existential quantifiers in the first-order circumscription theory, wherein by means of the method, the number of introduced auxiliary verbs is decreased, and the theory scale increase caused by translation is reduced; thirdly, obtaining a universal first-order circumscription theory solver which can obtain all extremely-small models in a given theory field on the basis of the translation and the optimized existential quantifier eliminating algorithm. The current situation of shortage of a first-order parallel pointwise circumscription theory solver with priority is eliminated, and the first-order parallel pointwise circumscription theory solver which can conduct efficient calculation can be designed and obtained.

Description

technical field [0001] The invention relates to a non-monotonic logic system calculation method in the field of artificial intelligence, in particular to a first-order parallel, priority-based and point-by-point limited theoretical efficient calculation method. Background technique [0002] John McCarthy (1927.9-2011.10), winner of the Turing Award and a pioneer in the field of artificial intelligence, proposed the famous Advice Taker plan in 1959, pointing out that the ability of commonsense reasoning is the key to the realization of artificial intelligence, which is also faced by the field of artificial intelligence One of the most difficult questions. John McCarthy proposed a non-monotonic logic theory called finite theory in the early 1980s, and then expanded his previously proposed finite concept in 1986, extending the finite theory from limiting one predicate to simultaneously limiting multiple predicates, And called parallel limited theory (Parallel Circumscription)....

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F19/00
Inventor 万海萧展豪曾娟
Owner SUN YAT SEN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap