Resources for the Epistemic Functional Event Calculus (EFEC)

Jiefei Ma, Rob Miller, Leora Morgenstern, Theodore Patkos

Papers and Associated Resources

1. Reasoning about Knowledge and Action in an Epistemic Event Calculus, Rob Miller, Leora Morgenstern and Theodore Patkos, presented at the Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense'13), Cyprus, May 27-29, 2013.
   Associated additional resources: [ presentation ] [ diagram of shopping example models ] [ other entailments for the shopping example ]
   
   
2. An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future, Jiefei Ma, Rob Miller, Leora Morgenstern and Theodore Patkos, presented at the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), Stellenbosch, South Africa,15th-19th December 2013.
   Associated additional resources: [ diagram of shopping example models ] [ other entailments for the shopping example ] [ efec.lp ] [ shopping.lp ] [ test_shopping_example - a UNIX shell script ] [ shopping_example_output.txt - test_shopping_example output ] [ proposition_1_asp_demo - a UNIX shell script ]
   
   

Source Code and Test Files

• efec.lp - An ASP encoding of the domain-independent EFEC axiomatization.
  
  
• alt_efec.lp - An alternative ASP encoding of the domain-independent EFEC axiomatization.
  
  
• shopping.lp - An ASP encoding of the shopping example.
  
  
• test_shopping_example - A UNIX shell script for testing {efec.lp, shopping.lp} with the answer set solver Clingo for each of the entailments and non-entailments listed in EFECshoppingExampleEntailments.pdf.
  
  
• shopping_example_output.txt - The output from test_shopping_example.
  
  
• proposition_1_asp_demo - A UNIX shell script for testing {efec.lp, shopping.lp} with the answer set solver Clingo for each of the entailments in Proposition 1 of papers (1) and (2).
  
  
• antibodies.lp - An ASP encoding of the antibodies example in paper (1) page 6.
  
  
• proposition_2_asp_demo - A UNIX shell script for testing {efec.lp, antibodies.lp} with the answer set solver Clingo for each of the entailments in Proposition 2 of paper (1).
  
  
• proposition_2_asp_demo_output.txt - The output from proposition_2_asp_demo.
  
  
• fec.lp - An ASP encoding of the domain-independent FEC axiomatization.
  
  
• alt_fec.lp - An alternative ASP encoding of the domain-independent FEC axiomatization.
  
  
• rollingDie.lp - An ASP encoding of the rolling die example in paper (1) page 2.
  
  
• gateNonDet.lp - An ASP encoding of the pushing and pulling a gate example in paper (1) page 2 with non-deterministic action effects.
  
  
• gateDet.lp - An ASP encoding of the pushing and pulling a gate example in paper (1) page 2 with deterministic action effects.