This book constitutes the refereed proceedings of the 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, held in Campinas, Brazil, in October 1995.
The book presents three invited papers and 31 revised full papers selected from a total 57 submissions, more than half of them coming from abroad. The papers are organized in sections on knowledge representation and automated reasoning, tutoring systems, machine learning, neural networks, distributed artificial intelligence, knowledge acquisition and knowledge bases, and natural language processing.
Author(s): Gerhard Fischer (auth.), Jacques Wainer, Ariadne Carvalho (eds.)
Series: Lecture Notes in Computer Science 991
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 342
Tags: Artificial Intelligence (incl. Robotics)
Rethinking and reinventing Artificial Intelligence from the perspective of human-centered computational artifacts....Pages 1-11
Automatic documentation generation: Including examples....Pages 12-25
Market-oriented programming (abstract)....Pages 26-27
Belief increasing in SKL model frames....Pages 28-38
Sensitivity of combination schemes under conflicting conditions and a new method....Pages 39-48
Two conditional logics for defeasible inference: A comparison preliminary version....Pages 49-58
Underlying semantics for the assessment of Reiter's solution to the frame problem....Pages 59-68
Modeling intentions with extended logic programming....Pages 69-78
Labelled theorem proving for substructural logics....Pages 79-90
Labelled abduction....Pages 91-100
PROMAL: Programming in modal action logic....Pages 101-111
A goal directed reasoning for semi-normal default theories....Pages 112-120
Towards new learning strategies in intelligent tutoring systems....Pages 121-130
Modeling the influence of non-changing quantities....Pages 131-140
Mathema: A learning environment based on a multi-agent architecture....Pages 141-150
A general model of dialogue interpretation for concept tutoring systems....Pages 151-160
Knowledge based clustering of partially characterized objects....Pages 161-170
Constructing the extensional representation of an intensional domain theory in inductive logic programming....Pages 171-180
A generic algorithm for learning rules with hierarchical exceptions....Pages 181-190
A neural model for the visual attention phenomena....Pages 191-200
Learning rare categories in backpropagation....Pages 201-209
An automatic adaptive neurocomputing algorithm for time series prediction....Pages 210-218
A computational approach to situation theory based on logic programming to design cognitive agents....Pages 219-231
Measuring agreement and harmony in multi-agent societies: A first approach....Pages 232-241
Detecting the opportunities of learning from the interactions in a society of organizations....Pages 242-252
Exploiting social reasoning to enhance adaptation in open multi-agent systems....Pages 253-263
A system for aiding discovery: Mechanisms for knowledge generation....Pages 264-273
On a composite formalism and approach to presenting the knowledge content of a relational database....Pages 274-284
Method for knowledge acquisition from multiple experts....Pages 285-294
A conceptual model for a knowledge base homogeneously stored in a database environment....Pages 295-301
A hierarchical description of the Portuguese verb....Pages 302-311
TALISMAN: A multi-agent system for natural language processing....Pages 312-322
Part-of-speech tagging for portuguese texts....Pages 323-332
Quantification and cognitive constraints in natural language understanding....Pages 333-342
