Abstract
Rule-based systems that ask the user and that also allow a not operator to be used in the rules have existed for some time; see, for example, the work of Duda, Gasching, Hart, Konolige, Reboh, Barrett & Slocum (1978). This paper briefly explores an idea of Edmonds (1984) for bringing together such recent developments within logic programming in order to provide a logic-based system with an integral, automatic, strategy for asking. The discussion shows that a simple and natural interpretation of PROLOG can provide a step towards logic-based human-computer co-operation.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
