A logic approach for LTL system modification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3488 LNAI, Issue , 2005, Pages 435-444

  Ding, Yulin ^a   Zhang, Yan ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

Belief revision and update; Logic for Artificial Intelligence; Model checking; Model update; Temporal reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; DATA REDUCTION; MATHEMATICAL MODELS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

BELIEF REVISION AND UPDATE; LOGIC FOR ARTIFICIAL INTELLIGENCE; MODEL CHECKING; MODEL UPDATE; TEMPORAL REASONING;

LOGIC PROGRAMMING;

EID: 26944491108     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1016/j.neuint.2004.12.009     Document Type: Conference Paper

References (12)

1. Baral, C. and Zhang, Y. (2005). Knowledge updates: Semantics and complexity issues. To appear Artificial Intelligence (AIJ), 2005.
2. Buccafurri, F. et al. (1999). Enhancing model checking in verification by AI techniques. Artificial Intelligence 112(1999) 57-104.
3. Clarke, E. Jr., Grumberg, O. and Peled, D. (1999). Model Checking. The MIT Press, Cambridge, Massachusetts London, England.
4. Gammie, P. and van der Meyden, R.(2004). MCK-Model checking the logic of knowledge. In proceeding of 16th International conference on Computer Aided Verification.
5. Harris,H. and Ryan,M.(2003). Theoretical foundations of updating systems. In the prodeeding of the 18th IEEE International Conference on Automated Software Engineering.
6. Herzig, A. and Rifi, O. (1999). Propositional belief base update and minimal change. Artificial Intelligence 115(1999)107-138. Elsevier Science.
7. Holzmann, G. (2003). The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional.
8. Huth, M. and Ryan, M. (2000). Logic in Computer Science: Modelling and Reasoning about Systems. University Press, Canbridge.
9. McMillan,K. and Amla,N.(2002). Automatic abstraction without counterexamples. Cadence Berkeley Labs, Cadence Design Systems.
10. Stumptner,M. and Wotawa,F.(1998). A survey of intelligent debugging. AI Communications, 11(1),1998.
11. Vaziri-Farahani, M. (1995). Using symbolic model checking to verify cache coherence in a distributed file system. Tech. Rep. CMU-CS-95-156, Carnegie Mellon Computer Science Department. Bachelor's Thesis.
12. Winslett, M. (1990). Updating logical databases. Cambridge University Press.