Book ChapterDOI
The SCIFF abductive proof-procedure
Marco Alberti,Marco Gavanelli,Evelina Lamma,Paola Mello,Paolo Torroni +4 more
- Vol. 3673, pp 135-147
Reads0
Chats0
TLDR
An operational framework which builds on the classical understanding of abductive reasoning in logic programming, and extends it in several directions, and the ability to reason with a dynamic knowledge base is proposed.Abstract:
We propose an operational framework which builds on the classical understanding of abductive reasoning in logic programming, and extends it in several directions. The new features include the ability to reason with a dynamic knowledge base, where new facts can be added anytime, the ability to generate expectations about such new facts occurring in the future (forecasting), and the process of confirmation/disconfirmation of such expectations.read more
Citations
More filters
Book
Declarative Agent Languages and Technologies IV
TL;DR: The contribution of this paper is to present a tableau method that automatically decides whether a formula of the logic of acceptance is satisfiable thereby providing an automated reasoning procedure for judgement aggregation in the Logic of acceptance.
Journal ArticleDOI
Computational logics and agents: a road map of current technologies and future trends
TL;DR: A road map of research into the use of computational logic in agent‐based systems and much of the recent work in these areas is presented to give the reader sufficient background to understand the current research problems and potential future developments in this maturing area.
Journal ArticleDOI
Representing and monitoring social commitments using the event calculus
TL;DR: The current commitment modelling languages are extended, thus leveraging expressive possibilities that were precluded by previous formalizations, and a novel axiomatization of commitment operations in a first order Event Calculus framework is proposed.
Book ChapterDOI
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason
TL;DR: This work defines a procedure for automatically deriving a self-monitoring MAS that ensures that agents conform to the protocol at run-time, by adding a monitor agent that checks that the ongoing conversation is correct w.r.t. the global session type.
Journal ArticleDOI
Logic-based technologies for multi-agent systems: a systematic literature review
TL;DR: A comprehensive view of logic-based technologies for agents and multi-agent systems is provided by making them the subject of a systematic literature review (SLR) and the resulting technologies are discussed and evaluated from two different perspectives.
References
More filters
Journal ArticleDOI
A logic-based calculus of events
Robert A. Kowalski,Marek Sergot +1 more
TL;DR: An approach for reasoning about events and time within a logic programming framework where the notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure.
Journal ArticleDOI
Constraint logic programming : A survey
Joxan Jaffar,Michael J. Maher +1 more
TL;DR: This survey of CLP is to give a systematic description of the major trends in terms of common fundamental concepts and the three main parts cover the theory, implementation issues, and programming for applications.
Book
Handbook of logic in artificial intelligence and logic programming (vol. 1)
TL;DR: In this paper, the authors refer to break the boredom in reading is choosing handbook of logic in artificial intelligence and logic programming vol 3 nonmonotonic reasoning as the reading material.
Journal ArticleDOI
Theory and practice of constraint handling rules
TL;DR: This survey describes implementations of the CHR language, defines syntax and semantics for CHR, introduces an important decidable property, confluence, of CHR programs and defines a tight integration of CHR with constraint logic programming languages.
Book ChapterDOI
Semi-qualitative Reasoning about Distances: A Preliminary Report
TL;DR: A family of languages intended for representing knowledge and reasoning about metric (and more general distance) spaces and considers, for example, the spaces R × R and N × N with their natural metrics.