2,296 research outputs found
Recommended from our members
Formalising Engineering Judgement on Software Dependability via Belief Networks
Reasoning about Actions with Temporal Answer Sets
In this paper we combine Answer Set Programming (ASP) with Dynamic Linear
Time Temporal Logic (DLTL) to define a temporal logic programming language for
reasoning about complex actions and infinite computations. DLTL extends
propositional temporal logic of linear time with regular programs of
propositional dynamic logic, which are used for indexing temporal modalities.
The action language allows general DLTL formulas to be included in domain
descriptions to constrain the space of possible extensions. We introduce a
notion of Temporal Answer Set for domain descriptions, based on the usual
notion of Answer Set. Also, we provide a translation of domain descriptions
into standard ASP and we use Bounded Model Checking techniques for the
verification of DLTL constraints.Comment: To appear in Theory and Practice of Logic Programmin
NASA space station automation: AI-based technology review
Research and Development projects in automation for the Space Station are discussed. Artificial Intelligence (AI) based automation technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics. AI technology will also be developed for the servicing of satellites at the Space Station, system monitoring and diagnosis, space manufacturing, and the assembly of large space structures
- …