Are you Lei Zheng?

Claim your profile

Publications (7)0 Total impact

  • [Show abstract] [Hide abstract]
    ABSTRACT: Since the World Wide Web is enlarging its scale, users cannot find and utilize information easily. Hence problem-solving systems in the Web environment are required. The core of such systems is the problem solver markup language (PSML) and PSML-based distributed Web inference engines. In this paper, we demonstrate a possible implementation of certain distributed reasoning capabilities as required in the future PSML. In particular, our proposed implementation, called β-PSML, is based on the combination of OWL (Web ontology language) with Horn clauses. From the viewpoint of expressive power, the proposed β-PSML can represent multi-argument relation that is an extension of the OWL capability, and models domains with a rich hierarchical structure for Horn clauses. Furthermore, we discuss how to extend the β-PSML for solving problems in a large-scale distributed Web environment.
    e-Technology, e-Commerce and e-Service, 2005. EEE '05. Proceedings. The 2005 IEEE International Conference on; 01/2005
  • Wei Tang, Lei Zheng, Chunnian Liu
    [Show abstract] [Hide abstract]
    ABSTRACT: Plot planning is one of the key steps in automatic generation of computer animation, aiming at converting the abstract plots of a story into a series of concrete actions. This paper presents the architecture of plot planning model, in which we employ an agent-based method to develop the abstract plot. In our agent hierarchy, there are two kinds of agents: drama agent and plot agent, both of which can develop the abstract plot according to their knowledge and strategies. Furthermore, to avoid the irrationality of the results, we address a validity checking mechanism to ensure the consistency of the concrete actions.
    AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings; 01/2005
  • Source
    Lei Zheng, Dong Jia, Chun-Nian Liu
    [Show abstract] [Hide abstract]
    ABSTRACT: A continuing problem with inductive logic programming (ILP) has proved to be difficult to handle. Constraint inductive logic programming (CILP) aims to solve this problem with ILP. We propose a new approach to CILP, and implement a prototype of CILP system called BPU-CILP. In our approach, methods from pattern recognition, such as Fisher's linear discriminant and prototype-based partitional clustering, are introduced to CILP. BPU-CILP can generate various forms of polynomial constraints in multiple dimensions, without additional background knowledge. As a result, the CLP program covering all positive examples and consisting with all negative examples can be automatically derived.
    Machine Learning and Cybernetics, 2003 International Conference on; 12/2003
  • [Show abstract] [Hide abstract]
    ABSTRACT: A continuing problem with Inductive Logic Programming (ILP) [1] has been the poor handling of numbers. Constraint Inductive Logic Programming (CILP) aims to solve this problem. We propose a new approach to CILP, and implement a prototype of CILP system called BPU-CILP. In our approach, methods from pattern recognition, such as Fisher’s linear discriminant [2] and prototype-based partitional clustering [3], are introduced into CILP. BPU-CILP can generate various forms of polynomial constraints in multiple dimensions, without additional background knowledge. As results, a CLP program covering all positive examples and consistent with all negative examples can be automatically derived.
    Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings; 01/2003
  • [Show abstract] [Hide abstract]
    ABSTRACT: We have been developing a Web-based Intelligent Tutoring System (ITS) WebMath. In this paper, after describing the conceptual model of the system and its novel features, we present its network architecture and supporting techniques, reasoning about our choices. We also give an application session of the system that shows the present status of the system.
    Advances in Web-Based Learning, First International Conference, ICWL 2002, Hong Kong, China, August 17-19, 2002, Proceedings; 01/2002
  • [Show abstract] [Hide abstract]
    ABSTRACT: This paper presents the design of an Intelligent Tutoring System (ITS) MathEH, that is a coached problem solving system, also called “Electronic Homework”. In describing the main modules of the system, we emphasize its novel aspects: (1). Using Constraint Logic Programming (CLP) as the domain knowledge representation and automatic reasoning mechanism. (2). A method for probability propagation in Bayesian networks to achieve two adversary requirements: exact probability computation and real-time response. (3). The design decisions about how to deploy MathEH on the WWW.
    Web Intelligence: Research and Development, First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001, Proceedings; 01/2001
  • [Show abstract] [Hide abstract]
    ABSTRACT: The rapid development of computer network technology makes the electronic shopping come into fashion. In this paper, first we analyze the common electronic shopping system and discuss the bottlenecks that restrict its development. To solve these problems, individual product information should be provided to customers. Then we propose a Bayesian customer model and apply it in our intelligent electronic shopping system, which can predict the requirements of customers and provide them with individual product information actively.
    Web Intelligence: Research and Development, First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001, Proceedings; 01/2001