Building Conventional "experts" With a Dialogue Logic Programming Language

We describe DiaProlog, a dialogue logic programming language that extends the vanilla Prolog with the features to facilitate the integration of reasoning capabilities into task-oriented dialogue systems. The extended language combines the expressive power of Horn rule and description logic with unce...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE/ACM transactions on audio, speech, and language processing Jg. 31; S. 1 - 12
1. Verfasser: Zheng, Xiaoqing
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Piscataway IEEE 01.01.2023
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:
Cognition
Declarative programming
Dialogue management
Knowledge base
Knowledge based systems
Law
Logic programming
Logic programming language
Neural networks
Oral communication
Prolog
Questions
Reasoning
Speech processing
Task analysis
Task-oriented dialogue systems
ISSN:2329-9290, 2329-9304
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We describe DiaProlog, a dialogue logic programming language that extends the vanilla Prolog with the features to facilitate the integration of reasoning capabilities into task-oriented dialogue systems. The extended language combines the expressive power of Horn rule and description logic with uncertainty and allows us to describe the specifications for both problem solving and dialogue management in a declarative programming manner. The systems incorporated with DiaProlog are capable of asking appropriate questions when necessary and collecting the answers to direct the line of reasoning and guide the conversation toward the correct solution. Besides, an explanation facility is provided to explain the reasoning behind its conclusion. We also describe a dialogue management framework built upon DiaProlog, which has been validated in multiple implementations providing legal consulting, financial advising, and medical guidance services where many questions require complex inferences about knowledge.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2329-9290
2329-9304
DOI:10.1109/TASLP.2023.3271119