Findings in Machine Learning - Artificial Intelligence Reported from A. Kakas and Co-Researchers

摘要

According to recent research from London, the United Kingdom, "We describe Modular-epsilon (Mnepsilon), a specialized, model-theoretic logic for reasoning about actions. M epsilon is able to representnnon-deterministic domains involving concurrency, static laws (constraints), indirect effects (ramifications),nand narrative information in the form of action occurrences and observations along a time line."