Philippe Jorrand / Jozef Kelemen (eds.)

Fundamentals of Artificial Intelligence Research

International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings
Mitarbeit:Jorrand, Philippe; Kelemen, Jozef

• Broschiertes Buch

Produktbeschreibung

This volume contains 6 invited lectures and 13 submittedcontributions to the scientific programme of theinternational workshop Fundamentals of ArtificialIntelligence Research, FAIR '91, held at Smolenice Castle,Czechoslovakia, September 8-12, 1991, under the sponsorshipof the European Coordinating Committee for ArtificialIntelligence, ECCAI. FAIR'91, the first of an intendedseries of international workshops, addresses issues whichbelong to the theoretical foundations of artificialintelligence considered as a discipline focused on concisetheoretical description of some aspects of intelligence bytoolsand methods adopted from mathematics, logic, andtheoretical computer science. The intended goal of the FAIRworkshops is to provide a forum for the exchange of ideasand results in a domain where theoretical models play anessential role. It is felt that such theoretical studies,their development and their relations toAI experiments andapplications have to be promoted in the AI researchcommunity.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 535
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-54507-1
• 1991.
• Seitenzahl: 272
• Erscheinungstermin: 28. August 1991
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 454g
• ISBN-13: 9783540545071
• ISBN-10: 3540545077
• Artikelnr.: 09236980

Inhaltsangabe

User-oriented theorem proving with the ATINF graphic proof editor.- A modal analysis of possibility theory.- Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I - A position paper.- Relational proof systems for some AI logics.- Formal grammars and cognitive architectures.- Efficient simulations of nondeterministic computations and their speed-up by the ring of cooperating machines.- A semantic characterization of disjunctive relations.- Execution of defeasible temporal clauses for building preferred models.- On the phenomenon of flattening "flexible prediction" concept hierarchy.- Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints.- An approach to data-driven learning.- Extending abduction from propositional to first-order logic.- Building in equational theories into the connection method.- Logical fiberings and polycontextural systems.- Automated deduction with associative commutative operators.- Towards a lattice of knowledge representation systems.- Inconsistencies handling: nonmonotonic and paraconsistent reasoning.- An approach to structural synthesis of data processing programs.- Negation as failure and intuitionistic three-valued logic.- Symbolic Computation and Artificial Intelligence.