129 results found
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.
, 2017, Preface, ISBN: 9783319612515
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
, 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.
Bassiliades N, Gottlob G, Sadri F, et al., 2015, Rule technologies: Foundations, tools, and applications: 9th international symposium, RuleML 2015 Berlin, Germany, August 2-5, 2015 proceedings, ISSN: 0302-9743
Kowalski R, Sadri F, 2015, Reactive Computing as Model Generation, NEW GENERATION COMPUTING, Vol: 33, Pages: 33-67, ISSN: 0288-3635
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.
, 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.
Kakas AC, Mancarella P, Sadri F, et al., 2014, Computational Logic Foundations of KGP Agents., CoRR, Vol: abs/1401.3443
, 2013, Computational Logic in Multi-Agent Systems, Departmental Report, Publisher: Springer Berlin Heidelberg
, 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.
, 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.
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.
Sadri F, 2011, Ambient Intelligence: A Survey, ACM COMPUTING SURVEYS, Vol: 43, ISSN: 0360-0300
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
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
, 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.
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
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
Mancarella P, Terreni G, Sadri F, et 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
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
Mancarella P, Terreni G, Sadri F, et al., 2009, The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments., TPLP, Vol: 9, Pages: 691-750
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
Bosse T, Castelfranchi C, Neerincx M, et 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
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
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
Mancarella P, Sadri F, Terreni G, et al., 2007, Programming applications in CIFF, 9th International Conference on Logic Programming and Nonmonotonic Reasoning, Publisher: SPRINGER-VERLAG BERLIN, Pages: 284-+, ISSN: 0302-9743
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
Toni F, 2006, Normative KGP agents, Computational and Mathematical Organization Theory, Vol: 12, Pages: 101-126, ISSN: 1381-298X
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions that result from playing these roles. The proposed framework illustrates how the resulting normative concepts, including the roles, can evolve dynamically during the lifetime of the agent. Furthermore, we illustrate how these concepts can be combined with the existing capabilities of KGP agents in order to plan for their goals, react to changes in the environment, and interact with other agents. Our approach gives an executable specification of normative concepts that can be used directly for prototyping applications. © Springer Science + Business Media, LLC 2006.
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.