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

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)....

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 efficient calculation method to solve the first-order limitation theory The current situation of lack of effective solvers, and adopting this method can design and implement a solver with strong processing capacity and computationally efficient first-order parallelism, with priority and point-by-point limit theory

Images