Abstract
In this work we reconsider some of the properties of nonmonotonic logic [Gab-bay, 1985; Kraus et al., 1990] and change operators [Alchourrón et al., 1985; Katsuno and Mendelzon, 1990; Darwiche and Pearl, 1994] which were established using classical logic as being the object language in a less rich framework but yet enough expressive to consider some interesting situations. Pieces of knowledge are represented as literals and rules. The inference engine we propose to represent the underlying logic of the agent is based on an ordered stratification of the set of literals appearing in the knowledge base which consists of a finite set of rules. Given such a stratification, elementary forward chaining steps are achieved along its strata starting from the first one which is taken to be the input set of literals (the basic facts). The literals generated this way are combined in such a way that the specific information is privileged over less specific information when they conflict each other. Forward chaining allows for efficient computations as it is the case with inheritance systems which are known to be efficient nonmonotonic systems. An eminent property of stratified forward chaining is Consistency Preservation which makes the consistency of the consequences depend only on the consistency of the set of literals which the inference operation starts from.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C.E. Alchourrdn, P. Gärdenfors and D. Makinson. Or. the logic of theory change. Journal of Symbolic Logic,50,510–530, 1985.
H. Bezzazi, D. Makinson, and R. Pino Pérez. Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations. Journal of Logic and Computation,6, 605–631, 1997
H. Bezzazi, S. Janot, S. Konieczny and R. Pino Pérez. Analysing rational properties of change operators based on forward chaining. To appear in Transactions and change in logic databases. LNCS, Springer, 1998.
G. Brewka. Reasoning about priorities in default logic. In Proceedings of AAAI-94, Seattle, 1994.
A. Darwiche and J. Pearl. On the logic of iterated belief revision. In Proceedings of the Fifth Conference on Theoretical Aspects of Reasoning about Knowledge, R. Fagin, ed. pp. 5–23. Morgan Kauffman, Pacific Grove, CA. 1994.
S. Benferhat, D. Dubois and H. Prade. Connaissances conditionnelles et exceptions: du raisonnement non-monotone à la théorie des possibilités. Revue d’intelligence artificielle,9, 475–521,1995.
D. M. Gabbay. Theoretical foundations for non-monotonic reasoning in expert systems. In Logics and Models of Concurrent Systems, K. R. Apt, ed. pp. 439–457. Springer Verlag, Berlin, 1985.
Gregoire. About the relationship between the skeptical theory of inheritance in semantic networks and general nonmonotonic logics. In Proceedings of AAl Workshop on Formal Aspects of Semantic Networks, Santa Catalina Island. pp. 37–50. 1989.
J. Horty, R. Thomason and D. Touretzky. A skeptical theory of inheritance in nonmonotonic networks. Artificial Intelligence, 42,311–348,1990.
H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge database and revising it. In Belief Revision. P. Gärdenfors, ed. Cambridge University Press, Cambridge, 1990.
S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence,44,167–207, 1990.
D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 3: Non Monotonic Reasoning and Uncertain Reasoning, D. Gabbay, C. J. Hogger and J. A. Robinson, eds. pp. 35–110. Clarendon Press, Oxford, 1994.
M. A. Williams. Transmutations of Knowledge Systems. In Principles of Knowledge Representation and Reasoning, J. Doyle, E. Sandewall, and P. Torasso, eds. pp. 619–629. Morgan Kaufmann Publishers, San Mateo, CA, 619–629, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bezzazi, H. (2001). Revision and Update Based on Stratified Forward Chaining. In: Williams, MA., Rott, H. (eds) Frontiers in Belief Revision. Applied Logic Series, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9817-0_16
Download citation
DOI: https://doi.org/10.1007/978-94-015-9817-0_16
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5720-4
Online ISBN: 978-94-015-9817-0
eBook Packages: Springer Book Archive