ABSTRACT
This paper describes ERESYE, a tool for the realization of intelligent systems expert systems) using the Erlang language. ERESYE is a rule production system that allows rules to be written as Erlang function clauses, providing support for their execution. ERESYE is also able to support object-oriented concepts and ontologies thanks to a suitable ontology handling tool, providing means to translate object-based concepts into an Erlang form. The architecture of ERESYE and its basic working scheme are described in the paper. A comparison with CLIPS, one of the most known tools for expert system programming, is also made. The description of some examples of ERESYE usage are provided to show the effectiveness and the validity of the proposed solution, which opens new and interesting application scenario for Erlang.
- http://herzberg.ca.sandia.gov/jess/. JESS Web Site, 2003.]]Google Scholar
- http://www.ghg.net/clips/CLIPS.html. CLIPS Web Site, 2003.]]Google Scholar
- http://www.diit.unict.it/users/csanto/exat/. exat Web Site, 2004.]]Google Scholar
- http://www.drools.org. Drools Home Page, 2004.]]Google Scholar
- Java Rule Engine API, http://www.jcp.org/aboutJava/communityprocess/review/jsr094/, 2004.]]Google Scholar
- Erlang Plus Interface, http://epi.sourceforge.net, WWW, 2005.]]Google Scholar
- J. Banatre and D. LeMetayer. The Gamma Model and its Discipline of Programming. Science of Computer Programming, 15:55--77, 1990.]] Google ScholarDigital Library
- T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities. Scientific American, May 2001.]]Google Scholar
- G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217--248, 1992.]] Google ScholarDigital Library
- N. Carriero and D. Gelernter. Linda in Context. Comm. ACM, 32(4), April 1989.]] Google ScholarDigital Library
- P. Ciancarini. Coordination Models and Languages as Software Integrators. ACM Computer Surveys, 28(2), 1996.]] Google ScholarDigital Library
- P. Ciancarini, R. Tolksdorf, F. Vitali, D. Rossi, and A. Knoche. Coordinating Multiagent Applications on the WWW: A Reference Architecture. IEEE Transaction on Software Engineering, 24(5), 1998.]] Google ScholarDigital Library
- M. Cremonini, A. Omicini, and F. Zambonelli. Coordination and access control in open distributed agent systems: The TuCSoN approach. In A. Porto and G.-C. Roman, editors, Coordination Languages and Models, volume 1906 of LNCS, pages 99--114. Springer-Verlag, 2000.]] Google ScholarDigital Library
- A. Di Stefano and C. Santoro. eXAT: an Experimental Tool for Programming Multi-Agent Systems in Erlang. In AI*IA/TABOO Joint Workshop on Objects and Agents (WOA 2003), Villasimius, CA, Italy, 10--11 Sept. 2003.]]Google Scholar
- A. Di Stefano and C. Santoro. exat: A Platform to Develop Erlang Agents. In Agent Exhibition Workshop at Net.ObjectDays 2004, Erfurt, Germany, 27--30 Sept. 2004.]]Google Scholar
- A. Di Stefano and C. Santoro. Designing Collaborative Agents with eXAT. In ACEC 2004 Workshop at WETICE 2004, Modena, Italy, 14--16 June 2004.]] Google ScholarDigital Library
- D. Fensel. Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce. Springer, 2004.]] Google ScholarDigital Library
- C. Forgy. OPS5 Users Manual. Technical Report CMU-CS-81-135, Dept. of Computer Science, Carnegie-Mellon Univ., 1981.]]Google ScholarCross Ref
- C. Forgy. Rete: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, pages 17--37, 1982.]]Google Scholar
- C. Forgy. The OPS Languages: An Historical Overview. PC AI, Sept. 1995.]]Google Scholar
- E. Freeman, S. Hupfer, and K. Arnold. JavaSpaces(TM) Principles, Patterns, and Practice. Sun Microsystems, 1999.]] Google ScholarDigital Library
- IBM. TSpace Intelligent Connectionware. WWW, http://www.almaden.ibm.com/cs/TSpaces/, 2005.]]Google Scholar
- J. Bradshaw et al., editor. Software Agents. AAAI Press, Cambrigde, Mass., 1997.]] Google ScholarDigital Library
- C. Santoro. exat: an Experimental Tool to Develop Multi-Agent Systems in Erlang - A Reference Manual. Available at http://www.diit.unict.it/users/csanto/exat/, 2004.]]Google Scholar
- W3C. OWL Web Ontology Language Overview. WWW, http://www.w3.org/TR/owl-features/, 2004.]]Google Scholar
- W3C. Resource Description Framework (RDF): Concepts and Abstract Syntax, 10 Feb. 2004.]]Google Scholar
- M. J. Wooldridge. Reasoning About Rational Agents. The MIT Press, July 2000.]]Google Scholar
- F. Zambonelli, N. Jennings, A. Omicini, and M. Wooldridge. Agent-oriented software engineering for Internet applications. In A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Coordination of Internet Agents: Models, Technologies, and Applications, chapter 13, pages 326--346. Springer-Verlag, Mar. 2001.]] Google ScholarDigital Library
Index Terms
- ERESYE: artificial intelligence in Erlang programs
Recommendations
Evolution of ontology potential for generation of rules
WIMS '12: Proceedings of the 2nd International Conference on Web Intelligence, Mining and SemanticsThe main purpose of this paper is to evaluate the potential of OWL (Web Ontology Language) ontologies for generation of rules. It is assumed that OWL ontology expressions can serve as a material for rule extraction. It is necessary for Semantic Web ...
Ontology-based authoring of intelligent model-tracing math tutors
AIMSA'10: Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applicationsThis paper describes the MATHESIS Ontology, an OWL ontology developed within the MATHESIS project. The project aims at the development of an intelligent authoring environment for reusable model-tracing math tutors. The purpose of the ontology is to ...
OWL2Jess: a transformational implementation of the OWL semantics
ISPA'05: Proceedings of the 2005 international conference on Parallel and Distributed Processing and ApplicationsThe wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency of OWL specific reasoning tools. While the expressivity limitations may be ...
Comments