Fundamentals of Artificial Intelligence Research

1. Front Matter

   PDF

2. User-oriented theorem proving with the ATINF graphic proof editor

   • Ricardo Caferra, Michel Herment, Nicolas Zabel

   Pages 1-10

3. A modal analysis of possibility theory

   • Luis Fariñas del Cerro, Andreas Herzig

   Pages 11-18

4. Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I — A position paper

   • Dov Gabbay, Anthony Hunter

   Pages 19-32

5. Relational proof systems for some AI logics

   • Eva Orlowska

   Pages 33-47

6. Formal grammars and cognitive architectures

   • Gheorghe PĂun

   Pages 48-58

7. Efficient simulations of nondeterministic computations and their speed-up by the ring of cooperating machines

   • Juraj Wiedermann

   Pages 59-70

8. A semantic characterization of disjunctive relations

   • Michael Freund

   Pages 71-83

9. Execution of defeasible temporal clauses for building preferred models

   • Anthony Hunter

   Pages 84-98

10. On the phenomenon of flattening “flexible prediction” concept hierarchy

    • Mieczyslaw A. Klopotek

    Pages 99-111

11. Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints

    • Jérôome Lang

    Pages 112-126

12. An approach to data-driven learning

    • Zdravko Markov

    Pages 127-140

13. Extending abduction from propositional to first-order logic

    • Pierre Marquis

    Pages 141-155

14. Building in equational theories into the connection method

    • Uwe Petermann

    Pages 156-169

15. Logical fiberings and polycontextural systems

    • J. Pfalzgraf

    Pages 170-184

16. Automated deduction with associative commutative operators

    • M. Rusinowitch, L. Vigneron

    Pages 185-199

17. Towards a lattice of knowledge representation systems

    • Andreas Strasser

    Pages 200-213

18. Inconsistencies handling: nonmonotonic and paraconsistent reasoning

    • Ján Šefránek

    Pages 214-219

19. An approach to structural synthesis of data processing programs

    • Gražina Taučaitė, Justinas Laurinskas

    Pages 220-226

20. Negation as failure and intuitionistic three-valued logic

    • Jacqueline Vauzeilles

    Pages 227-241

This volume contains 6 invited lectures and 13 submitted contributions to the scientific programme of the international workshop Fundamentals of Artificial Intelligence Research, FAIR '91, held at Smolenice Castle, Czechoslovakia, September 8-12, 1991, under the sponsorship of the European Coordinating Committee for Artificial Intelligence, ECCAI. FAIR'91, the first of an intended series of international workshops, addresses issues which belong to the theoretical foundations of artificial intelligence considered as a discipline focused on concise theoretical description of some aspects of intelligence by toolsand methods adopted from mathematics, logic, and theoretical computer science. The intended goal of the FAIR workshops is to provide a forum for the exchange of ideas and results in a domain where theoretical models play an essential role. It is felt that such theoretical studies, their development and their relations to AI experiments and applications have to be promoted in the AI research community.

• Automatisches Schließen
• Grammars
• Grammatiken
• Mathematical Logic
• Mathematische Logik
• Möglichkeitstheorie
• Reasoning
• Simulation
• artificial intelligence
• automated deduction
• grammar
• knowledge
• knowledge representation
• learning
• theorem proving

Policies and ethics