摘要: FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in presence incomplete knowledge. The core system Constraint Handling Rules, which enables to maintain an internal model environment by they control own behavior. general action representation formalism fluent calculus provides formal semantics constraint solver. exhibits excellent computational behavior due both carefully restricted expressiveness inference paradigm progression.
acm.org
unsw.edu.au 
sci-hub.se 参考文章(25)
Raymond Reiter, The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression Artificial intelligence and mathematical theory of computation. pp. 359- 380 ,(1991) , 10.1016/B978-0-12-450010-5.50026-8
Andrew B. Baker, A simple solution to the Yale shooting problem principles of knowledge representation and reasoning. pp. 11- 20 ,(1989)
Michael Thielscher, Representing the knowledge of a robot principles of knowledge representation and reasoning. pp. 109- 120 ,(2000)
John McCarthy, Epistemological problems of artificial intelligence international joint conference on artificial intelligence. pp. 46- 52 ,(1987) , 10.1016/B978-0-934613-03-3.50035-0
Murray Shanahan, Mark Witkowski, High-Level Robot Control through Logic intelligent agents. pp. 104- 121 ,(2000) , 10.1007/3-540-44631-1_8
Yves Martin, Michael Thielscher, Addressing the Qualification Problem in FLUX Lecture Notes in Computer Science. pp. 290- 304 ,(2001) , 10.1007/3-540-45422-5_21
Murray Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia ,(1997)
Michael Thielscher, Matthias Fichtner, Axel Großmann, Intelligent execution monitoring in dynamic environments Fundamenta Informaticae. ,vol. 57, pp. 371- 392 ,(2003)
Jerry R. Hobbs, Robert C. Moore, Formal Theories of the Commonsense World Greenwood Publishing Group Inc.. ,(1985)
Fangzhen Lin, Ray Reiter, How to progress a database Artificial Intelligence. ,vol. 92, pp. 131- 167 ,(1997) , 10.1016/S0004-3702(96)00044-6