Anzeige
Erschienen in:
1988 | OriginalPaper | Buchkapitel
Constructing Personal Databases with Prolog
verfasst von : Helder Coelho, José Carlos Cotta
Erschienen in: Prolog by Example
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Answering questions is one of the tasks that may show the ability to make logical deductions. In a question-answering system, facts are represented by unit clauses, say logical formulas. Then, to answer a question from the facts, it must be proved that a formula corresponding to the answer is derivable from the formulas representing the facts.