InternLM/InternBootcamp
1
0
Fork 0
mirror of https://github.com/InternLM/InternBootcamp.git synced 2026-04-19 12:58:04 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
InternBootcamp/examples/data/InternBootcamp_eval/korLogicDynamicLogic.jsonl
lilinyang 18a552597a init-commit
2025-05-23 15:27:15 +08:00

64 lines
28 KiB
JSON
Executable file
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1||c2⟩φ' to equivalent simplest form\n\nRules available:\n- Concurrent Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Concurrent", "problem": "Convert '⟨c1||c2⟩φ' to equivalent simplest form", "expected": "(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "valid_variants": ["(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "⟨c2||c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Commands c1 and c2 can be executed in parallel\n\nOptions:\nG: Exception Rule\nC: Choice Rule\nE: Concurrent Rule\nL: Prediction Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Commands c1 and c2 can be executed in parallel", "correct": "E", "options": ["G", "C", "E", "L"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1||c2⟩φ' to equivalent simplest form\n\nRules available:\n- Concurrent Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Concurrent", "problem": "Convert '⟨c1||c2⟩φ' to equivalent simplest form", "expected": "(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "valid_variants": ["(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "⟨c2||c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nA: Substitution Rule\nF: Interruption Rule\nG: Exception Rule\nK: History Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["A", "F", "G", "K"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nK: History Rule\nA: Substitution Rule\nI: Dependency Rule\nL: Prediction Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["K", "A", "I", "L"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nA: Substitution Rule\nK: History Rule\nI: Dependency Rule\nL: Prediction Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["A", "K", "I", "L"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nF: Interruption Rule\nK: History Rule\nA: Substitution Rule\nG: Exception Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["F", "K", "A", "G"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c1;c2]φ' to equivalent simplest form\n\nRules available:\n- Sequence Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Sequence", "problem": "Convert '[c1;c2]φ' to equivalent simplest form", "expected": "[c1][c2]φ", "valid_variants": ["[c1][c2]φ", "[c2;c1]φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nD: Loop Rule\nH: Resource Limitation Rule\nA: Substitution Rule\nG: Exception Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["D", "H", "A", "G"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c1;c2]φ' to equivalent simplest form\n\nRules available:\n- Sequence Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Sequence", "problem": "Convert '[c1;c2]φ' to equivalent simplest form", "expected": "[c1][c2]φ", "valid_variants": ["[c1][c2]φ", "[c2;c1]φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nF: Interruption Rule\nK: History Rule\nL: Prediction Rule\nJ: Priority Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["F", "K", "L", "J"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nK: History Rule\nE: Concurrent Rule\nH: Resource Limitation Rule\nI: Dependency Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["K", "E", "H", "I"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nB: Sequence Rule\nL: Prediction Rule\nK: History Rule\nA: Substitution Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["B", "L", "K", "A"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nG: Exception Rule\nA: Substitution Rule\nI: Dependency Rule\nF: Interruption Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["G", "A", "I", "F"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Commands c1 and c2 can be executed in parallel\n\nOptions:\nF: Interruption Rule\nB: Sequence Rule\nL: Prediction Rule\nE: Concurrent Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Commands c1 and c2 can be executed in parallel", "correct": "E", "options": ["F", "B", "L", "E"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nB: Sequence Rule\nJ: Priority Rule\nD: Loop Rule\nG: Exception Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["B", "J", "D", "G"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nA: Substitution Rule\nL: Prediction Rule\nK: History Rule\nD: Loop Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["A", "L", "K", "D"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nH: Resource Limitation Rule\nK: History Rule\nG: Exception Rule\nD: Loop Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["H", "K", "G", "D"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1;c2⟩φ' to equivalent simplest form\n\nRules available:\n- Interruption Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Interruption", "problem": "Convert '⟨c1;c2⟩φ' to equivalent simplest form", "expected": "⟨c1⟩φ", "valid_variants": ["⟨c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nH: Resource Limitation Rule\nK: History Rule\nG: Exception Rule\nL: Prediction Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["H", "K", "G", "L"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1;c2⟩φ' to equivalent simplest form\n\nRules available:\n- Interruption Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Interruption", "problem": "Convert '⟨c1;c2⟩φ' to equivalent simplest form", "expected": "⟨c1⟩φ", "valid_variants": ["⟨c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1||c2⟩φ' to equivalent simplest form\n\nRules available:\n- Concurrent Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Concurrent", "problem": "Convert '⟨c1||c2⟩φ' to equivalent simplest form", "expected": "(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "valid_variants": ["(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "⟨c2||c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nC: Choice Rule\nK: History Rule\nI: Dependency Rule\nJ: Priority Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["C", "K", "I", "J"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nH: Resource Limitation Rule\nA: Substitution Rule\nL: Prediction Rule\nK: History Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["H", "A", "L", "K"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Commands c1 and c2 can be executed in parallel\n\nOptions:\nB: Sequence Rule\nE: Concurrent Rule\nA: Substitution Rule\nL: Prediction Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Commands c1 and c2 can be executed in parallel", "correct": "E", "options": ["B", "E", "A", "L"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nL: Prediction Rule\nG: Exception Rule\nK: History Rule\nH: Resource Limitation Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["L", "G", "K", "H"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1;c2⟩φ' to equivalent simplest form\n\nRules available:\n- Interruption Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Interruption", "problem": "Convert '⟨c1;c2⟩φ' to equivalent simplest form", "expected": "⟨c1⟩φ", "valid_variants": ["⟨c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c1 + c2]φ' to equivalent simplest form\n\nRules available:\n- Choice Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Choice", "problem": "Convert '[c1 + c2]φ' to equivalent simplest form", "expected": "([c1]φ ∨ [c2]φ)", "valid_variants": ["([c1]φ ∨ [c2]φ)", "([c2]φ ∨ [c1]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nK: History Rule\nG: Exception Rule\nI: Dependency Rule\nA: Substitution Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["K", "G", "I", "A"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nE: Concurrent Rule\nG: Exception Rule\nB: Sequence Rule\nA: Substitution Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["E", "G", "B", "A"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c1 + c2]φ' to equivalent simplest form\n\nRules available:\n- Choice Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Choice", "problem": "Convert '[c1 + c2]φ' to equivalent simplest form", "expected": "([c1]φ ∨ [c2]φ)", "valid_variants": ["([c1]φ ∨ [c2]φ)", "([c2]φ ∨ [c1]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Commands c1 and c2 can be executed in parallel\n\nOptions:\nA: Substitution Rule\nI: Dependency Rule\nE: Concurrent Rule\nJ: Priority Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Commands c1 and c2 can be executed in parallel", "correct": "E", "options": ["A", "I", "E", "J"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c1;c2]φ' to equivalent simplest form\n\nRules available:\n- Sequence Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Sequence", "problem": "Convert '[c1;c2]φ' to equivalent simplest form", "expected": "[c1][c2]φ", "valid_variants": ["[c1][c2]φ", "[c2;c1]φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Commands c1 and c2 can be executed in parallel\n\nOptions:\nJ: Priority Rule\nK: History Rule\nE: Concurrent Rule\nI: Dependency Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Commands c1 and c2 can be executed in parallel", "correct": "E", "options": ["J", "K", "E", "I"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nL: Prediction Rule\nC: Choice Rule\nG: Exception Rule\nF: Interruption Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["L", "C", "G", "F"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nB: Sequence Rule\nK: History Rule\nH: Resource Limitation Rule\nF: Interruption Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["B", "K", "H", "F"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Commands c1 and c2 can be executed in parallel\n\nOptions:\nG: Exception Rule\nE: Concurrent Rule\nD: Loop Rule\nH: Resource Limitation Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Commands c1 and c2 can be executed in parallel", "correct": "E", "options": ["G", "E", "D", "H"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1||c2⟩φ' to equivalent simplest form\n\nRules available:\n- Concurrent Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Concurrent", "problem": "Convert '⟨c1||c2⟩φ' to equivalent simplest form", "expected": "(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "valid_variants": ["(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "⟨c2||c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1;c2⟩φ' to equivalent simplest form\n\nRules available:\n- Interruption Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Interruption", "problem": "Convert '⟨c1;c2⟩φ' to equivalent simplest form", "expected": "⟨c1⟩φ", "valid_variants": ["⟨c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Execution depends on historical command h\n\nOptions:\nB: Sequence Rule\nF: Interruption Rule\nK: History Rule\nJ: Priority Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Execution depends on historical command h", "correct": "K", "options": ["B", "F", "K", "J"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1;c2⟩φ' to equivalent simplest form\n\nRules available:\n- Interruption Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Interruption", "problem": "Convert '⟨c1;c2⟩φ' to equivalent simplest form", "expected": "⟨c1⟩φ", "valid_variants": ["⟨c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Commands c1 and c2 can be executed in parallel\n\nOptions:\nF: Interruption Rule\nE: Concurrent Rule\nD: Loop Rule\nI: Dependency Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Commands c1 and c2 can be executed in parallel", "correct": "E", "options": ["F", "E", "D", "I"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c1;c2]φ' to equivalent simplest form\n\nRules available:\n- Sequence Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Sequence", "problem": "Convert '[c1;c2]φ' to equivalent simplest form", "expected": "[c1][c2]φ", "valid_variants": ["[c1][c2]φ", "[c2;c1]φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1||c2⟩φ' to equivalent simplest form\n\nRules available:\n- Concurrent Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Concurrent", "problem": "Convert '⟨c1||c2⟩φ' to equivalent simplest form", "expected": "(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "valid_variants": ["(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "⟨c2||c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '⟨c1||c2⟩φ' to equivalent simplest form\n\nRules available:\n- Concurrent Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Concurrent", "problem": "Convert '⟨c1||c2⟩φ' to equivalent simplest form", "expected": "(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "valid_variants": ["(⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)", "⟨c2||c1⟩φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nG: Exception Rule\nK: History Rule\nJ: Priority Rule\nE: Concurrent Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["G", "K", "J", "E"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nA: Substitution Rule\nK: History Rule\nG: Exception Rule\nC: Choice Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["A", "K", "G", "C"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c1;c2]φ' to equivalent simplest form\n\nRules available:\n- Sequence Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Sequence", "problem": "Convert '[c1;c2]φ' to equivalent simplest form", "expected": "[c1][c2]φ", "valid_variants": ["[c1][c2]φ", "[c2;c1]φ"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Commands c1 and c2 can be executed in parallel\n\nOptions:\nB: Sequence Rule\nG: Exception Rule\nE: Concurrent Rule\nF: Interruption Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Commands c1 and c2 can be executed in parallel", "correct": "E", "options": ["B", "G", "E", "F"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nG: Exception Rule\nK: History Rule\nH: Resource Limitation Rule\nA: Substitution Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["G", "K", "H", "A"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Apply logical rules to simplify the expression:\n \nConvert '[c*]φ' to equivalent simplest form\n\nRules available:\n- Loop Rule\n\nFormat your answer within [[double brackets]].", "ground_truth": {"type": "expression", "rule": "Loop", "problem": "Convert '[c*]φ' to equivalent simplest form", "expected": "(φ ∨ [c][c*]φ)", "valid_variants": ["(φ ∨ [c][c*]φ)", "(φ∨[c][c*]φ)"]}}
{"data_source": "KorLogicDynamicLogic", "prompt": "Which rule applies to this scenario?\n\nScenario: Exception e may be triggered during command execution\n\nOptions:\nB: Sequence Rule\nG: Exception Rule\nK: History Rule\nF: Interruption Rule\n\nAnswer format: [[LETTER]]", "ground_truth": {"type": "multiple_choice", "scenario": "Exception e may be triggered during command execution", "correct": "G", "options": ["B", "G", "K", "F"]}}
Reference in a new issue View git blame Copy permalink