MACLP: multi agent constraint logic programming
Multi Agent Systems (MAS) have become the key technology for decomposing complex problems in order to solve them more efficiently, or for problems distributed in nature. However, many industrial applications besides their distributed nature, also involve a large number of parameters and constraints...
Saved in:
| Published in: | Information sciences Vol. 144; no. 1; pp. 127 - 142 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Inc
01.07.2002
|
| Subjects: | |
| ISSN: | 0020-0255, 1872-6291 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Multi Agent Systems (MAS) have become the key technology for decomposing complex problems in order to solve them more efficiently, or for problems distributed in nature. However, many industrial applications besides their distributed nature, also involve a large number of parameters and constraints among them, i.e. they are combinatorial. Solving such particularly hard problems efficiently requires programming tools that combine MAS technology with a programming schema that facilitates the modeling and solution of constraints. This paper presents MACLP (Multi Agent Constraint Logic Programming), a logic-programming platform for building, in a declarative way, multi agent systems with constraint-solving capabilities. MACLP extends CSPCONS, a logic programming system that permits distributed program execution through communicating sequential Prolog processes with constraints, by providing all the necessary facilities for communication between agents. These facilities abstract from the programmer all the low-level details of the communication and allow him to focus on the development of the agent itself. |
|---|---|
| AbstractList | Multi Agent Systems (MAS) have become the key technology for decomposing complex problems in order to solve them more efficiently, or for problems distributed in nature. However, many industrial applications besides their distributed nature, also involve a large number of parameters and constraints among them, i.e. they are combinatorial. Solving such particularly hard problems efficiently requires programming tools that combine MAS technology with a programming schema that facilitates the modeling and solution of constraints. This paper presents MACLP (Multi Agent Constraint Logic Programming), a logic-programming platform for building, in a declarative way, multi agent systems with constraint-solving capabilities. MACLP extends CSPCONS, a logic programming system that permits distributed program execution through communicating sequential Prolog processes with constraints, by providing all the necessary facilities for communication between agents. These facilities abstract from the programmer all the low-level details of the communication and allow him to focus on the development of the agent itself. Multi Agent Systems (MAS) have become the key technology for decomposing complex problems in order to solve them more efficiently, or for problems distributed in nature. However, many industrial applications besides their distributed nature, also involve a large number of parameters and constraints among them, i.e. they are combinatorial. Solving such particularly hard problems efficiently requires programming tools that combine MAS technology with a programming schema that facilitates the modeling and solution of constraints. This paper presents MACLP (Multi Agent Constraint Logic Programming), a logic-programming platform for building, in a declarative way, multi agent systems with constraint-solving capabilities. MACLP extends CSPCONS, a logic programming system that permits distributed program execution through communicating sequential Prolog processes with constraints, by providing all the necessary facilities for communication between agents. These facilities abstract from the programmer all the low-level details of the communication and allow him to focus on the development of the agent itself. copyright 2002 Elsevier Science Inc. All rights reserved. |
| Author | Vlahavas, Ioannis |
| Author_xml | – sequence: 1 givenname: Ioannis surname: Vlahavas fullname: Vlahavas, Ioannis email: vlahavas@csd.auth.gr organization: Department of Informatics, Aristotle University of Thessaloniki, Thessaloniki, Greece |
| BookMark | eNqFkM1LAzEQxYNUsK3-CcKeRA9rJ9mPJHqQUvyCioJ6DmkyXSK72ZpsBf97t6148NLLzDu894b5jcjAtx4JOaVwSYGWk1cABimwojgHdgFAJaT0gAyp4CwtmaQDMvyzHJFRjB8AkPOyHJLJ03Q2f7lKmnXduURX6LvEtD52Qbte1m3lTLIKbRV00zhfHZPDpa4jnvzuMXm_u32bPaTz5_vH2XSemiwTXSoFMM2s5LaQkutCIMtktkCDYJemLESW90oDy63OF2i5zWiGhbS5QJFznY3J2a63v_25xtipxkWDda09tuuoGKey4FT0xuud0YQ2xoBLZVynO9f6zQu1oqA2kNQWktoQ6IfaQlK0Txf_0qvgGh2-9-ZudjnsGXw5DCoah96gdQFNp2zr9jT8AN2bf1c |
| CitedBy_id | crossref_primary_10_1108_17410380510574077 crossref_primary_10_1017_S147106841700014X crossref_primary_10_1016_j_procs_2014_08_239 |
| ContentType | Journal Article |
| Copyright | 2002 Elsevier Science Inc. |
| Copyright_xml | – notice: 2002 Elsevier Science Inc. |
| DBID | AAYXX CITATION 7SP 8FD L7M |
| DOI | 10.1016/S0020-0255(02)00190-1 |
| DatabaseName | CrossRef Electronics & Communications Abstracts Technology Research Database Advanced Technologies Database with Aerospace |
| DatabaseTitle | CrossRef Technology Research Database Advanced Technologies Database with Aerospace Electronics & Communications Abstracts |
| DatabaseTitleList | Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Library & Information Science |
| EISSN | 1872-6291 |
| EndPage | 142 |
| ExternalDocumentID | 10_1016_S0020_0255_02_00190_1 S0020025502001901 |
| GroupedDBID | --K --M --Z -~X .DC .~1 0R~ 1B1 1OL 1RT 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9JO AAAKF AAAKG AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARIN AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABTAH ABUCO ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADGUI ADJOM ADMUD ADTZH AEBSH AECPX AEKER AENEX AFFNX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM ARUGR ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HAMUX HLZ HVGLF HZ~ H~9 IHE J1W JJJVA KOM LG9 LY1 M41 MHUIS MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SBC SDF SDG SDP SDS SES SEW SPC SPCBC SSB SSD SST SSV SSW SSZ T5K TN5 TWZ UHS WH7 WUQ XPP YYP ZMT ZY4 ~02 ~G- 77I 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SP 8FD L7M |
| ID | FETCH-LOGICAL-c338t-9802a2d97d5997a58e2393bece0dfc65834e0da024da4bed7d313e59d48e847a3 |
| ISICitedReferencesCount | 5 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000176442300005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0020-0255 |
| IngestDate | Sun Sep 28 02:02:31 EDT 2025 Tue Nov 18 22:20:18 EST 2025 Sat Nov 29 02:42:26 EST 2025 Fri Feb 23 02:16:22 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Prolog Constraint logic programming Distributed programming Multi agent systems |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c338t-9802a2d97d5997a58e2393bece0dfc65834e0da024da4bed7d313e59d48e847a3 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| PQID | 27195718 |
| PQPubID | 23500 |
| PageCount | 16 |
| ParticipantIDs | proquest_miscellaneous_27195718 crossref_citationtrail_10_1016_S0020_0255_02_00190_1 crossref_primary_10_1016_S0020_0255_02_00190_1 elsevier_sciencedirect_doi_10_1016_S0020_0255_02_00190_1 |
| PublicationCentury | 2000 |
| PublicationDate | 2002-07-01 |
| PublicationDateYYYYMMDD | 2002-07-01 |
| PublicationDate_xml | – month: 07 year: 2002 text: 2002-07-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationTitle | Information sciences |
| PublicationYear | 2002 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Finin, Fritzson, McKay, McEntire (BIB4) 1994 Futo (BIB6) 1998; vol. 99 Kedro, Genesereth (BIB11) 1994 Futo (BIB5) 1993; vol. 93 Shoha (BIB14) 1993; 60 Vlahavas, Bassiliades, Sakellariou, Molina, Ossowski, Futo, Pasztor, Szeredi, Velbitskiy, Yershov, Netesin (BIB19) 2002; 17 I. Vlahavas, I. Futo, Z. Pasztor, I. Sakellariou, CSPCONS: implementation of a logic programming platform for building distributed constraint applications, bilateral cooperation Greece–Hungary 2000–2002, First Project Report, November 2000 Jaffar, Maher (BIB10) 1994 Xu, Zheng, Fan (BIB22) 1998; 40 F. Sadri, F. Toni, Computational Logic and Multi-Agent Systems: a Roadmap. Computational Logic, Special Issue on the Future Technological Roadmap of Compulog-Net, 1999. Available from van Hentenryck (BIB8) 1991; 6 Hoare (BIB9) 1978; 21 Vlahavas, Bassiliades, Sakellariou, Molina, Ossowski, Futo, Pasztor, Szeredi, Velbitskiy, Yershov, Golub, Netesin (BIB18) 1998; vol. 1480 Vlahavas, Tsarcopoulos, Sakellariou (BIB17) 1998 Russell, Norvig (BIB12) 1995 Wooldridge (BIB21) 1996; vol. 1193 Stamatopoulos, Margaritis, Halatsis (BIB15) 1994 Wallace (BIB20) 1996; 1 Hayes-Roth (BIB7) 1995; 72 Chu, Clark (BIB1) 1993 T. Finin et al., Specification of the KQML Agent Communication Language, the DARPA Knowledge Sharing Initiative, External Interfaces Working Group, 1992 Clark, Robinson, Hagen (BIB2) 1998; vol. 1544 |
| References_xml | – reference: T. Finin et al., Specification of the KQML Agent Communication Language, the DARPA Knowledge Sharing Initiative, External Interfaces Working Group, 1992 – volume: vol. 99 start-page: 613 year: 1998 end-page: 618 ident: BIB6 article-title: A distributed network prolog system publication-title: Proceedings of 20th International Conference on Information Technology Interfaces, Pula – start-page: 115 year: 1993 end-page: 141 ident: BIB1 article-title: IC-Prolog II A multi-threaded prolog system publication-title: Proceedings of the ICLP 93 Post Conference Workshop on Concurrent, Distributed and Parallel Implementations of Logic Programming Systems – volume: 21 year: 1978 ident: BIB9 article-title: The communicating sequential processes publication-title: CACM – volume: 17 start-page: 62 year: 2002 end-page: 72 ident: BIB19 article-title: ExperNet: an intelligent multi-agent system for WAN management publication-title: IEEE Intelligent Systems Magazine – volume: vol. 1480 start-page: 438 year: 1998 end-page: 451 ident: BIB18 article-title: System architecture of a distributed expert system for the management of a National Data Network publication-title: Proceedings of 8th International Conference on Artificial Intelligence, AIMSA'98 – volume: vol. 1544 year: 1998 ident: BIB2 article-title: Programming Internet distributed DAI applications in Qu-Prolog publication-title: Multi agent systems – volume: 72 start-page: 329 year: 1995 end-page: 365 ident: BIB7 article-title: An architecture for adaptive intelligent systems publication-title: Artificial Intelligence: Special Issue on Agents and Interactivity – start-page: 410 year: 1994 end-page: 414 ident: BIB15 article-title: Extending a parallel CLP language to support the development of multi-agent systems publication-title: Proceedings of the ACM Symposium on Applied Computing SAC '94, Phoenix – year: 1994 ident: BIB4 article-title: KQML-an information and knowledge exchange protocol publication-title: Knowledge Building and Knowledge Sharing – volume: 6 start-page: 151 year: 1991 end-page: 194 ident: BIB8 article-title: Constraint logic programming publication-title: The Knowledge Engineering Review – start-page: 249 year: 1994 end-page: 253 ident: BIB11 article-title: Modeling multiagent cooperation as distributed constraint satisfaction problem solving publication-title: Proceedings of the 11th European Conference AI – volume: 60 start-page: 51 year: 1993 end-page: 92 ident: BIB14 article-title: Agent-oriented programming publication-title: Artificial Intelligence – volume: vol. 93 start-page: 3 year: 1993 end-page: 17 ident: BIB5 article-title: Prolog with communicating processes: from T-prolog to CSR-prolog publication-title: Proceedings of the 10th International Conference on Logic Programming – year: 1994 ident: BIB10 article-title: Constraint logic programming: a survey publication-title: Journal of Logic Programming – volume: 1 year: 1996 ident: BIB20 article-title: Practical applications of constraint programming publication-title: Constraints Journal – year: 1998 ident: BIB17 article-title: Parallel and Constraint Logic Programming – year: 1995 ident: BIB12 article-title: Artificial Intelligence: A Modern Approach – volume: 40 start-page: 435 year: 1998 end-page: 442 ident: BIB22 article-title: A logic based language for networked agents publication-title: Information and Software Technology – volume: vol. 1193 start-page: 357 year: 1996 end-page: 374 ident: BIB21 article-title: A knowledge-theoretic semantics for concurrent METATEM publication-title: Proceedings of ECAI'96 Workshop (ATAL) – reference: F. Sadri, F. Toni, Computational Logic and Multi-Agent Systems: a Roadmap. Computational Logic, Special Issue on the Future Technological Roadmap of Compulog-Net, 1999. Available from – reference: I. Vlahavas, I. Futo, Z. Pasztor, I. Sakellariou, CSPCONS: implementation of a logic programming platform for building distributed constraint applications, bilateral cooperation Greece–Hungary 2000–2002, First Project Report, November 2000 |
| SSID | ssj0004766 |
| Score | 1.6888995 |
| Snippet | Multi Agent Systems (MAS) have become the key technology for decomposing complex problems in order to solve them more efficiently, or for problems distributed... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 127 |
| SubjectTerms | Constraint logic programming Distributed programming Multi agent systems Prolog |
| Title | MACLP: multi agent constraint logic programming |
| URI | https://dx.doi.org/10.1016/S0020-0255(02)00190-1 https://www.proquest.com/docview/27195718 |
| Volume | 144 |
| WOSCitedRecordID | wos000176442300005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-6291 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0004766 issn: 0020-0255 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3fb9MwELag4wEeEAwQAzb8gCZQFZbEzmzzVk2dGCplEh3qm-XGrtg00rJ20_58zr_ibggVHnixoiiOo_vsu3N83x1Cb8CFrSjR-xkv8glsUJTOlC5oRgSd5oaBdvBVSwZsOOTjsTgOtfkWrpwAaxp-fS3m_xVquAdgW-rsP8DdvhRuwDWADi3ADu1fAf-5dzA4tht9x63tKsudssHlC1cNYtl1yi7GZf2IlussRrS3bMZuMI6t0_3tXH1XV54AdjSztY5u_jNI8aUphj_P7G7ihh70iRgj4IF84_Va4Qn8wUQWPiHWb9rX_wj42r4dfGSb31XkjrBeJJMTj9mHX-ThyWAgR_3xaHf-M7PFwOyheaiMchdtlKwSvIM2ekf98adEeGX-EDoOlKhZe2n0t3n5Loz8J6fjlvl1PsXoEXoYNgO450F8jO6YZhM9WEkRuYm2A7EE7-IVbHBQyU_QnoP7A3ZgYwc2TmBjBzZeAfspOjnsjw4-ZqEIRlYTwpeZABGqUgumKyGYqrixSetg5ZlcT2vwHwmFKwWullZ0YjTTpCCmEppyA56HIs9Qp5k15jnCtGYEVqYqFaPw9EQIMwX1zVRZ5_vcsC1Eo5RkHTLE2689lykUEIQrrXChkU64sthC79tuc58iZV0HHiGQYSp7_03CRFrX9XWETIIetIdbqjGzy4UsWSEqcLRerH3iJbqf1sQr1FleXJptdK--Wp4uLnbCVPsFbMV0JQ |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=MACLP%3A+Multi+agent+constraint+logic+programming&rft.jtitle=Information+sciences&rft.au=Vlahavas%2C+Ioannis&rft.date=2002-07-01&rft.issn=0020-0255&rft.volume=144&rft.issue=1-4&rft.spage=127&rft.epage=142&rft_id=info:doi/10.1016%2FS0020-0255%2802%2900190-1&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0020-0255&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0020-0255&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0020-0255&client=summon |