| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466113803316 |
|
|
Titolo |
Topics in Artificial Intelligence [[electronic resource] ] : Fourth Congress of the Italian Association for Artificial Intelligence, AIIA '95, Florence, Italy, October 11 - 13, 1995. Proceedings / / edited by Marco Gori, Giovanni Soda |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1995.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 450 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 992 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Natural Language Generation as constraint-based configuration -- Issues of multilinguality in the automatic generation of administrative instructional texts -- Extending Q-learning to Fuzzy Classifier Systems -- Fuzzy cognitive maps in multi-agent environments -- Multiple predicate learning with RTL -- Learning while -Solving problems in single agent search: Preliminary results -- Automatic construction of navigable concept networks characterizing text databases -- Temporal prediction: Dealing with change and interactions within a causal framework -- Non-first-order features in concept languages -- PDL-based framework for reasoning about actions -- Dependency graphs in natural language processing -- Integrating shallow and linguistic techniques for Information extraction from text -- Recognizing preliminary sentences in dialogue interpretation -- Contextuality and non-extensional identity: the inescapable symbiosis in NLP -- Priorities in Default Logic revisited -- Boolean approach for representing and solving constraint-satisfaction problems -- Composing decision procedures: the approach and a case study -- Knowledge representation, exemplification, and the Gupta-Belnap theory of circular definitions -- TRDL: A language for conceptual modelling in Information Systems Engineering -- The different roles of abstraction |
|
|
|
|
|
|
|
|
|
|
|
in abductive reasoning -- A cognitive model of causal reasoning about the physical world -- A generalized approach to consistency based belief revision -- A framework for dealing with belief-goal dynamics -- Evolving non-trivial behaviors on real robots: An autonomous robot that picks up objects -- A formal domain description language for a temporal planner -- A method for solving multiple autonomous robots collisions problem using space and time representation -- Mapping symbolic knowledge into locally receptive field networks -- Knowledge representation for robotic vision based on conceptual spaces and attentive mechanisms -- A weakest precondition semantics for conditional planning -- A cognitive hybrid model for autonomous navigation -- Using a chemical metaphor to implement autonomous systems -- Modeling process diagnostic knowledge through causal networks -- Formalizing reasoning about change: A temporal diagnosis approach -- Preventive diagnosis: Definition and logical model -- Learning programs in different paradigms using Genetic Programming -- Revision of logical theories -- Reformulation of examples in concept learning of structural descriptions -- Integrated Model — A Proposal to handle noise -- Exceptions-based synthesis of Boolean functions as a core mechanism to perform concept learning -- Seeing is believing -- Agents as reasoners, observers or believers -- Modelling interactions in agent system -- Agent coordination and control through logic theories. |
|
|
|
|
|
|
Sommario/riassunto |
|
This 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. |
|
|
|
|
|
|
|
| |