Note: you may use illustrations and diagrams to enhance explanations.
Qns - The two well - known logics viz. prepositional logic (PL) and first order predicate logic (FOPL) are monotonic logics. Knowledge bases (KB’s) that use PL and FOPL for inferencing are monotonic, i.e., adding new facts of such a KB increases the amount of knowledge contained in the KB. However, the axioms for real life Abs are found to be neither complete nor certain and hence have to be non-monotonic. Discuss all the extensions (that are discussed in your text) of PL and FOPL that accommodate different forms of uncertainties and non-monotonic ties. this is my project question i am student mca, india,need this ans before 30th oct04 thank you