Sell Your Projects | My Account | Careers | This email address is being protected from spambots. You need JavaScript enabled to view it. | Call: +91 9573777164

A Model-Based Algorithm for Propositional Belief Revision

1 1 1 1 1 Rating 4.79 (72 Votes)

PROJECT TITLE :

A Model-Based Algorithm for Propositional Belief Revision

ABSTRACT:

Propositional Inference and belief revision are quite relevant to Automatic Reasoning. Given a KB Σ in DF and new data Σ' in CF, we have a tendency to show a deterministic and complete linear-time algorithm to make your mind up Σ Ͷvi; Σ'. We adapt the previous algorithm to make a model-based mostly proposal for belief revision: Σ' = Σ ∘ P. Our proposal relies on Dalal's technique of building a brand new DF Σ' in keeping with p and whose models have the property to hold minimum changes with models of the first KB Σ. We have a tendency to show that, in the worst case, our proposal of belief revision involves the answer of satisfiability instances shaped by subformulas of p, which implies the answer of NP-complete issues.


Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here


A Model-Based Algorithm for Propositional Belief Revision - 4.8 out of 5 based on 72 votes

Project EnquiryLatest Ready Available Academic Live Projects in affordable prices

Included complete project review wise documentation with project explanation videos and Much More...