AIML & Prolog


AIML & Prolog

See also:

AIML & Grammars | AIML & LISP | AIML & Ontologies | AIML & OpenCyc | AIML & RDF | AIML & SRAI (Symbolic Reduction) | AIML & WordNet | AIML 2000 | AIML 2001AIML 2002AIML 2003AIML 2004 | AIML 2005 | AIML 2006 | AIML 2007 | AIML 2008 | AIML 2009 | AIML 2010 | AIML 2011 | AIML Categories | AIML GoogleCode | AIML Graphmaster | AIML Pattern Tag | AIML Random Tag | AIML Resources | AIML Templates | Best AIML Videos | github AIML | SourceForge AIML


[PDF] The elements of AIML style [PDF] from uzh.chR Wallace – Alice AI Foundation, 2003 – files.ifi.uzh.ch … 42 CHAPTER V. PSYCH – Activating Prolog from AIML….. 45 The <system> command ….. … 48 ACTIVATING PROLOG FROM AIML ….. …  Cited by 46 – Related articles – View as HTML – All 4 versions

The vista architecture: experiencing stories through virtual storytelling agents E Figa… – ACM SIGGROUP Bulletin, 2002 – portal.acm.org … The components of the system include a web client with a video/audio agent interface, an HTTP and media server, a story database (access points to the stories via an index in a library of stories), AIML scripts, and Prolog knowledge base modules executed by the Jinni Prolog …  Cited by 4 – Related articles – BL Direct – All 2 versions

[PDF] Living in cyn: mating aiml and cyc together with program n [PDF] from cyc.comK Coursey – Resources avalaible at: http://www. daxtron. com, 2004 – cyc.com … externalcondition method=”{sql,lisp,prolog,cycl…}” query=”query text in method language”> would do the same thing as <cyccondition> but for any of the supported target languages. The same benefits should result but with even wider usage possibilities. AIML methods exist for …  Cited by 5 – Related articles – View as HTML – All 6 versions

[PDF] XML-based Agent Scripts and Inference Mechanisms [PDF] from unt.eduG Sun – 2003 – library.unt.edu … between AIML and Prolog clauses. In the runtime phase, the QA patterns in Prolog clauses serve as the underly- … our chat bot, all these files are loaded into the brain of our bot. An AIML to Prolog parser is written in Java to convert AIML files to Prolog based clauses. …  Related articles – View as HTML – Library Search – All 3 versions

[PDF] The VISTA project: An agent architecture for virtual interactive storytelling [PDF] from psu.eduE Figa… – TIDSE, 2003 – Citeseer … The components of the system include a web client with a video/audio agent interface, an HTTP and media server, a story database (access points to the stories via an index in a library of stories) [13,14], AIML Programs, and Prolog Knowledge Base Programs executed by the …  Cited by 16 – Related articles – View as HTML – All 7 versions

TELECOMMUNICATIONS SERVICES APPARATUS AND METHOD J Wilson – US Patent App. 12/668,816, 2008 – Google Patents … In other words, while traditional AI techniques could work within the limited scope of small problem domains, the techniques would not scale up when applied to more realistic problems, such as natural language processing. This applies to both AIML and Prolog. …  All 2 versions

Author’s Name Sun, Guili Document Type Thesis Title XML-Based Agent Scripts and Inference Mechanisms R Mihalcea… – library.unt.edu … Keywords, XML, agent, AIML. inference mechanism, prolog, AI, semantic web, Java, client server architecture. Graduation Date, August 2003. … In this thesis, we describe a system that converts the AIML scripts to Prolog clauses and reuses them as part of a knowledge processor. …  Cached

[PDF] Learning Interface for Virtual Education [PDF] from alicebot.orgS MAGHSOUDI, T ARTHANARI – alicebot.org … 8. CONCLUSIONS By using SAPI, TTS, MS-Agent, [13] and NLP technologies a system was created using AIML, JAVA and Prolog languages that acts as a virtual teacher, available for consultation for students continuously over the Internet, answering their questions patiently …  Related articles – View as HTML

[PDF] An AIML Interpreter [PDF] from cvut.czK Sullivan – 2009 – dip.felk.cvut.cz … With the exception of the special properties of AIML variables mentioned above, they have no further semantics (like predicates in Prolog or predicate logic). For this reason, this thesis refers to AIML variables simply as variables. 2.5 Current implementations …  Related articles – View as HTML

Supporting reflection in an immersive 3D learning environment based on role-play N Malzahn, H Buhmes, S Ziebarth… – Sustaining TEL: From …, 2010 – Springer … Gen- erally, every AIML topic will generate a jump mark (chapter) within in the video. Fig. … [6]). The SQLSpaces implementation offers clients for several programming languages (eg C#, Java, Prolog) and a generic web service, which eg allows access for LSL scripts. …  Related articles – All 2 versions

Knowledge-based conversational agents and virtual storytelling [PDF] from psu.eduP Tarau… – Proceedings of the 2004 ACM symposium on …, 2004 – portal.acm.org … The architecture uses an XML-based Web Interface, RDF-based Semantic Web data, object-oriented content hierarchies and a Prolog- based natural language and a knowledge processor. … Artificial Intelligence Markup Language (AIML). Technical report, 2001. …  Cited by 21 – Related articles – All 10 versions

[PDF] Programming the Story: Interactive Storytelling System [PDF] from informatica.siSK Kim, SH Moon, SY Han… – informatica.si … AIML is a XML style script language supporting for AI application program, and the Vista system used AIML interlocked with Prolog. AIML was used in the question- answer relationship applied to stories, while Prolog was used to generate various action rules. …  View as HTML

[CITATION] The Fundamentals of Artificial Intelligence Expert Systems: Manifestations in Dialogue Programs J Dykstra… – 2001 Related articles

[PDF] Knowledge-Based Systems for Development [PDF] from tmrfindia.orgPS Sajja… – … Knowledge Based Sytem: Model, Application & …, 2010 – tmrfindia.org … the first Prolog system was developed in 1972 by Alain Colmerauer and Phillipe Roussel. Packages software like MATLAB, Java Neural Network Simulator (Java NNS) etc. and markup open sources based tools like Artificial Intelligence Markup Language (AIML) and Project D …  Cited by 2 – Related articles – View as HTML

[PDF] Expert System for Epilepsy with Uncertainty [PDF] from teiher.grE Marakakis, K Vassilakis, E Kalivianakis… – … machine learning (AIML …, 2005 – cs.teiher.gr … In proceedings of the 1st European Workshop on the Assessment of Diagnostic Performance, Milan, Italy, 7-9 July, 2004. AIML 05 Conference, 19-21 December 2005, CICC, Cairo, Egypt Page 7. [6] Intelligent Systems Laboratory. SICStus Prolog user’s manual. …  Cited by 4 – Related articles – View as HTML – All 8 versions

Designing artificial personalities using jungian theory BJ Neubauer – Journal of Computing Sciences in Colleges, 2004 – portal.acm.org … a database. Like chat bots, they can be programmed using AIML (artificial intelligence markup language) or even be supported by a Prolog inference engine or similar AI resources. AIML is an XML grammar. Readers seeking …  Cited by 6 – Related articles

[PDF] Conversational Agents as Web Services [PDF] from psu.eduE Figa… – Proceedings of The International Symosium On Web … – Citeseer … LNCS, Springer-Verlag. 15. P. Tarau. The Jinni 2004 Prolog Compiler: a High Performance Java and .NET based Prolog for Object and Agent Oriented Inter- net Programming. Technical report, BinNet Corp., 2003. URL: … 17. R. Wallace. AIML Pattern Matching Simplified. Techni- …  Cited by 2 – Related articles – View as HTML – All 4 versions

[PDF] Corpus Linguistics, Machine Learning and Evaluation: Views from Leeds [PDF] from psu.eduE Atwell, BA Shawar, B Babych, D Elliott… – … OF LEEDS SCHOOL …, 2003 – Citeseer … Page 4. 3 et al 2000), as ALICE/AIML makes no use of such linguistic knowledge in generating conversation responses. … To illustrate, a simple Prolog implementation of this approach, which assumes “relevant context” is just the preceding word, produces the following: …  Related articles – View as HTML – BL Direct – All 7 versions

[PDF] First Sinhala chatbot in action [PDF] from sjp.ac.lkB Hettige… – … of the 3rd Annual Sessions of Sri …, 2006 – dscs.sjp.ac.lk … The entire system has been developed using JAVA and SWI-PROLOG that runs on both Linux and Windows. … Artificial Linguistic Internet Computer Entity) is a software robot or program that you can chat with using natural language [1]. ALLICE uses AIML (Artificial Intelligence …  Cited by 2 – Related articles – View as HTML – All 2 versions

[PDF] Offene 3D-Umgebungen als Framework für rollenspielbasierte Lernszenarien [PDF] from emis.deN Malzahn, H Buhmes, S Ziebarth… – … this series in order to make … – subs.emis.de … Grundsätzlich erzeugt jedes in AIML definierte und durchlaufende Thema ein Kapitel im Video. Abbildung 1: Screenshot des Reflexionsvideos 53 Page 57. … Die verwendete Implementierung bietet native Clients für verschiedene Programmiersprachen (ua C#, Java u. Prolog). …  Related articles – View as HTML

[PDF] Knowledge Assimilation and Web Deployment Techniques for Conversational Agents [PDF] from telecom-paristech.frE Figa… – Proceedings of the AAMAS 2004 Workshop … – perso.telecom-paristech.fr … [19] P. Tarau. The Jinni 2004 Prolog Compiler: a High Performance Java and .NET based Prolog for Object and Agent Oriented Internet Program- ming. Technical report, BinNet Corp., 2004. … Cam- bridge University Press. [22] R. Wallace. AIML Pattern Matching Simplified. …  Cited by 1 – Related articles – View as HTML – All 3 versions

[PS] Knowledge Intensive Conversational Agents: a Logic Programming Approach [PS] from imamu.edu.saP Tarau… – imamu.edu.sa … The architecture uses an XML-based Web Interface, RDF based Semantic Web data, object-oriented content hierarchies and a Prolog based natural lan- guage and a knowledge processor. … 5. ALICE AI foundation. Artificial Intelligence Markup Language (AIML). …  Related articles – View as HTML – All 5 versions

[PDF] Domain Knowledge Model for Embodied Conversation Agent [PDF] from rmit.edu.auGO Sing, CC Fung, A Depickere, KW Wong… – goanna.cs.rmit.edu.au … Prolog-based conversational agent which integrates more than a GigaByte of knowledge base data from Open- Domain knowledge base … Knowledge Extraction Agent (AKEA) [11] and Open- Domain from existing Artificial Intelligence Markup Language (AIML) Loebner prize …  Related articles – View as HTML – All 3 versions

Software Tool for Creating Outlines and Mind Maps that Generates Subtopics Automatically S Herbst – US Patent App. 20,090/119,584, 2008 – freepatentsonline.com … Eclipse and then Haley Eclipse, HaleyRules is a rule language with nested LISP-like syntax and wildcard variables similar to Prolog. … 4. Artificial Intelligence Markup Language (AIML): Created between 1995 and 2000, this language is designed for the creation of chat bots …  Cached

[DOC] Argelia Berenice Urbina Nájera [DOC] from pbworks.comMCLF Pulido – Ene, 2009 – hacertesis.pbworks.com … Mediante Prolog, JAVA y AIML se pudo crear un profesor virtual, disponible para la consulta de los estudiantes continuamente a través de Internet, respondiendo con paciencia sus preguntas, dando orientación a través del nuevo curso o material. …  Related articles – View as HTML

GAIML: A new language for verbal and graphical interaction in chatbots R Pirrone, G Russo, V Cannella… – Mobile Information Systems, 2008 – IOS Press … Then, the AIML language is presented in Section 3. Section 4 describes GAIML. … The system has been implemented in Prolog and is based on the Model-View-Control (MVC) software design paradigm, which inspired the design of the system presented in this work. …  Cited by 4 – Related articles – All 7 versions

[PDF] JEP-TALN 2004-session on Arabic Language Processing A Review of Arabic Corpus Analysis Tools Un Examen d’Outils pour l’Analyse de Corpus Arabes [PDF] from leeds.ac.ukE Atwell, L Al-Sulaiti, S Al-Osaimi… – comp.leeds.ac.uk … It is a rule-based system written in SICStus Prolog and needs some background in PROLOG which is difficult to achieve by a typical linguist. … A java program has been implemented to convert a readable text (corpus) to the AIML chatbot-training format. …  Related articles – View as HTML – All 2 versions

Using XML as a language interface for AI applications S Tabet, P Bhogaraju… – Advances in Artificial Intelligence. PRICAI …, 2001 – Springer … required specialized languages in order to solve problems (eg ART*Enterprise, Blaze Advisor Rule Engine, JESS, JRules, Lisp, Prolog, TIRS, etc … Another effort is the Artificial Intelligence Markup Language (AIML) (The XML Cover Pages 2, http://www.oasis-open.org/cover/aiml …  Cited by 9 – Related articles – BL Direct – All 4 versions

Meta-rules and uncertain reasoning for diagnosis of epilepsy in childhood E Marakakis, K Vassilakis… – Expert Systems with Applications, 2010 – Elsevier … A preliminary version of this work appears in the Proceeding of the International Conference on Artificial Intelligence and Machine Learning (AIML-05) (Marakakis, Vassilakis, Kalivianakis, & … The rules of our system have been implemented in SICStus Prolog (ISL, 2003). …  Related articles – All 3 versions

Fuzzy expert system shell development with computer security assessment application L Reznik… – … Conference, 2007. FUZZ-IEEE 2007. IEEE … – ieeexplore.ieee.org … The ALICE [17] project makes use of the language-independent nature of XML to defme AIML, a method of creating brain files that may be used by any one of potentially many different artificially intelligent systems. … Java Irterpreter Prolog Inerpreter C++ Inerpreter C# Inerpreter …  Cited by 3 – Related articles

The use of the DEMETRA models E Benfenati, M Craciun… – Quantitative Structure-Activity …, 2007 – books.google.com … HISML Solving problems using artificial intelligence (AI) techniques requires various specialized languages, such as Lisp and Prolog for Logic … Another effort in this direction is Artificial Intelligence Markup Language (AIML)(AIML, 2006), an XML-based language used in ALICE … 

[PDF] Storytelling in collaborative augmented reality environments [PDF] from psu.eduN Braun – Proceedings of the 11th International Conference in …, 2003 – Citeseer … We used several AI-related software packages to develop the story engine (done with Prolog), as well as the conversational behavior, agentive and manifest … As a step to better AI within the actors, we will use the AIML-based Alice chat robots, see Bush [Bus01], to generate the …  Cited by 27 – Related articles – View as HTML – All 8 versions

[CITATION] JEP-TALN 2004-session on Arabic Language Processing A Review of Arabic Corpus Analysis Tools E Atwell, L Al-Sulaiti, S Al-Osaimi… Related articles

[PDF] Developing Natural Language Enabled Games in (Extended) SCXML [PDF] from ritsumei.ac.jpJ Brusk… – … in Computer Games and Simulations (Pre- …, 2007 – ice.ci.ritsumei.ac.jp … <state id=”chat”> <invoke id=”c” target=”AIML” src=”chat.aiml”/> <transition event … Our first suggestion is that the cond attribute of the <transi- tion> element should accept a Prolog style query rather than an ordinary boolean expression, ie a query that evaluates to true of false (just …  Cited by 1 – Related articles – View as HTML – All 2 versions

[PDF] Multiple criteria decision making in accounting expert systems [PDF] from usc.eduDE O’leary – 6th International Workshop – msbfile03.usc.edu … section 7 dl section 8 s; 2. Artifi science aiml that take i than comput Expert programs th … processing symbolic information, such as natural language. Two of the primary AI languages are Prolog (Clocksin and Mellish [1984]) and Lisp (Whinston and Horn [1981]). Prolog is the …  Cited by 3 – Related articles – View as HTML – All 3 versions

[PDF] DEEP-INFERENCE BIBLIOGRAPHY [PDF] from psu.eduCBYA GUGLIELMI – Citeseer … 6, College Publications, 2006, http://www.aiml.net/volumes/volume6/ Bruennler.ps, pp. 107-119. … pdf, 2006. 36. , On the proof complexity of deep inference-Conjecture, Prolog program. http://cs.bath.ac.uk/ag/p/ PrComplDI.plg, 2007. 37. …  Related articles – View as HTML – All 2 versions

[BOOK] Artificial intelligence: a systems approach MT Jones – 2008 – books.google.com … Predicate Logic) 152 Atomic Sentences 153 Compound Sentences 154 Variables 154 Quantifiers 155 First-Order Logic and Prolog 155 Simple … Virtual Character Agents 357 Entertainment Agents 358 Game Agents 358 ChatterBots 360 Eliza and Parry 360 AIML 361 Mobile …  Cited by 36 – Related articles – Library Search – All 5 versions

MPML and SCREAM: Scripting the bodies and minds of life-like characters H Prendinger, S Saeyor… – Life-Like Characters. Tools, …, 2004 – books.google.com … of in- teractive presentations may easily define their own response patterns for the character, A major drawback of this approach is that AIML-based characters often … 8. While the sys- tem is written in Java for portability, a Java-based Prolog system [8] is used to support high-level …  Cited by 14 – Related articles

[PDF] Scripting and evaluating affective interactions with embodied conversational agents [PDF] from psu.eduH Prendinger, J Mori, S Saeyor, K Mori, N Okazaki… – KI, 2004 – Citeseer … For portability and extensibility, the SCREAM system is written in Java and Jinni, a Java based Prolog system (BinNet Corp. 2003). … 2003). The Alicebot provides a large set of responses written in AIML (Artificial Intelligence Markup Language) that are accessible from the web. …  Cited by 4 – Related articles – View as HTML – All 5 versions

Implementing temporal logics: Tools for execution and proof (Tutorial paper) [PDF] from psu.eduM Fisher – Computational Logic in Multi-Agent Systems, 2006 – Springer … 1. The first approach, reported in [34], essentially used a Prolog meta-interpreter to implement the system. … In Proceedings of Joint International Conference on Temporal Logic and Advances in Modal Logic (AiML-ICTL), Leipzig, Germany, October 2000. 19. …  Cited by 7 – Related articles – BL Direct – All 16 versions

[PS] Analysis and Mechanisation of Decidable First-Order Temporal Logics-A Case for Support [PS] from liv.ac.ukD Gabbay – csc.liv.ac.uk … and a member of the steering committee of the in- ternational initiative “Advances in Modal Logic” (AiML); see http://www.wins.uva/ mdr/aiml. … As speed is not the primary mo- tivation for these prototypes, implementation is likely to be in either Prolog (for simplicity) or Java (for …  Related articles – View as HTML

[PDF] Conversation System with State Information [PDF] from utas.edu.auEM Glina… – ecite.utas.edu.au … systems developed with the RDR base were clearly inferior when comparing the effort that would be required to build a similar conversation system with an alternative building tool such as AIML, the very … 3) D. Merritt, Building Expert Systems In Prolog, Springer-Verlag, (1989). …  Related articles – View as HTML

[PDF] Modeling the Dynamics of Knowledge. Two Traditions: Logic Programming vs. Modal Logic Course outline [PDF] from tu-clausthal.deJ Dix… – 2007 – in.tu-clausthal.de … Some formalizations (Sudoku, greatest common divisor) are also presented. We also mention one of the great disadvantages of PROLOG, namely its non-declarativeness and the lack of a uniform encoding methodology. … In Advances in Modal Logics, Proceedings of AiML 2002. …  Related articles – View as HTML

[CITATION] DAVID COCKBURN NICK R. JENNINGS NR JENNINGS – Foundations of distributed artificial intelligence, 1996 – Wiley-Interscience Related articles

Scripting affective communication with life-like characters in web-based interaction systems [PDF] from psu.eduH Prendinger, S Descamps… – Applied Artificial …, 2002 – informaworld.com … to facilitate high-level scripting and connectivity with other Web-based animated agent systems, the tool is written in a lightweight JAVA-based PROLOG system and … For a similar purpose, the Artificial Intelligence Markup Language (AIML) has been developed (Ringate 2001). …  Cited by 56 – Related articles – BL Direct – All 11 versions

Evolutionary virtual agent at an exhibition [PDF] from virtual-worlds.netJC Heudin – Virtual Systems and Multimedia, 2008 – Springer … The syntax of these knowledge files is close to the Artificial Intelligence Meta Language (AIML) [9]. The next code example gives an overview of … Since a human understand people or objects through interactions, this kind of dialog can be seen as a necessary “prolog” before any …  Cited by 2 – Related articles – BL Direct – All 4 versions

Robotic Poetics W Winder – 2004 – Wiley Online Library … AI programming languages such as Lisp and Prolog come closest to a pseudo-code for generation. … Others are quite sophisticated specifications, such as ALICE and AIML (AI XML), but do not deal in any direct way with crucial linguistic dimensions. …  All 3 versions

[CITATION] Parsing, analyzing, and accessing biomedical text AT McCray – Proceedings, 52nd Annual Meeting of the American …, 1989 Cited by 2 – Related articles

Development of pre-programmed operating coursebot (PO’C’DON) [PDF] from utm.myV Kasinathan – 2008 – eprints.utm.my … A unique feature of this bot is that it uses an XML DTD called AIML (Artificial Intelligence Markup Language). Rules for pattern matching can be specified in AIML making it possible to quickly change the behaviour of the chatterbot. ii Jabberwacky. … 

The contributing authors of this book provide electronic material. such as software and movie clips, that allows one to try out their character systems or watch … H Prendinger – Life-like characters: tools, affective functions, and …, 2004 – books.google.com … 11, 405 AiA (Adaptive Communication As- sistant for Effective Infobahn Access). 10, 381 AIML (Artificial Intelligence Markup Language), 215, 228 AML (Avatar Markup Language). … 257 Presentation goal. 380 task, 380 team, 383-391 Prolog, 88, 213 Q language. … 

[CITATION] KNOWLEDGE REPRESENTATION FOR VERSATILE HYBRID INTELLIGENT PROCESSING APPLIED IN PREDICTIVE TOXICOLOGY D NEAGU, M CRACIUN… – Life science data …, 2006 – World Scientific Pub Co Inc Related articles

[PDF] ROBERT MATEESCU [PDF] from psu.eduCO In… – cell – Citeseer … 2002 – 2003, Organizer of the Artificial Intelligence and Machine Learning Seminar (AIML), University of California, Irvine. … TECHNICAL KNOWLEDGE PROGRAMMING LANGUAGES: C++, C, Java, Pascal, Prolog, Lisp, SQL, Perl. …  View as HTML

[PDF] Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems [PDF] from psu.eduR Schmidt… – Citeseer … involved with the organisation of a number of international and national scientific initiatives, conferences or workshops: the AiML Initiative (steering committee), AiML 2004 (local … In task 1.4 we will not limit our investigation to rule specifications in Datalog, Horn logic or Prolog. …  Related articles – View as HTML – All 4 versions

[PDF] A human-computer dialogue authoring system for Web interaction [PDF] from psu.eduK Boone – 2000 – Citeseer … effectively. This section discusses CARTMAN’s three pattern-matching tools: regular expression matching, ‘augmented’ regular expression matching (a custom pattern-matching language) and Prolog goal matching. Although …  Cited by 2 – Related articles – View as HTML – All 3 versions

[PDF] Natürliche Sprache als dialogorientier dialogorientierte Nutzer te Nutzer te Nutzer-schnittstelle für autonome Anwendungssysteme-Ein einführender Überblick [PDF] from fh-stralsund.deT Wengerek, FH Stralsund… – Wissenschaftliche … – fh-stralsund.de … Darüber hinaus werden auch ex- terne Programme und Programmiersprachen für Spezialaufgaben eingebunden, zB Prolog für logi- sches … Systeme, insbesondere die Kommerziellen verfolgen den heuristisch-pragmati- schen Ansatz, siehe zB “Alicebot-AIML “[ …  View as HTML – All 2 versions

[PDF] Python Applications in Artificial Intelligence Research [PDF] from psu.eduDG Taylor – 2009 – Citeseer … In practice it reminds me of Prolog. The included demo builds a semantic network of facts and rules about a few animals and produces a few example queries. … 10. PyAIML – A Python AIML Interpreter <http://pyaiml.sourceforge.net> 11. …  View as HTML – All 10 versions

ArticlesAn approach for ontology development and assessment using a quality framework L Rao, H Reichgelt… – … Research & Practice, 2009 – palgrave-journals.com … The AIML fundamental constructs and their relationships (Zhang et al., 2007). … Fox & Gruninger (1998) proposed the use of first-order logic for defining the semantics of the terms and a set of Prolog axioms for implementing the semantics, which allows for the automatic deduction …  Cited by 1 – Related articles – All 6 versions

[PDF] Scripting Affective Communication with Life-like Characters in Web-based Interaction Systems [PDF] from psu.eduHPSDM Ishizuka – Citeseer … order to facilitate high-level scripting and connectivity with other web-based animated agent systems, the tool is written in a lightweight Java based Prolog system and … For a similar purpose, the Artificial Intelligence Markup Language (AIML) has been developed (Ringate, 2001). …  Related articles – View as HTML – All 4 versions

[PDF] Exemplarische Einführung in die Künstliche Intelligenz Arbeitstitel: Wissensbasierte Systeme [PDF] from fh-deggendorf.deJ Schneeberger – bw.fh-deggendorf.de … Chatbots….. 83 8.2 Charakteristika von Chatbots….. 84 8.3 AIML (Artificial Intelligence Markup Language)…. 84 …  Related articles – View as HTML – All 2 versions

[PDF] GNU/Linux AI & Alife HOWTO [PDF] from manybooks.netJ Eikenberry – manybooks.net … At its roots are programming languages such as Lisp and Prolog. … Aleph is an ILP algorithm implemented in Prolog by Dr Ashwin Srinivasan at the Oxford University Computing Laboratory, and is written specifically for compilation with the YAP Prolog compiler …  Cited by 2 – Related articles – View as HTML – All 6 versions

A knowledge-based system for automated assembly planning HK Tonshoff, E Menzel… – CIRP Annals-Manufacturing Technology, 1992 – Elsevier … The optimum assembly sequence is finally selected using the organisatory rules. The program system was coded in the programming language PROLOG and implemented on a DEC-Micro-VAXn computer. … The programming language used in our example is AiML. …  Cited by 24 – Related articles – All 2 versions

[PDF] Mapeamento de Atributos Complexos e Multivalorados na Extração de Esquemas Utilizando XML [PDF] from ufpr.brJSP Pinto – 2001 – dspace.c3sl.ufpr.br Page 1. JOSÉ SIMÃO DE PAULA PINTO MAPEAMENTO DE ATRIBUTOS COMPLEXOS E MULTIVALORADOS NA EXTRAÇÃO DE ESQUEMAS UTILIZANDO XML Dissertação apresentada como requisito parcial à obtenção …  Cited by 2 – Related articles – View as HTML – All 2 versions

[HTML] Research Activities [HTML] from tu-dresden.deM Sturm… – lat.inf.tu-dresden.de … instantiated with the action calculi developed in the afore-mentioned steps can then be implemented by combining the mature technologies of both plain prolog and description logic … In Proceedings of the Workshop Advances in Modal Logic AiML 2000, Leipzig, Germany, 2000. …  Related articles – Cached

[PDF] Agent Communicability in Belief Update Logic [PDF] from unito.itM Kobayashi… – Proc. the 6th International Workshop on Declarative … – di.unito.it Page 1. Agent Communicability in Belief Update Logic Mikito Kobayashi and Satoshi Tojo School of Information and Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan {m-kobaya,tojo}@jaist.ac.jp Abstract. …  Cited by 1 – Related articles – View as HTML

[PDF] Adding XML to the MIS Curriculum: Lessons from the Classroom [PDF] from psu.eduWP Wagner, V Pant… – Journal of Information Technology …, 2008 – Citeseer … by the W3C in February 1998, over 200 new XML languages have been established, with everything from Astronomical Instrument Markup Language (AIML) to Theological … This is referenced in the prolog of Figure 3. A sample of how this might be used is illustrated in Figure …  Related articles – View as HTML – All 12 versions

[PDF] Towards an efficient relational deductive system for propositional non-classical logics? [PDF] from uniba.itA Formisano… – cilc2006.di.uniba.it Page 1. Towards an efficient relational deductive system for propositional non-classical logics? Andrea Formisano?? and Marianna Nicolosi Asmundo??? Abstract. We describe a relational framework that uniformly supports …  Related articles – View as HTML – All 2 versions

[PS] Feature Integration in Requirements Engineering Working Group 23531 [PS] from bham.ac.ukM Ryan – 1999 – cs.bham.ac.uk … among them: 13th International Workshop on Algebraic Development Techniques (WADT’98), 2nd International Workshop on Advances in Modal Logic (AiML’98), 25th … From a pragmatic point of view, we are looking for de ning for executable speci cations (in the Prolog style) di …  Related articles – View as HTML

Logical knowledge representation of regulatory relations in biomedical pathways S Zambach… – Information Technology in Bio-and Medical …, 2010 – Springer … these models, have lead to suggest less complex models, as for instance in [5]. This simpler model makes it possible to reason qualitatively about existing pathways leading to a rough flux-balance analysis similar to MetaCyc [1] and BioSim [6], which uses Prolog and qualitative …  Related articles – All 3 versions

[PDF] Corpus Linguistics and Language Learning [PDF] from leeds.ac.ukES Atwell – 2008 – comp.leeds.ac.uk … of the words in question. The paper describes a Prolog implementation and some applications. … Atwell 2005). The AIML chatbot architecture requires a set of input-reply patterns or templates, which allow the chatbot to find an appropriate response to any user input. …  Related articles – View as HTML – All 2 versions

[PDF] Agent Mediated Interactive Storytelling in Virtual Environment [PDF] from 155.69.101.53Y CAI – 155.69.101.53 Page 1. Nanyang Technological University Agent Mediated Interactive Storytelling in Virtual Environment by YUNDONG CAI Supervisor: Dr. Chunyan Miao Co-supervisor: Dr. Ah-Hwee Tan Report Submitted to the School of Computer Engineering of the …  Related articles – View as HTML

[PDF] Knowledge Fusion for Financial Advisory Applications [PDF] from psu.eduTP Dobrowiecki, G Strausz… – 2000 – Citeseer … T-030586, and belongs to the IKMA IKF-H prolog research. … xfrml.html [31] Trading Partner Agreement Markup Language (tpaML), http://www.oasis -open.org/cover/tpa.html [32] Artificial Intelligence Mark-up Language (ALICE), http://www.oasis -open.org/cover/aiml- ALICE.html  Related articles – View as HTML – All 7 versions

[BOOK] Introduction to Artificial Intelligence W Ertel – 2011 – books.google.com … 65 5 Logic Programming with PROLOG . . . . . 67 5.1 PROLOGSystemsandImplementations . . . . . … 282 11.4 LimitationsofLogic . . . . . 283 11.5 PROLOG . . . . . …  Related articles

[PDF] “UM CHATTERBOT PARA AQUISIÇÃO AUTOMÁTICA DE PERFIL DO USUÁRIO [PDF] from ufpe.brTJM Moura – liber.ufpe.br … O chatterbot foi implementado como uma extensão da linguagem AIML (Artificial Intelligence Markup Language), uma das mais bem sucedidas abordagens para construção de chatterbots no … The chatterbot was implemented in AIML (Artificial Intelligence Markup Language), …  Related articles – View as HTML

[PDF] Sistemas Multiagentes na Construçao de um Middleware para Suporte a Ambientes Computacionais [PDF] from ufabc.edu.brAF de Moraes Batista – bcc.ufabc.edu.br … 102 5.2.1 Linguagem AIML: Modelo de Usuário e de Dominio . . . . . 104 … 105 5.2.3 JadeGateway: Camada Intermediária entre Usuário e Chatterbot . . 106 5.2.4 Rebecca AIML: Elemento de Execuç˜ao . . . . . 106 …  Related articles – View as HTML

[BOOK] Grundkurs Künstliche Intelligenz: Eine praxisorientierte Einführung. Online-Service [PDF] from hs-weingarten.deW Ertel – 2009 – books.google.com … Inhaltsverzeichnis Logikprogrammierung mit PROLOG 75 5.1 PROLOG-Systeme und Implementierungen 76 5.2 Einfache Beispiele 76 5.3 Ablaufsteuerung und prozedurale Elemente 80 5.4 Listen 81 5.5 Selbstmodifizierende Programme 83 5.6 Ein Planungsbeispiel 84 5.7 …  Cited by 10 – Related articles – Library Search – All 7 versions

A Multi-Agent Based Personalized Meta-Search Engine Using Automatic Fuzzy Concept Networks B Arzanian, F Akhlaghian… – 2010 Third International …, 2010 – computer.org … results. REFERENCES [1] E. Bolognesi, and A. Brogi, “A prolog meta-search engine for the world wide web,” Proc. Inter. … ICGST International Conf. on Artificial Intelligence and Machine Learning (AIML-05), Cairo, Egypt, 2005. [4 …  Related articles – All 3 versions

[BOOK] Web-kommunikation mit opensource: chatbots, virtuelle messen, rich-media-content C Möbus, J Feindt, C Janssen, S Sölbrandt… – 2005 – books.google.com … 147 13.2 Open-Source-Chatbots 151 13.2.1 Selbstlernende Chatbot-Systeme 151 13.2.2 AIML-Chatbots 152 13.3 ALICE 153 13.3.1 Kompetenzerwerb durch Supervised Learning 153 13.3.2 ALICE-Server 154 13.3.3 Verarbeitung der natürlichen Sprache 156 13.3.4 Web …  Cited by 2 – Related articles – Library Search – All 5 versions

[PDF] Implementação do chatterbot ELIZA na linguagem multiparadigma Oz [PDF] from ufsc.brA Mittmann – projetos.inf.ufsc.br … Pascal e C são representantes do mesmo paradigma, o chamado paradigma imperativo de programação, enquanto Prolog é um exemplo de uma linguagem que segue o paradigma … Esta lin- guagem, batizada de AIML (Artificial Intelligence Markup Language ), é baseada no …  Related articles – View as HTML – All 2 versions

Computation as Conversation [PDF] from uva.nlJ Van Benthem – … Paradigms: Changing Conceptions of What is …, 2007 – books.google.com Page 44. Computation as Conversation Johan van Benthem Institute for Logic, Language & Computation (ILLC), University of Amsterdam, Amsterdam, the Netherlands johan@ science. uva. nl and Department of Philosophy, Stanford University, Stanford, CA, USA johan@ csli. …  Cited by 12 – Related articles – Library Search – All 12 versions

[PDF] Welcome to PLANET NEWS! [PDF] from dfki.deS Biundo… – 2003 – planet.dfki.de Page 1. The PLANET Newsletter 1 Issue No.2 EDITORIAL Welcome to PLANET NEWS! During the last couple of months a variety of net- work activities and events took place. Most importantly, the First International Sum- mer School on AI Planning was held. …  Related articles – View as HTML – All 5 versions

Hybride, pragmatisch eingebettete Realisierung mittels Bottom-Up-Generierung in einem natürlichsprachlichen Dialogsystem Hybrid Pragmatically Embedded … [PDF] from uni-erlangen.deM Klarner – Doktorarbeit, Universität Erlangen-Nürnberg, 2005 – opus.ub.uni-erlangen.de … Page 13. xi ABKÜRZUNGSVERZEICHNIS AIML Artificial Intelligence Markup Language, Markup-Sprache für Künstliche Intelligenz … DAG Directed Acyclic Graph, gerichteter azyklischer Graph DCG Definite Clause Grammar, einfacher Prolog-basierter Grammatikformalismus …  Cited by 6 – Related articles – Library Search – All 4 versions

Computation as conversation J Benthem – New Computational Paradigms, 2008 – Springer Page 1. Computation as Conversation Johan van Benthem Institute for Logic, Language & Computation (ILLC), University of Amsterdam, Amsterdam, the Netherlands johan@science.uva.nl and Department of Philosophy, Stanford …  Related articles – All 4 versions

[PDF] Modal logic for open minds [PDF] from fenrong.netJ Van Benthem – Center for the Study of Language and Information, 2010 – fenrong.net … will often be cited in this book. In ad- dition, there are web resources like http://www.aiml.net/, as well as many relevant entries in the Stanford Encyclopedia of Philosophy (http://plato.stanford.edu/). Still, I felt there was room for …  Cited by 11 – Related articles – View as HTML – Library Search – All 3 versions

Using temporal logics of knowledge for specification and verification–a case study C Dixon – Journal of Applied Logic, 2006 – Elsevier Cited by 5 – Related articles – All 2 versions

[BOOK] Die Valentinianische Gnosis und die heilige Schrift: Eine Studie [HTML] from google.comCFG Heinrici – 1871 – books.google.com Page 1. Die Valentinianische Gnosis und die heilige Schrift Carl Friedrich Georg Heinrici Page 2. Page 3. ¦ < I Page 4. I I Page 5. DIE VALENTINIANISCHE GNOSIS UND DIE HEILIGE SCHRIFT. EINE STUDIE VON Lic. Dr. GEORG HEINRICI. BERLIN. …  Library Search – All 2 versions

Traitement de l’hétérogénéité sémantique dans les interactions humain-agent et agent-agent [PDF] from archives-ouvertes.frL Mazuel – 2008 – tel.archives-ouvertes.fr Page 1. Université Paris VI – Pierre & Marie Curie Laboratoire Informatique de Paris 6 Thèse présentée par Laurent MAZUEL pour obtenir le grade de Docteur de l’Université Pierre & Marie Curie Spécialité Informatique Traitement de l’hétérogénéité sémantique dans les …  Cited by 2 – Related articles – All 10 versions

[BOOK] Goethes Faust: Erster [-zweiter] theil. Erläutert [HTML] from google.comH Düntzer – 1889 – books.google.com … Erläuterung des ersten Theiles. Zueignung 59 Vorspiel auf dem Theater 61 Prolog im Himmel 69 Der Tragödie erster Theil. Ringen nach höchster Eilenntniß 7″ Verbindung mit Mephistopheles Zwei Reisefahrten Die Tragödie von Faust und Gretchen. … 

[DOC] XML: The Future of The World Wide Web [DOC] from imamu.edu.saE Agarwal – imamu.edu.sa … AF, The band of frequencies (approximately 20 Hz to 20 kHz) that, when transmitted as acoustic waves, can be heard by the normal human ear. AIML, Astronomical Instrument Markup Language. Amaya, Amaya is a browser/authoring tool. …  Cited by 3 – Related articles – View as HTML – All 3 versions

New Architectures, Algorithms and Designs that Lead to Implemented Machine Reasoning over Knowledge in Epistemic and Deontic Formats, in the Service of … [PDF] from dtic.milS Bringsjord – 2006 – DTIC Document Page 1. AFRL-IF-RS-TR-2006-264 Final Technical Report August 2006 NEW ARCHITECTURES, ALGORITHMS AND DESIGNS THAT LEAD TO IMPLEMENTED MACHINE REASONING OVER KNOWLEDGE IN EPISTEMIC AND DEONTIC FORMATS, IN THE …  Cited by 2 – Related articles – Library Search – All 3 versions

On the proof complexity of deep inference [PDF] from arxiv.orgP Bruscoli… – ACM Transactions on Computational Logic …, 2009 – portal.acm.org Page 1. 14 On the Proof Complexity of Deep Inference PAOLA BRUSCOLI and ALESSIO GUGLIELMI University of Bath We obtain two results about the proof complexity of deep inference: (1) Deep-inference proof systems are …  Cited by 37 – Related articles – All 14 versions

[PDF] Editor para a Web Semântica Integrando Anotaçoes Semânticas, Ontologias e RDF [PDF] from ubi.ptRARG Pereira – floyd.di.ubi.pt … tica, todas as abreviaturas utilizadas nesta dissertaç˜ao: ADOdb : ActiveX Data Object Data Base. AIML : Astronomical Instrument Markup Language. AML : Astronomical markup Language. ANSI : American National Standards Institute. API : Application Programming Interface. …  Related articles – View as HTML – All 5 versions

Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae [PDF] from arxiv.orgP Bruscoli, A Guglielmi, T Gundersen… – Arxiv preprint arXiv: …, 2009 – arxiv.org Page 1. QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT Abstract. …  Cited by 4 – Related articles – All 7 versions

[BOOK] Druckstücke aus dem 15. Jahrhundert im Chorstifte Beuerberg [HTML] from google.comP Hupfauer – 1794 – books.google.com Page 1. Page 2. Page 3. >< /v °^” L,”.,t>!b,i “””,” l Ä>v Page 4. ,-“j ‘, ^ ,” M ”.” i/i/<^^ – 7^5^^ Page 5. Page 6. ‘,^ “V Page 7. Druwcke aus dem XV. Jahrhunderte, welche sich in der Bibliothek des regulirtm Chorstiftes Beuerberg befinden. … 

[PDF] Encoding two-valued non-classical logics [PDF] from lmu.deHJ Ohlbach, A Nonnengart, M de Rijke… – pms.ifi.lmu.de Page 1. ChaptER 1 Encoding two-valued non-classical logics in classical logic Hans Jüurgen Ohlbach Andreas Nonnengart Maarten de Rijke Dov M. Gabbay Contents 1 Introduction . . . . . 3 1.1 Expressive power . . . . . …  Related articles – View as HTML – All 6 versions

[BOOK] Les Oeuvres de François Rabelais augmentées de la vie de l’auteur et de quelques remarques sur sa vie et sur l’histoire [HTML] from google.comF Rabelais – 1721 – books.google.com … invincible > ftbrejfe nompareillf, conten- tsment.certain , ajjeurartce pdrfai:t, defpris*ment incrtyable de tint it penrquoy les bumaim tant itesU Page 25. prolog u r. xelUtnt^ ceurent %ttr*oaiUent, navigent, &* ba* taillenu Aqntlpropost d vostre advis t tend ce prelude, 0- ceufd’tjsay ? …  Related articles – All 2 versions