Abstract
This paper investigates the semantics of conditional term rewriting systems with negation (denoted by EI-CTRS), called constructor-based EI-model semantics. The introduction of “≠” in EI-CTRS make EI-CTRS more difficult to study. This is in part because of a failure of EI-CTRS to guarantee that there exist least Herbrand models in classical logical point of views. The key idea of EI-model is to explain that “t≠s” means that the two concepts represented byt ands respectively actually belong to distinguished basic concepts represented by two constructor-ground terms. We define the concept of EI-model, and show that there exist least Herbrand EI-models for EI-satisfiable EI-CTRS. From algebraic and logic point of view, we show that there are very strong reasons for regarding the least Herbrand EI-models as the intended semantics of EI-CTRS. According to fixpoint theory, we develop a method to construct least Herbrand EI-models in a bottom-up manner. Moreover, we discuss soundness and completeness of EI-rewrite for EI-model semantics.
Similar content being viewed by others
References
Dershowitz N, Jouannaud J-P. Rewrite systems. Handbook of Theoretical Computer Science, Academic Press, 1989, pp. 243–320.
Jorrand P. Fundamental mechanisms for artificial intelligence programming language—An introduction. Advanced Topics in Artificial Intelligence, LNAI 345, 1987, pp. 1–44.
Kaplan S. Conditional rewriting rules.Theoretical Computer Science, 1984, 33: 175–193.
Kaplan, S. Positive/negative conditional rewriting. InProc. First Int’l. Workshop on Conditional Term Rewriting Systems, LNCS 308, 1987, pp. 129–143.
Lloyd J W. Foundations of Logic Programming. Springer-Verlag, 1984.
Mohan C K, Srivas M K. Conditional specification with inequational assumptions. InProc. First Int’l. Workshop on Conditional Term Rewriting Systems, LNCS 308, 1987, pp. 161–178.
Mohan C K., Fitting semantics for conditional term rewriting. InIJCAI’91, pp.857–862.
Przymusinska P., Przymusinska T. Semantic issues in deductive database and logic programs. In:Formal Techniques in Artificial Intelligence, Banerji R B (ed.), 1990, pp. 321–367.
Wang Huaimin, Chen Huowang, Gao H K. Agent oriented programming methodology for development of knowledge-based system. InInt’l. Conf. on Data and Knowledge System for Manufacturing and Engineering, Hong Kong, May 2–4, 1994, pp.425–428.
Author information
Authors and Affiliations
Additional information
Wang Huaimin received his B.S. degree in application mathematics from Zhengzhou Institute of Information Engineering in 1983, his M.S. degree in computer science and his Ph.D. degree in compter software from National University of Defence Technology in 1988 and 1992, respectively. He joined National University of Defence Technology in late 1992. Since 1994, he has been an Associate Professor with the Department of Computer Science at National University of Defence Technology. His research interest includes semantics of logical programming,, object-oriented programming, conditional term rewriting system, methodology of software development, knowledge engineering, AI programming and agent oriented programming (AOP).
Chen Huowang has been a Professor with Department of Computer Science at National University of Defence Technology since 1983. He is a member of Chinese Computer Federation (CCF), the director of Theoretical Computer Science Workgroup of CCF, and the vice director of Software Engineering Workgroup of CCF. His research interest includes software engineering and AI foundation.
Rights and permissions
About this article
Cite this article
Wang, H., Chen, H. A constructor-based EI-model semantics of EI-CTRS. J. of Comput. Sci. & Technol. 10, 85–96 (1995). https://doi.org/10.1007/BF02939525
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02939525