Question: convert into clause normal form CNF and apply resolution The Financial Advisor Example 1 savings account(inadequate) investment(savings). 21 savings account(adequate) , income(adequate) investment(stocks). 3 savings

 convert into clause normal form CNF and apply resolution The Financial
convert into clause normal form CNF and apply resolution

The Financial Advisor Example 1 savings account(inadequate) investment(savings). 21 savings account(adequate) , income(adequate) investment(stocks). 3 savings account(adequate) , income(inadequate) investment(combination). 4. Vamount_saved(X)^3 Y (dependents(Y) ^ greater(X, minsavings(Y))) savings account(adequate). 5 V X amount_saved(x) ^ 3 Y (dependents(Y) ^ - greater(X, minsavings(Y))) savings account(inadequate). 6. VX earnings(X, steady) ^ 3 Y (dependents (Y) ^ greater(X, minincome(Y))) income(adequate). 7 V X earnings(X, steady) ^ 3 Y (dependents(Y) -greater(X, minincome(Y))) income(inadequate). 8. X earnings(X, unsteady) income(inadequate). 9 amount_saved(22000). 10 earnings(25000, steady). 11 dependents(3). Question: investment(S). A The Financial Advisor Example 1 savings account(inadequate) investment(savings). 21 savings account(adequate) , income(adequate) investment(stocks). 3 savings account(adequate) , income(inadequate) investment(combination). 4. Vamount_saved(X)^3 Y (dependents(Y) ^ greater(X, minsavings(Y))) savings account(adequate). 5 V X amount_saved(x) ^ 3 Y (dependents(Y) ^ - greater(X, minsavings(Y))) savings account(inadequate). 6. VX earnings(X, steady) ^ 3 Y (dependents (Y) ^ greater(X, minincome(Y))) income(adequate). 7 V X earnings(X, steady) ^ 3 Y (dependents(Y) -greater(X, minincome(Y))) income(inadequate). 8. X earnings(X, unsteady) income(inadequate). 9 amount_saved(22000). 10 earnings(25000, steady). 11 dependents(3). Question: investment(S). A

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Accounting Questions!