Filters








1,609 Hits in 3.1 sec

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

Michael Thielscher
1999 Artificial Intelligence  
We develop a formal translation between domain axiomatizations of the Situation Calculus and the Fluent Calculus and present a Fluent Calculus semantics for Golog programs.  ...  The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts.  ...  Fluent Calculus Semantics for Golog Programs Our starting point for defining our new semantics is the transition semantics for Golog given in (Giacomo, Lespérance, & Levesque 2000) with the exception  ... 
doi:10.1016/s0004-3702(99)00033-8 fatcat:tlwdglunvzh5jksx65ohphsgfi

Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator

Fangzhen Lin
1997 International Joint Conference on Artificial Intelligence  
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information.  ...  As a case study, in this paper we provide a situation calculus semantics for the Prolog cut operator, the central search control operator in Prolog.  ...  The author would like to thank Eyal Amir, Yves Lesperance, Hector Levesque, and especially Ray Reiter for helpful discussions relating to the subject of this paper and/or comments on earlier versions of  ... 
dblp:conf/ijcai/Lin97 fatcat:lsergibnvbbhpi5dta3umnn3tu

Event calculus and temporal action logics compared

Erik T. Mueller
2006 Artificial Intelligence  
We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change.  ...  We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type specifications are restricted to definite reassignment of a single fluent  ...  Acknowledgements I am grateful to three anonymous referees for helpful suggestions.  ... 
doi:10.1016/j.artint.2006.05.001 fatcat:rji6l7lnqjea3jrvtchqad4gke

Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL [chapter]

George Baryannis, Dimitris Plexousakis
2014 Lecture Notes in Computer Science  
We propose a composition and verification framework for Semantic Web Services specified using WSSL, a novel service specification language based on the fluent calculus, that addresses issues related to  ...  The framework exploits the unique features of WSSL, allowing, among others, for: compositions that take into account ramifications of services; determining the feasibility of a composition a priori; and  ...  Other Features The fluent calculus foundations of WSSL imbue our framework with several other interesting features.  ... 
doi:10.1007/978-3-319-06859-6_23 fatcat:svt2tlbelfg5vnluvhmfamsgxy

Embedding fuzzy controllers in golog

Alexander Ferrein, Stefan Schiffer, Gerhard Lakemeyer
2009 2009 IEEE International Conference on Fuzzy Systems  
In this paper, we show how to integrate fuzzy logic controllers into the logic-based programming language Golog. Golog already allows for combining programming and planning.  ...  By adding the instrument of fuzzy controllers we provide the means to have a natural specification of rules for tasks that require a high amount of reactivity.  ...  Ferrein is currently funded by the Alexander von Humboldt Foundation in the Feodor Lynen programme. We would like to thank the anonymous reviewers for their helpful comments.  ... 
doi:10.1109/fuzzy.2009.5277161 dblp:conf/fuzzIEEE/FerreinSL09 fatcat:25h733etmjbozmlkwkcfnd6g3m

Representing Concurrent Actions in Extended Logic Programming

Chitta Baral, Michael Gelfond
1993 International Joint Conference on Artificial Intelligence  
Logic programming formalization of situation calculus with concurrent actions presented in the paper can be of independent interest and may serve as a test bed for the investigation of various transformations  ...  Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP , s).  ...  Kartha and the anonymous referees for their valuable comments.  ... 
dblp:conf/ijcai/BaralG93 fatcat:ddoksophd5eudaix7gknivwgd4

An event calculus production rule system for reasoning in dynamic and uncertain domains

THEODORE PATKOS, DIMITRIS PLEXOUSAKIS, ABDELGHANI CHIBANI, YACINE AMIRAT
2016 Theory and Practice of Logic Programming  
This paper presents Cerbere, a production system designed to perform online causal, temporal and epistemic reasoning based on the Event Calculus.  ...  AbstractAction languages have emerged as an important field of knowledge representation for reasoning about change and causality in dynamic domains.  ...  Acknowledgments We wish to thank the anonymous reviewers for their insightful comments, their criticism and suggestions.  ... 
doi:10.1017/s1471068416000065 fatcat:thoiu6lbnvftlfyvjwlviq46xq

ALPprolog – A new logic programming method for dynamic domains

CONRAD DRESCHER, MICHAEL THIELSCHER
2011 Theory and Practice of Logic Programming  
In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.  ...  AbstractLogic programming is a powerful paradigm for programming autonomous agents in dynamic domains as witnessed by languages such as Golog and Flux.  ...  Thielscher is the recipient of an Australian Research Council Future Fellowship (project number FT 0991348). He is also affiliated with the University of Western Sydney.  ... 
doi:10.1017/s1471068411000111 fatcat:2ob2w7scajdvlgz5gl4c64tr3q

ALPprolog --- A New Logic Programming Method for Dynamic Domains [article]

Conrad Drescher, Michael Thielscher
2011 arXiv   pre-print
In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.  ...  Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux.  ...  Thielscher is the recipient of an Australian Research Council Future Fellowship (project number FT 0991348). He is also affiliated with the University of Western Sydney.  ... 
arXiv:1107.5242v1 fatcat:cu3aet7luzh3pbpipqxoqs3v2e

Controlling Logistics Robots with the Action-Based Language YAGI [chapter]

Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemueller, Gerald Steinbauer, Stavros Vassos
2016 Lecture Notes in Computer Science  
As a proof of concept we present a YAGI-based agent for the RoboCup Logistics League which shows the expressiveness and the possibility to easily embed YAGI into robot applications.  ...  A formal approach for such agent programming is the GOLOG agent programming language.  ...  Situation Calculus and GOLOG Prerequisites The situation calculus is a first-order logic language with equality (and some limited second-order features) which allows for reasoning about actions and their  ... 
doi:10.1007/978-3-319-43506-0_46 fatcat:2e2xgadfrfdntl5ebooq2qtuwu

Semantics for a useful fragment of the situation calculus

Gerhard Lakemeyer, Hector J. Levesque
2005 International Joint Conference on Artificial Intelligence  
This allowed us to develop a clean and workable semantics for the language without piggybacking on the generic Tarski semantics for first-order logic.  ...  In this paper, we reconsider the relation between ES and the situation calculus and show how to map sentences of ES into the situation calculus.  ...  Acknowledgments We thank the anonymous reviewers for their helpful comments.  ... 
dblp:conf/ijcai/LakemeyerL05 fatcat:dya4pb2tuzbpjkbjb5arjrrfz4

Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator

Fangzhen Lin
1998 Artificial Intelligence  
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information.  ...  As a case study, in this paper we provide a situation calculus semantics for the Prolog cut operator, the central search control operator in Prolog.  ...  Acknowledgement Much of this work was done while I was with the Cognitive Robotics Group in the Department of Computer Science at the University of Toronto, and I thank Ray Reiter and Hector Levesque for  ... 
doi:10.1016/s0004-3702(98)00054-x fatcat:n6bskaeuc5fbxpo7t3rrs25rju

A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k [chapter]

Ozan Kahramanoğulları, Michael Thielscher
2003 Lecture Notes in Computer Science  
We assess the fluent calculus for knowledge and sensing with the help of the recently developed, high-level action language A k .  ...  As a spin-off, the action programming language FLUX, which is based on fluent calculus, provides a system for answering queries to A k domains.  ...  The following main result of our work says that fluent calculus is sound and complete wrt. the semantics of A k .  ... 
doi:10.1007/978-3-540-39451-8_16 fatcat:nhcsc4qz3vgl3pl4ujgef6ihpu

Rules as actions: A situation calculus semantics for logic programs

Fangzhen Lin, Ray Reiter
1997 The Journal of Logic Programming  
I> We propose a novel semantics for logic programs with negation by viewing the application of a clause in a derivation as an action in the situation calculus.  ...  We then solve the frame problem for these effect axioms using a recent approach of Reiter [21] , and identify the resulting collection of axioms with the semantics of the original logic problem.  ...  INTRODUCTION In this paper we propose a novel semantics for logic programs in the situation calculus.  ... 
doi:10.1016/s0743-1066(96)00122-7 fatcat:m3gqxzv5ojedhjv4svzumuwkmm

A Well-typed Lightweight Situation Calculus [article]

Li Tan
2012 arXiv   pre-print
perform rigid type checking for existing situation calculus programs to find out the well-typed and ill-typed ones.  ...  In this paper, we propose to add more typing mechanisms to the current version of situation calculus, especially for three basic elements in situation calculus: situations, actions and objects, and then  ...  Acknowledgements The author would like to thank all anonymous reviewers for their generous and constructive directives and comments on this paper.  ... 
arXiv:1201.2430v2 fatcat:3g2vjmffb5ai3jwfrt472tm55i
« Previous Showing results 1 — 15 out of 1,609 results