Filters








393 Hits in 5.9 sec

High-Level Robot Control through Logic [chapter]

Murray Shanahan, Mark Witkowski
2001 Lecture Notes in Computer Science  
Two such programs for a mobile robot are described -one for navigation and one for map building -that share much of their code.  ...  The map building program incorporates a rudimentary approach to the formalisation of epistemic fluents, knowledge goals, and knowledge producing actions.  ...  Acknowledgements This work was carried out as part of EPSRC project GR/N13104 "Cognitive Robotics II".  ... 
doi:10.1007/3-540-44631-1_8 fatcat:wjraf3aicjbgvao7igbeylwqfq

Logic Programming for Robot Control

David Poole
1995 International Joint Conference on Artificial Intelligence  
This paper proposes logic programs as a specification for robot control.  ...  We show how to axiomatise reactive agents, events as an interface between continuous and discrete time, and persistence, as well as axiomatising integration and differentiation over time (in terms of the  ...  This work was supported by Institute for Robotics and Intelligent Systems, Project IC-7 and Natural Sciences and Engineering Research Council of Canada Operating Grant OGP0044121.  ... 
dblp:conf/ijcai/Poole95 fatcat:vlguihpzongrbkbxxiwwwmpklu

An abductive event calculus planner

Murray Shanahan
2000 The Journal of Logic Programming  
Finally the paper shows that, if we extend the event calculus in a natural way to accommodate compound actions, then using the same abductive theorem proving techniques we can obtain a hierarchical planner  ...  In particular, the paper shows that if we adopt the event calculus as our logical formalism and employ abductive logic programming as our theorem proving technique, then the computation performed mirrors  ...  This work was carried out as part of the EPSRC funded project GR/L20023``Cognitive Robotics''.  ... 
doi:10.1016/s0743-1066(99)00077-1 fatcat:pnkze2nr3zbcnab2mdzhgau73m

Abductive Logic Programming

A. C. KAKAS, R. A. KOWALSKI, F. TONI
1992 Journal of Logic and Computation  
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas  ...  Eshghi [28] introduced abduction in logic programming in order to solve planning problems in the Event Calculus [65] .  ...  This procedure came out of the early attempts to implement AI-planning using abductive reasoning in the event calculus.  ... 
doi:10.1093/logcom/2.6.719 fatcat:3voi2rfiujdsrllrrgbhbf2qzq

Incremental Learning of Event Definitions with Inductive Logic Programming [article]

Nikos Katzouris, Alexander Artikis, George Paliouras
2014 arXiv   pre-print
In this work we present an incremental method for learning and revising event-based knowledge, in the form of Event Calculus programs.  ...  We present an empirical evaluation of our approach on real and synthetic data from activity recognition and city transport applications.  ...  Search: Abductive Solution: Example 2 Table 3 presents the process of hypothesis generation by XHAIL, using an example from CAVIAR's fighting high-level event.  ... 
arXiv:1402.5988v2 fatcat:t46gzf3nqjguhowakw2kf5fxc4

Teleo-Reactive Abductive Logic Programs [chapter]

Robert A. Kowalski, Fariba Sadri
2012 Lecture Notes in Computer Science  
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 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.  ...  Many thanks to Keith Clark for awakening our interest in TR programs, and to Clive Spencer and Alan Westwood from Logic Programming Associates for many useful discussions and for their work on the prototype  ... 
doi:10.1007/978-3-642-29414-3_3 fatcat:a6ojcx5o5ba65jqcqooqoedx5i

Abduction in Logic Programming [chapter]

Marc Denecker, Antonis Kakas
2002 Lecture Notes in Computer Science  
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas  ...  Eshghi [28] introduced abduction in logic programming in order to solve planning problems in the Event Calculus [65] .  ...  This procedure came out of the early attempts to implement AI-planning using abductive reasoning in the event calculus.  ... 
doi:10.1007/3-540-45628-7_16 fatcat:purq4epxdvbpdcno5r7duilxxa

Introduction to the 30th International Conference on Logic Programming Special Issue

MICHAEL LEUSCHEL, TOM SCHRIJVERS
2014 Theory and Practice of Logic Programming  
Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming; Applications: Databases, Data Integration and Federation, Software Engineering  ...  as a special issue of Theory and Practice of Logic Programming (TPLP) - the30th International Conference on Logic Programming Special Issue.  ...  Simulating Dynamic Systems Using Linear Time Calculus Theories Bart Bogaerts, Joachim Jansen, Bruynooghe Maurice, Broes De Cat, Joost Vennekens and Marc Denecker.  ... 
doi:10.1017/s1471068414000581 fatcat:6fczd6mhxjcutozkk6t23lvn5e

Robot Navigation and Map Building with the Event Calculus [chapter]

Murray Shanahan, Mark Witkowski
1999 Lecture Notes in Computer Science  
Two such programs for a mobile robot are described -one for navigation and one for map building -that share much of their code.  ...  In this system, a program is a collection of logical formulae describing the agent's relationship to its environment.  ...  An event calculus robot program comprises the following five parts. A.  ... 
doi:10.1007/3-540-48747-6_33 fatcat:x3bglswsyndxtbialpxt4efm3u

Coinductive Logic Programming [chapter]

Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta
2006 Lecture Notes in Computer Science  
As Logtalk uses as a back-end compiler a compatible Prolog system, we discuss the status of key Prolog features for an efficient and usable implementation of coinduction.  ...  We describe the implementation of coinductive logic programming found in Logtalk, discussing its features and limitations.  ...  This work is partially supported by the LEAP project (PTDC/EIA-CCO/112158/2009), the ERDF/COMPETE Program and by FCT project FCOMP-01-0124-FEDER-022701.  ... 
doi:10.1007/11799573_25 fatcat:y2kxgo26uvdzvpqp5w5kwyg7n4

ACLP: Abductive Constraint Logic Programming

A.C. Kakas, A. Michael, C. Mourlas
2000 The Journal of Logic Programming  
ACLP thus combines the advantages of modularity and ¯exibility of the high-level representation aorded by abduction together with the computational eectiveness of low-level specialised constraint solving  ...  This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP).  ...  For example, if we use the Event Calculus [36] as our basic theory for reasoning about actions abductive planning is formalized within the framework of edutive ivent glulus as follows.  ... 
doi:10.1016/s0743-1066(99)00075-8 fatcat:4x6au3tqgzcerdqqtofbc7cbzq

Programming Rational Agents in a Modal Action Logic

Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano
2004 Annals of Mathematics and Artificial Intelligence  
We give a non-monotonic solution for the frame problem by making use of persistency assumptions in the context of an abductive characterization.  ...  We propose a modal approach for reasoning about dynamic domains in a logic programming setting. Agent behavior is specified by means of complex actions which are defined using modal inclusion axioms.  ...  Acknowledgements We are grateful to the anonymous referees for their careful reading of the paper, their useful suggestions and constructive criticisms.  ... 
doi:10.1023/b:amai.0000031196.24935.b5 fatcat:x757iqclzjfdnjekzmbo7rvmdi

Solving a Problem With or Without a Program

Pei Wang
2013 Journal of Artificial General Intelligence  
To solve a problem, an ordinary computer system executes an existing program. When no such program is available, an AGI system may still be able to solve a concrete problem instance.  ...  It is concluded that an AGI system can solve a problem with or without a problem-specific program, and therefore can have human-like creativity and flexibility.  ...  Use some meta-level programs to build a program for the problem, then use the program to solve the problem.  ... 
doi:10.2478/v10229-011-0021-5 fatcat:e3rbytlbtbaippreaclo42nynq

Event calculus planning revisited [chapter]

Murray Shanahan
1997 Lecture Notes in Computer Science  
Furthermore, if we extend the event calculus in a natural way to accommodate compound actions, then using exactly the same abductive theorem prover we obtain a hierarchical planner.  ...  In particular, I will show that if we adopt the event calculus as our logical formalism and employ abductive logic programming as our theorem proving technique, then the computation performed mirrors closely  ...  This work was carried out as part of the EPSRC funded project GR/L20023 "Cognitive Robotics".  ... 
doi:10.1007/3-540-63912-8_101 fatcat:khujelm2knhgldpl636vzpcroa

Probabilistic Action Language pBC+

Yi Wang, Michael Wagner
2018 International Conference on Logic Programming  
Just like BC+ is defined as a high-level notation of answer set programs for describing transition systems, the proposed language, which we call pBC+, is defined as a high-level notation of LP MLN programs  ...  We will also find real-world applications, possibly in robotic domains, to empirically study the performance of this approach to probabilistic reasoning in action domains.  ...  Acknowledgements We are grateful to the anonymous referees for their useful comments. This work was partially supported by the National Science Foundation under Grant IIS-1526301.  ... 
doi:10.4230/oasics.iclp.2018.15 dblp:conf/iclp/Wang18 fatcat:tn252p7jgjd75fmorv43xgpg3u
« Previous Showing results 1 — 15 out of 393 results