Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings

394 Pages·1999·2.91 MB·English

by  P. Van Hentenryck

Lecture Notes in Artificial Intelligence 1695
Subseries ofLectureNotesin ComputerScience
Editedby J.G. Carbonelland J. Siekmann
Lecture Notes in Computer Science
Editedby G.Goos,J. Hartmanisand J.van Leeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Pedro Barahona Jose´ J. Alferes (Eds.)
Progress in
Artificial Intelligence
9th Portuguese Conference
on Artificial Intelligence, EPIA ’99
´
Evora, Portugal, September 21-24, 1999
Proceedings
1 3
SeriesEditors
JaimeG.Carbonell, CarnegieMellonUniversity,Pittsburgh,PA,USA
Jo¨rgSiekmann, UniversityofSaarland,Saarbru¨cken,Germany
VolumeEditors
PedroBarahona
UniversidadeNovadeLisboa,DepartamentodeInforma´tica
QuintadaTorre,P-2825-114Caparica,Portugal
E-mail:[email protected]
Jose´J.Alferes
UniversidadedeE´vora,DepartamentodeMatema´tica
R.Roma˜oRamalho59,P-7000E´vora,Portugal
E-mail:[email protected]
Cataloging-in-Publicationdataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Progressinartificialintelligence:proceedings/9thPortugueseConferenceon
ArtificialIntelligence,EPIA’99,E´vora,Portugal,September22-24,1999.
PedroBarahona;Jose´J.Alferes(ed.).-Berlin;Heidelberg;NewYork;
Barcelona;HongKong;London;Milan;Paris;Singapore;Tokyo:Springer,
1999
(Lecturenotesincomputerscience;Vol.1695:Lecturenotesinartificial
intelligence)
ISBN3-540-66548-X
CRSubjectClassification(1998):I.2
ISBN3-540-66548-X Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
(cid:1)c Springer-VerlagBerlinHeidelberg1999
PrintedinGermany
Typesetting:Camera-readybyauthor
SPIN10704517 06/3142–543210 Printedonacid-freepaper
Preface
The Portuguese Association for Arti(cid:12)cial Intelligence (APPIA) has been regu-
larly organising the Portuguese Conference on Arti(cid:12)cial Intelligence (EPIA).
This ninth conference follows previous ones held in Porto (1985), Lisboa (1986),
Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995)
andCoimbra(1997).Startingin1989,theconferenceshavebeenheldbiennially
(alternating with an APPIA Advanced School on Arti(cid:12)cial Intelligence) and
become truly international: English has been adopted as the o(cid:14)cial language
and the proceedings are published in Springer’s LNAI series.
The conference has recon(cid:12)rmed its high international standard this year,
largely due to its programme committee, composed of distinguished researchers
inavarietyofspecialitiesinArti(cid:12)cialIntelligence,halfofthemfromPortuguese
universities.Thishasattractedasigni(cid:12)cantinternationalinterest,wellexpressed
bythenumberofpaperssubmitted(66),from17di(cid:11)erentcountries,29ofwhich
are by Portuguese researchers.
From the 66 papers submitted, about one third of them (23) were selected
fororalpresentationandhavebeenpublishedinthisvolume.Thereviewprocess
enabledtheselectionofhighqualitypapers,eachpaperbeingreviewedbytwoor
threereviewers,eitherfromtheprogrammecommitteeorbytheirappointment.
We would like to thank all of the reviewers for their excellent and hard work.
We would also like to thank the invited speakers, Pascal Van Hentenryck,
Nada Lavra(cid:20)c and Klaus Fischer, for their contribution to EPIA’99, which has
signi(cid:12)cantly boosted interest in the conference. Their invited lectures are pre-
sented in a separate section of this volume. We should also thank Pavel Brazdil
and Terrance Swift for their tutorials.
As in previous EPIA conferences, two workshops were organised in associa-
tion with this one, one in the area of Data Mining (EKDB-99) and the other in
Natural Language Processing (PROPOR-99). We would like to thank the orga-
nisersfortheire(cid:11)orts,inparticular,FernandoMouraPires,GabrielaGuimara~es
and Al(cid:19)(cid:16)pio Jorge (EKDB-99), and Gabriel Pereira Lopes, Irene Pimenta Rodri-
gues and Paulo Quaresma (PROPOR-99). Finally, we would like to thank all
the people who helped us organise the conference, and in particular, Jorge Cruz
for his help in the publication of this volume.
The conference would not have been possible without the support of a num-
berofinstitutions,whichwewouldliketopubliclyacknowledge:Fundac(cid:24)~aoparaa
Ci^enciaeTecnologia,Fundac(cid:24)~aoCalousteGulbenkian,ESPRITNoECompulog-
Net, Logic Programming Associates, Alcatel Portugal, East(cid:19)ecnica and Valnet
Sado. We would also like to thank the Departamento de Informa(cid:19)tica da Univer-
sidade Nova de Lisboa and the Departamento de Matem(cid:19)atica da Universidade
de E(cid:19)vora for their support in the organisation of the conference.
July 1999 Pedro Barahona
Jos(cid:19)e Ju(cid:19)lio Alferes
EPIA’99
9th Portuguese Conference on Arti(cid:12)cial Intelligence
(cid:19)
Evora, Portugal, September 1999
Conference Chair: Jos(cid:19)e Ju(cid:19)lio Alferes
Programme Chair: Pedro Barahona
Programme Committee
Jos(cid:19)e Ju(cid:19)lio Alferes Univ. E(cid:19)vora
Pedro Barahona Univ. Nova Lisboa
Pavel Brazdil Univ. Porto
Gerhard Brewka Univ. Leipzig - Germany
Am(cid:19)(cid:16)lcar Cardoso Univ. Coimbra
Philippe Codognet Univ. Paris VI - France
Helder Coelho Univ. Lisboa
Ernesto Costa Univ. Coimbra
Carlos Pinto Ferreira Univ. T(cid:19)ecnica Lisboa
Udo Hahn Univ. Freiburg - Germany
Werner Horn Univ. Vienna - Austria
Elpida Keravnou Univ. Cyprus - Cyprus
Vladimir Lifschitz Univ. Texas at Austin - USA
Gabriel Pereira Lopes Univ. Nova Lisboa
Joa~o Pav~ao Martins Univ. T(cid:19)ecnica Lisboa
Ryszard Michalski Univ. George Mason - USA
Wolfgang Nejdl Univ. Hannover - Germany
Eug(cid:19)enio Oliveira Univ. Porto
Lu(cid:19)(cid:16)s Moniz Pereira Univ. Nova Lisboa
Fernando Moura Pires Univ. Nova Lisboa
Henri Prade Univ. Toulouse - France
Erik Sandewall Univ. Link¨opping - Sweden
Manuela Veloso Univ. Carnegie Mellon - USA
VIII Organization
List of Reviewers
Am(cid:19)(cid:16)lcar Cardoso Joaquim Costa
Ana Paula Rocha Jorge Cruz
Ana Paula Silva Jos(cid:19)e Ju(cid:19)lio Alferes
Anabela Simo~es Jos(cid:19)e Luiz Fiadeiro
Andreas Herzig Jos(cid:19)e Manuel Fonseca
Anto(cid:19)nio Menezes Leit~ao Leonor Melo
Ant(cid:19)onio Porto Lu(cid:19)(cid:16)s Antunes
Arlindo Silva Lu(cid:19)(cid:16)s Correia
Benedita Malheiro Lu(cid:19)(cid:16)s Moniz
Bernardete Ribeiro Lu(cid:19)(cid:16)s Moniz Pereira
Bertrand Couasnon Lu(cid:19)(cid:16)s Monteiro
Carlos Bento Lu(cid:19)(cid:16)s Paulo Reis
Carlos Dam(cid:19)asio Lu(cid:19)(cid:16)s Torgo
Carlos Pinto Ferreira Margarida Mamede
Christian Holzbau¨r Maria dos Rem(cid:19)edios Cravo
Elpida Keravnou Miguel Ferrand
Enrico Giunchiglia Miguel Filgueiras
Erik Sandewall Muriel Jourdan
Ernesto Costa Nelma Moreira
Eug(cid:19)enio Oliveira Norman McCain
Fernando Moura Pires Paolo Petta
Francisco Baptista Pereira Paulo Quaresma
Francisco C^amara Pereira Pavel Brazdil
Fr(cid:19)ed(cid:19)eric Goualard Pedro A. Matos
Gabriel Pereira Lopes Pedro Barahona
Gabriela Guimara~es Penousal Machado
Gerhard Brewka Philippe Codognet
Grac(cid:24)a Gaspar Salvador Abreu
Helder Coelho Sergei Soloviev
Henri Prade Udo Hahn
Hudson Turner Vladimir Lifschitz
Irene Pimenta Rodrigues Werner Horn
Jo~ao Balsa Werner Nutt
Jo~ao Gama Wolfgang Nejdl
Jo~ao Moura Pires Yan Georget
Joa~o Pava~o Martins Zahir Maazouzi
Table of Contents
Invited Lectures
Combinatorial Optimization in OPL Studio ........................ 1
P.VanHentenryck,L.Michel,P.Laborie,W.Nuijten,andJ.Rogerie
Challenges for Inductive Logic Programming ....................... 16
Nada Lavra(cid:20)c
Holonic Multiagent Systems - Theory and Applications ............. 34
Klaus Fischer
Constraint Programming
On the Accuracy and Running Time of GSAT ...................... 49
Deborah East and Mirosl aw Truszczyn(cid:19)ski
The Impact of Branching Heuristics in Propositional Satis(cid:12)ability 62
Algorithms
Jo~ao Marques-Silva
A Tractable Subclass of the Block Algebra: Constraint Propagation 75
and Preconvex Relations
PhilippeBalbiani,Jean-Franc(cid:24)oisCondotta,andLuisFarin~asdelCerro
Is PL a Tractable Language? ...................................... 90
2
Aida Vit(cid:19)oria and Margarida Mamede
Natural Language Processing
Inclusion of Picture Sequences in Generated Documents ............ 99
Kees van Deemter and Richard Power
Using LocalMaxs Algorithm for the Extraction of Contiguous and
Non-contiguous Multiword Lexical Units 113
Joaquim Ferreira da Silva, Ga¨el Dias, Sylvie Guillor(cid:19)e, and
Jos(cid:19)e Gabriel Pereira Lopes
On the Formal Distinction between Literal and Figurative Language 133
Udo Hahn and Katja Markert
X Table of Contents
Spatial Reasoning
Qualitative Theory of Shape and Structure ......................... 148
Vincent Dugat, Pierre Gambarotto, and Yannick Larvor
Logic Programming
A New Formulation of Tabled Resolution with Delay ............... 163
Terrance Swift
YapOr:AnOr-ParallelPrologSystemBasedonEnvironmentCopying 178
Ricardo Rocha, Fernando Silva, and V(cid:19)(cid:16)tor Santos Costa
Theorem Proving
Structure Theorems for Closed Sets of Implicates/Implicants in 193
Temporal Logic
I. P. de Guzma(cid:19)n, P. Cordero, and M. Enciso
Critical Agents Supporting Interactive Theorem Proving ........... 208
Christoph Benzmu¨ller and Volker Sorge
Reasoning Under Uncertainty
A Practical Approach to Fusing Prioritized Knowledge Bases ....... 222
Salem Benferhat, Didier Dubois, Henri Prade, and
Mary-Anne Williams
Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles . 237
Ant(cid:19)onio Abreu and Lu(cid:19)(cid:16)s Correia
Multi-agent Systems
A Multi-agent System for Electronic Commerce Including Adaptative 252
Strategic Behaviours
Henrique Lopes Cardoso, Max Schaefer, and Eug(cid:19)enio Oliveira
Choice and Institutions in Agent Societies .......................... 267
Jos(cid:19)e Castro Caldas and Helder Coelho
Analytic Modal Revision for Multi-agent Systems .................. 282
Paolo Di Giusto and Guido Governatori
DecisionsBaseduponMultipleValues:TheBVGAgentArchitecture 297
Lu(cid:19)(cid:16)s Antunes and Helder Coelho
Table of Contents XI
Abduction and Revision
Temporal Abductive Diagnosis ..................................... 312
Elpida T. Keravnou and John Washbrook
A New Approach to Base Revision ................................. 327
Paolo Di Giusto and Guido Governatori
Improving Optical Music Recognition by Means of Abductive 342
Constraint Logic Programming
Miguel Ferrand, Joa~o Alexandre Leite, and Am(cid:19)(cid:16)lcar Cardoso
Genetic Algorithms
Genetic Algorithms for Solving Open Shop Scheduling Problems .... 357
Sami Khuri and Sowmya Rao Miryala
Expressing Population Based Optimization Heuristics Using PLATO 369
Lu(cid:19)(cid:16)s Correia, Fernando Moura-Pires, and Joaquim N. Apar(cid:19)(cid:16)cio
Author Index 385