Ebook: Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.

---

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.

---

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.
Content:
Front Matter....Pages -
Introduction....Pages 1-6
Order sorted predicate logic....Pages 7-17
Many-sorted inferences in automated theorem proving....Pages 18-48
Tableau calculus for order sorted logic....Pages 49-60
A calculus for order-sorted predicate logic with sort literals....Pages 61-72
Types, modules and databases in the logic programming language PROTOS-L....Pages 73-110
Representation and reasoning with attributive descriptions....Pages 111-139
Knowledge representation in LILOG....Pages 140-164
Structure and control of the L-LILOG Inference system....Pages 165-182
A general characterization of term description languages....Pages 183-189
Sorts in qualitative reasoning....Pages 190-207
Eventualities in a natural language understanding system....Pages 208-239
What KL-ONE lookalikes need to cope with natural language....Pages 240-285
Functor-argument structures for the meaning of natural language sentences and their formal interpretation....Pages 286-304
Back Matter....Pages -

---

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.
Content:
Front Matter....Pages -
Introduction....Pages 1-6
Order sorted predicate logic....Pages 7-17
Many-sorted inferences in automated theorem proving....Pages 18-48
Tableau calculus for order sorted logic....Pages 49-60
A calculus for order-sorted predicate logic with sort literals....Pages 61-72
Types, modules and databases in the logic programming language PROTOS-L....Pages 73-110
Representation and reasoning with attributive descriptions....Pages 111-139
Knowledge representation in LILOG....Pages 140-164
Structure and control of the L-LILOG Inference system....Pages 165-182
A general characterization of term description languages....Pages 183-189
Sorts in qualitative reasoning....Pages 190-207
Eventualities in a natural language understanding system....Pages 208-239
What KL-ONE lookalikes need to cope with natural language....Pages 240-285
Functor-argument structures for the meaning of natural language sentences and their formal interpretation....Pages 286-304
Back Matter....Pages -
....