no code implementations • 22 Sep 2021 • Krysia Broda, Fariba Sadri, Stephen Butler
Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifies transitions between the states of the database.
no code implementations • 4 Jan 2016 • Robert Kowalski, Fariba Sadri
In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states.
no code implementations • 15 Jan 2014 • Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan model.
no code implementations • 29 Jan 2013 • Robert Kowalski, Fariba Sadri
In this paper we propose a logic-based, framework inspired by artificial intelligence, but scaled down for practical database and programming applications.