899 Hits in 2.5 sec

Extending a parallel CLP language to support the development of multi-agent systems

Panagiotis Stamatopoulos, Dimitris Margaritis, Constantin Halatsis
1994 Proceedings of the 1994 ACM symposium on Applied computing - SAC '94  
This extension is directed towards the development of multi-agent systems which have to deal with large combinatorial problems that are distributed in nature.  ...  The proposed extension supports the communication requirements of the agents, in order to have them cooperate and solve the original combinatorially intensive problem.  ...  Apart from many commercial Prolog languages that pro'vide socket-based features, more advanced systems are IC Prolog H [4] and Shared Prolog [3] .  ... 
doi:10.1145/326619.326797 dblp:conf/sac/StamatopoulosMH94 fatcat:gfzw4jodejfslkwqdux2vd6lim

Design and distributed implementation of the parallel logic language shared Prolog

V. Ambriola, P. Ciancarini, M. Danelutto
1990 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming - PPOPP '90  
Prolog programs, that communicate associatively via a shared workspace called blackboard.  ...  The parallel logic language Shared Prolog embeds Prolog as its sequential component. A program in Shared Prolog is composed of a set of logic agents, i.e.  ...  INTRODUCTION Stream-based parallel logic languages like Flat Concurrent Prolog (FCP), Flat Guarded Horn Clauses (FGHC), and Parlog are not extensions of Prolog.  ... 
doi:10.1145/99163.99169 dblp:conf/ppopp/AmbriolaCD90 fatcat:3sigpfnv2bh4zmgij57kdl5nby

LogiMOO: An extensible multi-user virtual world with natural language control

Paul Tarau, Koen De Bosschere, Veronica Dahl, Stephen Rochefort
1999 The Journal of Logic Programming  
Its language coverage is extensible in that the user can incorporate new nouns, verbs and adjectives as needed by changes in the world, Immediate evaluation of world knowledge by the parser yields representations  ...  Embedding in Netscape provides advanced VRML and HTML frame-based navigation and multi-media support, while LogiMOO handles virtual presence and acts as a very high-level multi-media object broker.  ...  They include HTML extensions to incorporate Prolog code, support libraries for web applications, Java integration with Prolog, logic-based web querying languages (Weblog [19] , W-ACE [27] ).  ... 
doi:10.1016/s0743-1066(98)10028-6 fatcat:2m4zvl632be65iqvhcgia6xtlu

A method for integrating multiple components in a decision support system

Donald Nute, Walter D. Potter, Zhiyuan Cheng, Mayukh Dass, Astrid Glende, Frederick Maierv, Cy Routh, Hajime Uchiyama, Jin Wang, Sarah Witzig, Mark Twery, Peter Knopp (+2 others)
2005 Computers and Electronics in Agriculture  
We present a fieuible, extensible method tor ~ntegrat~ng mult~ple tool3 into a s~ngle large decision support system (DSS) urlng a forest ecocyctenl management DSS (NED-2) as an example In our approach,  ...  how thls multi-agent approach v~~t h tt\ blackboard architecture support5 the eupanslon of a DSS (tn thic cace NED-2) to incorporate new models and d e c~s~o n support tools as they become available The  ...  Facts are stored temporarily on the blackboard as Prolog clauses. Persistent information is stored in the database or in ProIog knowledge bases.  ... 
doi:10.1016/j.compag.2005.02.007 fatcat:k7xpsmv6ezbrpizldpy2oony2e

Compositional refinements in multiple blackboard systems [chapter]

X. J. Chen, C. Montangero
1992 Lecture Notes in Computer Science  
ESP is based on the integration of the blackboard paradigm with Logic Programming.  ...  In this paper we introduce CONESP, a concurrent system built according to the SMoLCS methodology to provide an abstract model of the coordination language Extended Shared Prolog (ESP).  ...  Shared Prolog and ESP Shared Prolog and ESP are based on the blackboard model of problem solving.  ... 
doi:10.1007/3-540-55253-7_6 fatcat:xinyegboprhhbkxcgkv2vfq5qq

Page 51 of American Society of Civil Engineers. Collected Journals Vol. 119, Issue 1 [page]

1993 American Society of Civil Engineers. Collected Journals  
EXAMPLE OF PROLOG EXTENSION TO ENABLE DIRECT REVISION OF CURRENT DESIGN STATE QED executes modifications through its predicate change/0.  ...  If change/0 is called, any Prolog goal that may be in progress is suspended and the current state of the blackboard will be revealed for inspection, before a change is made.  ... 

Coordination and Concurrency in Multi-engine Prolog [chapter]

Paul Tarau
2011 Lecture Notes in Computer Science  
We discuss the impact of the separation of logic engines (independent logic processing units) and multi-threading on the design of coordination mechanisms for a Prolog based agent infrastructure.  ...  As illustrations of our techniques, a parallel fold operation as well as cooperative implementations of Linda blackboards and publish/subscribe are described.  ...  through a unification based blackboard interface [14] .  ... 
doi:10.1007/978-3-642-21464-6_11 fatcat:r6n2mozlfjdcpdc3ikowq3vtzy

AppBuilder for DSSTools: an application development environment for developing decision support systems in Prolog

Geneho Kim, Donald Nute, H.Michael Rauscher, David L Loftis
2000 Computers and Electronics in Agriculture  
DSSTools and its limitations DSSTools is a toolkit based on a blackboard architecture for developing decision support systems with a major knowledge-based component in Prolog.  ...  After the project is created, we name the initial knowledge base (in this case, Regenl.kb) and add the DCMs, DSSTools domain utility files (with extension .dut), and Windows Help files to be included in  ... 
doi:10.1016/s0168-1699(00)00101-0 fatcat:cpq4sbrfobehdo2eiurffd3zca

Prosper: Developing Web Applications Strongly Integrated with Prolog

Levente Hunyadi
2008 Acta Cybernetica  
the power of Prolog in information systems.  ...  Albeit Prolog is widely employed in intelligent systems and knowledge discovery, creating a web interface for Prolog has been a cumbersome task producing poorly maintainable code, which hinders harnessing  ...  For a full list, see exported predicates in module psp [13] . 10 swi-Prolog provides backtrackable destructive assignment on blackboard primitives. 11 Implemented in term to elements/3 in module prosper  ... 
dblp:journals/actaC/Hunyadi08 fatcat:okflf2ng6zg3jdmxuxa5yvmgu4

NED-2: an agent-based decision support system for forest ecosystem management

Donald Nute, Walter D. Potter, Frederick Maier, Jin Wang, Mark Twery, H.Michael Rauscher, Peter Knopp, Scott Thomasma, Mayukh Dass, Hajime Uchiyama, Astrid Glende
2004 Environmental Modelling & Software  
The blackboard integrates a Microsoft Access database and Prolog clauses, and the agents are implemented in Prolog.  ...  NED-2 uses a blackboard architecture and a set of semiautonomous agents to manage these tools for the user.  ...  Once the user has selected all the treatments he will use, these are stored in a separate Prolog knowledge base.  ... 
doi:10.1016/j.envsoft.2003.03.002 fatcat:3mq3ixxudvh3zgemrttiehmd3a

A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces [chapter]

Satyam Tyagi, Paul Tarau
2001 Lecture Notes in Computer Science  
In the context of direct and reflection based extension mechanisms for the Jinni 2000 Java based Prolog system, we discuss the design and the implementation of a reflection based Prolog to Java interface  ...  As an application of our interfacing technique, a complete GUI library is built in Prolog using only 10 lines of application specific Java code.  ...  Introduction In this paper, we discuss the extension of the Jinni 2000 Java based Prolog system [6, 8] with a reflection based generic Java Interface.  ... 
doi:10.1007/3-540-45241-9_22 fatcat:2ud5serlzvfx3gfyh5hbn7olqi

Extending the μLog Framework with Local and Conditional Blackboard Operations

1996 Journal of symbolic computation  
We propose a syntax for both extensions, give their operational semantics, provide a declarative semantics and prove the soundness and completeness properties in our setting.  ...  This paper discusses two extensions of the kernel µLog framework presented by Jacquet and De Bosschere (1994) : local blackboards and conditional access primitives.  ...  Programming in µLog is very close to programming in Prolog and requires only an adaptation for the blackboard related primitives, not for the Prolog part.  ... 
doi:10.1006/jsco.1996.0036 fatcat:ysn2oibblje35locuq4a5vvypa

Multiparadigm Model Oriented to Development of Grid Systems [chapter]

Jorge Luis Victória Barbosa, Cristiano André da Costa, Adenauer Corrêa Yamin, Cláudio Fernando Resin Geyer
2004 Lecture Notes in Computer Science  
Besides, we propose the Grid Holo (GHolo), a platform to support the multi-domain heterogeneous distributed computing of programs developed in Holo. GHolo is based on object mobility and blackboards.  ...  Holo uses a logic blackboard (called history) to implement a coordination mechanism. The programs are organized in levels using abstract entities called beings.  ...  This proposal is based on previous works (Shared Prolog [7] , ESP [11] and ETA [2] ).  ... 
doi:10.1007/978-3-540-24688-6_2 fatcat:dd7wrvhnu5glfcwymqo2c33kyu

End user touch searching for cancer therapy literature

A. S. Pollitt
1983 SIGIR Forum  
Original program development was in PASCAL, but a rule-based approach, which is independent of a particular programming language, has been developed for search term and frame selection adopting a 'blackboard  ...  ' philosophy in tracing the process of selection.  ...  Needless to say any mistakes in the naper are attributable to me alone.  ... 
doi:10.1145/1013230.511814 fatcat:i3leudynojbxbdte5zmvrscwta

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems [chapter]

1995 Logic Programming  
This approach is very attractive in that by adding a few primitives any logic programming system can be turned into a generic constraint logic programming system in which constraint solving can be user  ...  Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to it.  ...  Table 1 presents some results obtained with the concurrent extensión to SICStus Prolog described in Section 4.  ... 
doi:10.7551/mitpress/4298.003.0062 fatcat:iotgjlbponeifdofjge73qeiqi
« Previous Showing results 1 — 15 out of 899 results