Computational intelligence: a logical approach
Computational intelligence: a logical approach
Logic-based artificial intelligence
Backtrackable State with Linear Affine Implication and Assumption Grammars
ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
Abductive Partial Order Planning with Dependent Fluents
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
CHRv: A Flexible Query Language
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
Theory and Practice of Logic Programming
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Constraint Handling Rules
Integrating Abduction and Constraint Optimization in Constraint Handling Rules
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Hyprolog Parsing Methodology for Property Grammars
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Adaptable Grammars for Non-Context-Free Languages
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Theory and Practice of Logic Programming
On the implementation of global abduction
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Inspecting side-effects of abduction in logic programs
Logic programming, knowledge representation, and nonmonotonic reasoning
Chemical signaling as a useful metaphor for resource management
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part I
Learning semantic parsers: a constraint handling rule approach
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Task-Based dependency management for the preservation of digital objects using rules
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Informing datalog through language intelligence --- a personal perspective
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Computers & Mathematics with Applications
Interleaved inductive-abductive reasoning for learning complex event models
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
The CHR-based Implementation of the SCIFF Abductive System
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
| Hi-index | 0.00 |
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic and taken over from Assumption Grammars. The language shows a novel flexibility in the interaction between the different paradigms, including all additional built-in predicates and constraints solvers that may be available. Assumptions and abduction are especially useful for language processing, and we can show how HYPROLOG works seamlessly together with the grammar notation provided by the underlying Prolog system. An operational semantics is given which complies with standard declarative semantics for the “pure” sublanguages, while for the full HYPROLOG language, it must be taken as definition. The implementation is straightforward and seems to provide for abduction, the most efficient of known implementations; the price, however, is a limited use of negations. The main difference wrt. previous implementations of abduction is that we avoid any level of metainterpretation by having Prolog execute the deductive steps directly and by treating abducibles (and assumptions as well) as CHR constraints.