Paradox separation type-based reverse parallel deductive reasoning method in propositional logic
A propositional logic and reasoning method technology, applied in the direction of reasoning methods, etc., can solve the problems that the clause set S cannot be satisfied, cannot reflect the cooperative logical relationship of multiple clauses, and restricts the ability and efficiency of automatic reasoning, so as to improve efficiency and ability, reduce Search space, effect of increasing convenience
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment 1
[0038] Let clause set S={C in propositional logic 1 ,C 2 ,C 3 ,C 4 ,C 5 ,C 6 ,C 7 ,C 8 ,C 9}, C 1 =~l∨~s∨p, C 2 =~r∨s,C 3 =~l∨r,C 4 =~r∨~q∨l, C 5 =~q∨r,C 6 =q∨r,C 7 =~r∨q,C 8 =~p∨~s∨q,C 9 =~p∨~q∨~r; where r, s, l, p, q are propositional variables. There can be the following reverse parallel multivariate dynamic automatic deductive reasoning process based on the separation of contradictions.
[0039] Step 1, construct the following contradiction body, and obtain the contradiction body separation formula R 1 =~r∨r; wherein i1=3,4,6,7.
[0040]
[0041] Step two, because Go to step 3;
[0042] Step 3, according to S and R 1 Construct 2 new clause sets S∪{~r} and S∪{r}, record C 10 =~r,C 11 =r.
[0043] Step 4: Construct S∪{~r} and S∪{r} respectively as follows: separation and deduction of contradictions
[0044] 1. For S∪{~r}, the following results are obtained; where i2=5,6,10
[0045]
[0046] 2. For S∪{r}, the following results are obtained; wh...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com