Article

Free access

Abductive coordination for logic agents

Authors:

Anna Ciampolini,

Evelina Lamma,

Paola Mello,

Cesare StefanelliAuthors Info & Claims

SAC '99: Proceedings of the 1999 ACM symposium on Applied computing

Pages 134 - 140

https://doi.org/10.1145/298151.298222

Published: 28 February 1999 Publication History

PDF eReader

References

[1]

J-M. Andreoli, and R. Pareschi. Linear Objects: Logical Processes with Built-in Inheritance. In Prvc. ICLP90, MIT Press, 1990.

Digital Library

Google Scholar

[2]

A. Brogi, E. Lamina, P. Mancarella, and P. Mello. A Unifying View for Logic Programming with Non-Monotonic Reasoning. In Theoretical Computer Science, Vol. 184, pages 1-49, North Holland, 1997.

Digital Library

Google Scholar

[3]

K.L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Databases. Plenum Press, New York, 1978.

Google Scholar

[4]

P.T. Cox and T. Pietrzykowski. Causes for events: Their computation and applications. In P~. CADE. 86, page 608, 1986.

Digital Library

Google Scholar

[5]

P. Codognet and V. Saraswat. Abduction in Concurrent Constraint Programming. INRIA-Roquencourt Technical Report, March 1992.

Google Scholar

[6]

J. Doyle. A T~uth Maintenance System. Journal of Artificial intelligence, 12( 1979 ):231-271.

Google Scholar

[7]

K. Eshgi and R.A. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Marteili, editors, Proc. Sixth International Conference on Logic Programming, page 234. The MIT Press, 1989.

Google Scholar

[8]

D. Gelernter. Generative Communication in Linda. A CM Toplas, 7(1):80-112, 1985. V.7, N.lpages 80-112, 1985.

Digital Library

Google Scholar

[9]

J.A. Hendler (ed.). Intelligent Agents: where AI meets information technology. IEEE Expert, Special Issue, December 1996.

Digital Library

Google Scholar

[10]

A.C. Kakas, R.A. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719- 770, 1993.

Crossref

Google Scholar

[11]

A.C. Kakas, and P. Mancarella. Generalized stable models: a semantics for abduction. In Prvc. ol 9th European Con. ference on Artificial Intelligence. Pitman Pub., 1990.

Google Scholar

[12]

A.C. Kakas, and P. Mancarella. On the relation between Truth Maintenance and Abduction. In P~ings PRi. CA I90, 1990.

Google Scholar

[13]

A.C. Kakas, and G.A. Papadopoulos. Parallel Abduction in Logic Programming. In Proc. lnt. Symposium on Paralle Symbolic Computation PASC094. pages 214-224, World Scientific Pub., 1994.

Google Scholar

[14]

R.A. Kowalski. Problems and promises of computational logic. In Proc. of Symposium on Computational Logic, pages 1-36. Springer-Verlag, November 1990.

Crossref

Google Scholar

[15]

R.A. Kowalski. Using metalogic to reconcile reactive with rational agents. In Meta-Logics and Lo~c Programming, K. Apt and F. Turini (eds.), MIT Pres~, 1995.

Digital Library

Google Scholar

[16]

R.A. Kowaiski, and F. Sadri. Towards a unified agent atchitecture that combines rationality with reactivity. In Proc. International Workslwp on Lo94c in Databases, Saa Miniato, Italy, Springer-Verlag, LNCS 1154, 1996.

Digital Library

Google Scholar

[17]

R.A. Kowahki, and F. Toni, and G. Wetzel. Towards a declarative and efficient glass-~ clp language, in Proc. o! Logic Progrommin9 Workshop WLP94, N. Fuchs and G. Gott lob (eds.), 1994.

Google Scholar

[18]

N.R. Jennings, and M.J. Wooldridge (eds.). Agent Technology - Foundations, Applications, and Markets. Springer- Verlag, 1998.

Digital Library

Google Scholar

[19]

J. Pearl. Embracing causality in formal reasoning. Proc. National Conference on Artificial Intelligence, Seattle, WA, pages 369-373, 1987.

Google Scholar

[20]

D.L. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27, 1988.

Digital Library

Google Scholar

[21]

K. Sicara, et al. Distributed Intelligent Agents. IEEE Ezpe~ pages 36--46, December 1996.

Digital Library

Google Scholar

[22]

M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the A CM, 23(4):733-742, 1976.

Digital Library

Google Scholar

Cited By

View all

Ross J(2010)Informatics creativityCommunications of the ACM10.1145/1646353.164639053:2(144-148)Online publication date: 1-Feb-2010
https://dl.acm.org/doi/10.1145/1646353.1646390
Sun ZFinnie GSun ZFinnie G(2004)BibliographyIntelligent Techniques in E-Commerce10.1007/978-3-540-40003-5_11(279-297)Online publication date: 2004
https://doi.org/10.1007/978-3-540-40003-5_11
Papadopoulos GBryant BLamont GHaddad HCarroll J(1999)Special track on coordination models, languages and applicationsProceedings of the 1999 ACM symposium on Applied computing10.1145/298151.298221(132-133)Online publication date: 28-Feb-1999
https://dl.acm.org/doi/10.1145/298151.298221

Index Terms

Abductive coordination for logic agents
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
    2. Knowledge representation and reasoning
2. Theory of computation
  1. Logic

Recommendations

An Implementation for Abductive Logic Agents
AI*IA '99: Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence

This paper presents the distributed implementation of ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems in cases where knowledge about the problem domain is incomplete and ...
Verifiable agent interaction in abductive logic programming: The SCIFF framework

SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with a semantics based on abductive logic programming; SCIFF's operational component is a new abductive logic programming proof ...
Abductive logic programming agents with destructive databases

In this paper we present an agent language that combines agent functionality with a state transition theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an ...

Comments

Information & Contributors

Information

Published In

SAC '99: Proceedings of the 1999 ACM symposium on Applied computing

February 1999

635 pages

ISBN:1581130864

DOI:10.1145/298151

Chairmen:
Barrett Bryant
Univ. of Alabama, Birmingham
,
Gary B. Lamont
Air Force Institute of Technology, Wright-Patterson, OH
,
Hisham Haddad
Marshall Univ., Huntington, WV
,
Janice Carroll
Sam Houston State Univ., Houston, TX

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 February 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SAC99

Sponsor:

SAC99: 1999 Symposium on Applied Computing

February 28 - March 2, 1999

Texas, San Antonio, USA

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
292
Total Downloads

Downloads (Last 12 months)38
Downloads (Last 6 weeks)8

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ross J(2010)Informatics creativityCommunications of the ACM10.1145/1646353.164639053:2(144-148)Online publication date: 1-Feb-2010
https://dl.acm.org/doi/10.1145/1646353.1646390
Sun ZFinnie GSun ZFinnie G(2004)BibliographyIntelligent Techniques in E-Commerce10.1007/978-3-540-40003-5_11(279-297)Online publication date: 2004
https://doi.org/10.1007/978-3-540-40003-5_11
Papadopoulos GBryant BLamont GHaddad HCarroll J(1999)Special track on coordination models, languages and applicationsProceedings of the 1999 ACM symposium on Applied computing10.1145/298151.298221(132-133)Online publication date: 28-Feb-1999
https://dl.acm.org/doi/10.1145/298151.298221

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

An Implementation for Abductive Logic Agents

Verifiable agent interaction in abductive logic programming: The SCIFF framework

Abductive logic programming agents with destructive databases

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

An Implementation for Abductive Logic Agents

Verifiable agent interaction in abductive logic programming: The SCIFF framework

Abductive logic programming agents with destructive databases

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations