DIALUP: A Modal Logic Programming Language for Indefinite Information

Title: DIALUP: A Modal Logic Programming Language for Indefinite Information

Research Question: How can a modal logic programming language be designed to handle indefinite information, such as disjunctions and existential assertions, while maintaining correctness and efficiency?

Methodology: The researchers developed a new logic programming language called DIALUP that incorporates modal logic to handle indefinite information. They extended and strengthened existing proof-theoretic ideas about logic programming and combined them with proof-theoretic results about modal logic in a novel way.

Results: The DIALUP interpreter was able to correctly handle disjunctions and existential assertions, allowing for modularity and locality in program structure. This resulted in efficient execution of programs involving partial information that would otherwise require prohibitive search.

Implications: DIALUP has broad applicability beyond its initial domains, such as planning and information gathering. Its ability to handle indefinite information in a structured and efficient manner can be beneficial in various logical applications that require automatic assessment of complete information.

Link to Article: https://arxiv.org/abs/0104021v1 Authors: arXiv ID: 0104021v1