Imperial College London

DrFaribaSadri

Faculty of EngineeringDepartment of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8224f.sadri Website

 
 
//

Location

 

447Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Publication Type
Year
to

128 results found

Costantini S, Franconi E, van Woensel W, Kontchakov R, Sadri F, Roman Det al., 2017, Preface, ISBN: 9783319612515

BOOK

Kowalski R, Sadri F, Calejo M, 2017, How to do it with LPS (Logic-based Production System), ISSN: 1613-0073

LPS is a logic and computer language in which computation performs actions, to make goals true, using beliefs about what is already true.

CONFERENCE PAPER

Kowalski R, Sadri F, 2016, Programming in logic without logic programming, THEORY AND PRACTICE OF LOGIC PROGRAMMING, Vol: 16, Pages: 269-295, ISSN: 1471-0684

JOURNAL ARTICLE

Sadri F, 2016, Intelligent Cutter Suction Dredging Using the Logic Based Framework LPS, ISSN: 1613-0073

LPS (Logic-based Production System) is a framework that combines logic programs with reactive rules and a destructivelyupdated database. The logic programs provide proactive behavior and allow definitions of processes, and the reactive rules provide reactive behavior. This paper describes a first attempt in using LPS to model the operations of cutter suction dredging (CSD). It is the result of a year-long consultation with experts from the Dredging Engineering Research Centre at Hohai University. LPS was chosen for this application because its combination of proactivity and reactivity was thought to be a good match for CSD operations. These require processes for normal operations, as well as constant monitoring to identify any operational problems that may be arising and taking reactive correction steps.

CONFERENCE PAPER

Kowalski R, Sadri F, 2015, Reactive Computing as Model Generation, NEW GENERATION COMPUTING, Vol: 33, Pages: 33-67, ISSN: 0288-3635

JOURNAL ARTICLE

Kakas AC, Mancarella P, Sadri F, Stathis K, Toni Fet al., 2014, Computational Logic Foundations of KGP Agents., CoRR, Vol: abs/1401.3443

JOURNAL ARTICLE

Kowalski R, Sadri F, 2014, A logical characterization of a reactive system language, Pages: 22-36, ISSN: 0302-9743

Typical reactive system languages are programmed by means of rules of the form if antecedent then consequent. However, despite their seemingly logical character, hardly any reactive system languages give such rules a logical interpretation. In this paper, we investigate a simplified reactive system language KELPS, in which rules are universally quantified material implications, and computation attempts to generate a model that makes the rules true. The operational semantics of KELPS is similar to that of other reactive system languages, and is similarly incomplete. It cannot make a rule true by making its antecedent false, or by making its consequent true whether or not its antecedent becomes true. In this paper, we characterize the reactive models computed by the operational semantics. Informally speaking, a model is reactive if every action in the model is an instance of an action in the consequent of a rule whose earlier conditions are true. © 2014 Springer International Publishing.

CONFERENCE PAPER

Sadri F, Kowalski R, 2014, Completeness of a Reactive System Language, RuleML 2014

Typical reactive system languages are programmed by means of rules of the form if antecedent then consequent. However, despite their seemingly logical character, hardly any reactive system languages give such rules a logical interpretation. In this paper, we investigate a simplified reactive system language KELPS, in which rules are universally quantified material implications, and computation attempts to generate a model that makes the rules true. The operational semantics of KELPS is similar to that of other reactive system languages, and is similarly incomplete. It cannot make a rule true by making its antecedent false, or by making its consequent true whether or not its antecedent becomes true. In this paper, we characterize the reactive models, for which the operational semantics is complete. Informally speaking, a model is reactive if every action in the model is an instance of an action in the consequent of a rule whose earlier conditions are true.

CONFERENCE PAPER

, 2013, Computational Logic in Multi-Agent Systems, Departmental Report, Publisher: Springer Berlin Heidelberg

REPORT

Kowalski R, Sadri F, 2012, A logic-based framework for reactive systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol: 7438 LNCS, Pages: 1-15, ISSN: 0302-9743

We sketch a logic-based framework in which computation consists of performing actions to generate a sequence of states, with the purpose of making a set of reactive rules in the logical form antecedents ( consequents all true. The antecedents of the rules are conjunctions of past or present conditions and events, and the consequents of the rules are disjunctions of conjunctions of future conditions and actions. The antecedents can be viewed as complex/composite events, and the consequents as complex/composite/macro actions or processes. States are represented by sets of atomic sentences, and can be viewed as global variables, relational databases, Herbrand models, or mental representations of the real world. Events, including actions, transform one state into another. The operational semantics maintains only a single, destructively updated current state, whereas the model-theoretic semantics treats the entire sequence of states, events and actions as a single model. The model-theoretic semantics can be viewed as the problem of generating a model that makes all the reactive rules true. © 2012 Springer-Verlag.

JOURNAL ARTICLE

Kowalski RA, Sadri F, 2012, Teleo-reactive abductive logic programs, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol: 7360 LNCS, Pages: 12-32, ISSN: 0302-9743

Teleo-reactive (TR) programs are a variety of production systems with a destructively updated database that represents the current state of the environment. They combine proactive behaviour, which is goal-oriented, with reactive behaviour, which is sensitive to the changing environment. They can take advantage of situations in which the environment opportunistically solves the system's goals, recover gracefully when the environment destroys solutions of its goals, and abort durative actions when higher priority goals need more urgent attention. In this paper, we present an abductive logic programming (ALP) representation of TR programs, following the example of our ALP representation of the logic-based production system language LPS. The operational semantics of the representation employs a destructively updated database, which represents the current state of the environment, and avoids the frame problem of explicitly reasoning about the persistence of facts that are not affected by the updates. The model-theoretic semantics of the representation is defined by associating a logic program with the TR program, the sequence of observations and actions, and the succession of database states. In the semantics, the task is to generate actions so that all of the program's goals are true in a minimal model of this associated logic program. © 2012 Springer-Verlag Berlin Heidelberg.

JOURNAL ARTICLE

Sadri F, Wang W, Xafi A, 2012, Intention recognition with clustering, Pages: 379-384, ISSN: 0302-9743

© Springer-Verlag Berlin Heidelberg 2012. Intention recognition has significant applications in ambient intelligence, assisted living and care of the elderly, amongst others. In this paper we explore an approach to intention recognition based on clustering. To this end we show how to map the intention recognition problem into a clustering problem. To our knowledge the use of clustering techniques for intention recognition is novel, and this paper suggests it is promising.

CONFERENCE PAPER

Kowalski R, Sadri F, 2011, Abductive logic programming agents with destructive databases, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Vol: 62, Pages: 129-158, ISSN: 1012-2443

JOURNAL ARTICLE

Sadri F, 2011, Ambient Intelligence: A Survey, ACM COMPUTING SURVEYS, Vol: 43, ISSN: 0360-0300

JOURNAL ARTICLE

Sadri F, 2011, INTENTION RECOGNITION WITH EVENT CALCULUS GRAPHS AND WEIGHT OF EVIDENCE, ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, Pages: 470-475

JOURNAL ARTICLE

Kowalski R, Sadri F, 2010, An Agent Language with Destructive Assignment and Model-Theoretic Semantics, 11th International Workshop on Computational Logic in Multi-Agent Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 200-218, ISSN: 0302-9743

CONFERENCE PAPER

Sadri F, 2010, Intention recognition with event calculus graphs, Proceedings - 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2010, Pages: 386-391

Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detection. In this paper we propose an intention recognition system based on the event calculus. The system, called WIREC, exploits profiles, contextual information, heuristics and any available integrity constraints together with plan libraries and a basic theory of actions, causality and ramifications. Whenever the profile and context suggest there is a usual pattern of behaviour on the part of the actor the search for intention can be focused on existing plan libraries. On the other hand, when no such information is available or if the behaviour of the actor deviates from the usual pattern the search for intention can revert to the basic theory of actions, in effect dynamically constructing partial plans corresponding to the actions executed by the actor. © 2010 IEEE.

JOURNAL ARTICLE

Sadri F, Stathis K, 2010, Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction, COMPUTER JOURNAL, Vol: 53, Pages: 1136-1137, ISSN: 0010-4620

JOURNAL ARTICLE

Kowalski R, Sadri F, 2009, Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents, 3rd International Conference on Web Reasoning and Rule Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 1-23, ISSN: 0302-9743

CONFERENCE PAPER

Mancarella P, Terreni G, Sadri F, Toni F, Endriss Uet al., 2009, The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments, THEORY AND PRACTICE OF LOGIC PROGRAMMING, Vol: 9, Pages: 691-750, ISSN: 1471-0684

JOURNAL ARTICLE

Mancarella P, Terreni G, Sadri F, Toni F, Endriss Uet al., 2009, The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments., TPLP, Vol: 9, Pages: 691-750

JOURNAL ARTICLE

Belardinelli F, Lomuscio A, 2008, A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems, 8th International Workshop on Computational Logic in Multi-Agent Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 248-+, ISSN: 0302-9743

CONFERENCE PAPER

Bosse T, Castelfranchi C, Neerincx M, Sadri F, Treur Jet al., 2008, First International Workshop on Human Aspects in Ambient Intelligence: Preface, Ambient Intelligence 2007 Workshops, Publisher: SPRINGER-VERLAG BERLIN, Pages: 261-261, ISSN: 1865-0929

CONFERENCE PAPER

Kakas A, Mancarella P, Sadri F, Stathis K, Toni Fet al., 2008, Computational Logic Foundations of KGP Agents, JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, Vol: 33, Pages: 285-348, ISSN: 1076-9757

JOURNAL ARTICLE

Sadri F, 2008, Multi-Agent Ambient Intelligence for Elderly Care and Assistance, International Electronic Conference on Computer Science, Publisher: AMER INST PHYSICS, Pages: 117-120, ISSN: 0094-243X

CONFERENCE PAPER

Toni F, 2008, Assumption-Based Argumentation for Selection and Composition of Services, 8th International Workshop on Computational Logic in Multi-Agent Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 231-247, ISSN: 0302-9743

CONFERENCE PAPER

Mancarella P, Sadri F, Terreni G, Toni Fet al., 2007, Programming applications in CIFF, 9th International Conference on Logic Programming and Nonmonotonic Reasoning, Publisher: SPRINGER-VERLAG BERLIN, Pages: 284-+, ISSN: 0302-9743

CONFERENCE PAPER

Sadri F, 2007, Multi-agent cooperative planning and information gathering, 11th International Workshop on Cooperative Information Agents, Publisher: SPRINGER-VERLAG BERLIN, Pages: 72-88, ISSN: 0302-9743

CONFERENCE PAPER

Endriss U, Maudet N, Sadri F, Toni Fet al., 2006, Negotiating socially optimal allocations of resources, JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, Vol: 25, Pages: 315-348, ISSN: 1076-9757

JOURNAL ARTICLE

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: http://wlsprd.imperial.ac.uk:80/respub/WEB-INF/jsp/search-html.jsp Request URI: /respub/WEB-INF/jsp/search-html.jsp Query String: respub-action=search.html&id=00005168&limit=30&person=true