Topics in Artificial Intelligence: Fourth Congress of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11 - 13, 1995. ProceedingsThis book presents the refereed proceedings of the 4th Congress of the Italian Association for Artificial Intelligence, AI*IA '95, held in Florence, Italy, in October 1995. The 31 revised full papers and the 12 short presentations contained in the volume were selected from a total of 101 submissions on the basis of a careful reviewing process. The papers are organized in sections on natural language processing, fuzzy systems, machine learning, knowledge representation, automated reasoning, cognitive models, robotics and planning, connectionist models, model-based reasoning, and distributed artificial intelligence. |
Contents
Natural Language Generation as ConstraintBased Configuration | 1 |
Issues of Multilinguality in the Automatic Generation of Administrative Instructional Texts | 13 |
Extending Qlearning to Fuzzy Classifier Systems | 25 |
Fuzzy Cognitive Maps in MultiAgent Environments | 37 |
Multiple Predicate Learning with RTL | 44 |
Preliminary Results | 56 |
Automatic Construction of Navigable Concept Networks Characterizing Text Databases | 67 |
Dealing with Change and Interactions within a Causal Framework | 79 |
An Autonomous Robot that Picks up Objects | 243 |
A Formal Domain Description Language for a Temporal Planner | 255 |
A Method for Solving Multiple Autonomous Robots Collisions Problem Using Space and Time Representation | 261 |
Mapping Symbolic Knowledge into Locally Receptive Field Networks | 267 |
Knowledge Representation for Robotic Vision Based on Conceptual Spaces and Attentive Mechanisms | 279 |
A Weakest Precondition Semantics for Conditional Planning | 291 |
A Cognitive Hybrid Model for Autonomous Navigation | 303 |
Using a Chemical Metaphor to Implement Autonomous Systems | 315 |
Nonfirstorder Features in Concept Languages | 91 |
PDLbased Framework for Reasoning about Actions | 103 |
Dependency Graphs in Natural Language Processing | 115 |
Integrating Shallow and Linguistic Techniques for Information Extraction from Text | 127 |
Recognizing Preliminary Sentences in Dialogue Interpretation | 139 |
the Inescapable Symbiosis in NLP | 145 |
Priorities in Default Logic Revisited | 152 |
Boolean Approach for Representing and Solving Constraintsatisfaction Problems | 163 |
The Approach and a Case Study | 175 |
Knowledge Representation Exemplification and the GuptaBelnap Theory of Circular Definitions | 187 |
A Language for Conceptual Modelling in Information Systems Engineering | 199 |
The Different Roles of Abstraction in Abductive Reasoning | 211 |
A Cognitive Model of Causal Reasoning about the Physical World | 217 |
A Generalized Approach to Consistency Based Belief Revision | 231 |
A framework for Dealing with BeliefGoal Dynamics | 237 |
Modeling Process Diagnostic Knowledge Through Causal Networks | 323 |
A Temporal Diagnosis Approach | 335 |
Definition and Logical Model | 347 |
Learning Programs in Different Paradigms Using Genetic Programming | 353 |
Revision of Logical Theories | 365 |
Reformulation of Examples in Concept Learning of Structural Descriptions | 377 |
Integrated Model a proposal to Handle Noise | 389 |
ExceptionsBased Synthesis of Boolean Functions as a Core Mechanism to Perform Concept Learning | 395 |
And so are Hearing and Jumping | 402 |
Agents as Reasoners Observers or Believers | 414 |
Modelling Interactions in Agent System | 426 |
Agent Coordination and Control through Logic Theories | 439 |
Other editions - View all
Common terms and phrases
abductive reasoning ACLT action activation agent algorithm analysis application approach architecture Artificial Intelligence assignment atomic actions basic behaviour Belief Revision beliefs Boolean causal classification clause cognitive complex computational concept consider consistent constraints corresponding default logic default theory defined definition denotes described diagnosis domain dynamic logic epistemic example formal formula framework function fuzzy given goal graph heuristic implemented input instance interaction International interpretation knowledge base Knowledge Representation knoxels KQML learning linguistic LOGENPRO Machine Learning mapping modal logic morion Natural Language Processing neural networks node objects operator paper parsing path performed planning possible predicate problem Proc procedures proposed propositional Q-Learning reasoning recursive recursive theory relation represented retrieval revision robot rules semantics sensors sentence situation situation calculus solution space specific strategy structure subset symbolic syntactic T₁ task temporal theorem Università variables